Searched refs:Get_Psl_Property (Results 1 – 7 of 7) sorted by relevance
850 Cond := Rewrite_As_Boolean_Expression (Get_Psl_Property (Stmt));910 Prop := Get_Psl_Property (Stmt);941 Prop := Get_Psl_Property (Stmt);
3953 Disp_Psl_Expression (Ctxt, Get_Psl_Property (Stmt));3971 Disp_Psl_Expression (Ctxt, Get_Psl_Property (Stmt));
1734 Prop := Get_Psl_Property (Stmt);
9186 function Get_Psl_Property (Decl : Iir) return PSL_Node; subprogspec
7149 function Get_Psl_Property (Decl : Iir) return PSL_Node is subprogram7155 end Get_Psl_Property;
7489 return Get_Psl_Property (N);
2809 Get_Psl_Property = libghdl.vhdl__nodes__get_psl_property variable