Searched refs:Get_Psl_Boolean (Results 1 – 7 of 7) sorted by relevance
893 Clk := Get_Psl_Boolean (Current_Psl_Default_Clock);1009 Expr := Sem_Boolean (Get_Psl_Boolean (Stmt));
9202 function Get_Psl_Boolean (N : Iir) return PSL_Node; subprogspec
7213 function Get_Psl_Boolean (N : Iir) return PSL_Node is subprogram7219 end Get_Psl_Boolean;
2267 Disp_Psl_Expression (Ctxt, Get_Psl_Boolean (Stmt));
7497 return Get_Psl_Boolean (N);
2821 Get_Psl_Boolean = libghdl.vhdl__nodes__get_psl_boolean variable
1938 Clk_Net := Synth_PSL_Expression (Syn_Inst, Get_Psl_Boolean (Clock));