Searched refs:Get_Psl_Declaration (Results 1 – 7 of 7) sorted by relevance
344 Decl := Get_Psl_Declaration (Name);705 Decl : constant PSL_Node := Get_Psl_Declaration (Stmt);758 Decl : constant PSL_Node := Get_Psl_Declaration (Stmt);1019 Decl : constant PSL_Node := Get_Psl_Declaration (Ent);
2178 Decl : constant PSL_Node := Get_Psl_Declaration (Stmt);2204 Decl : constant PSL_Node := Get_Psl_Declaration (Stmt);
9194 function Get_Psl_Declaration (Decl : Iir) return PSL_Node; subprogspec
7181 function Get_Psl_Declaration (Decl : Iir) return PSL_Node is subprogram7187 end Get_Psl_Declaration;
2340 Decl : constant PSL_Node := Get_Psl_Declaration (Stmt);
7493 return Get_Psl_Declaration (N);
2815 Get_Psl_Declaration = libghdl.vhdl__nodes__get_psl_declaration variable