Searched refs:Get_Assertion_Condition (Results 1 – 10 of 10) sorted by relevance
376 (Get_Assertion_Condition (Stmt), List);1197 Canon_Expression (Get_Assertion_Condition (Stmt));1847 Expr := Get_Assertion_Condition (Stmt);1993 Canon_Expression (Get_Assertion_Condition (Stmt));
1139 Expr := Get_Assertion_Condition (Stmt);
8538 function Get_Assertion_Condition (Target : Iir) return Iir; subprogspec
5071 function Get_Assertion_Condition (Target : Iir) return Iir is subprogram5077 end Get_Assertion_Condition;
2807 Print (Ctxt, Get_Assertion_Condition (Stmt));
6259 return Get_Assertion_Condition (N);
2841 Cond := Synth_Expression (C.Inst, Get_Assertion_Condition (Stmt));2867 Cond := Synth_Expression (C.Inst, Get_Assertion_Condition (Stmt));3123 Cond : constant Node := Get_Assertion_Condition (Stmt);
2425 Get_Assertion_Condition = libghdl.vhdl__nodes__get_assertion_condition variable
1320 Expr := Get_Assertion_Condition (Stmt);
4911 (Instance, Get_Assertion_Condition (Stmt));