Jun 9, 2006 #1 A askrkrao Newbie level 4 Joined Jun 6, 2006 Messages 6 Helped 0 Reputation 0 Reaction score 0 Trophy points 1,281 Activity points 1,322 assertion using specman Please help me out
Jun 9, 2006 #2 Y yaseen1 Member level 1 Joined May 20, 2006 Messages 41 Helped 0 Reputation 0 Reaction score 0 Trophy points 1,286 Activity points 1,582 assertion specman Mostly we have assertions in SYstem verilog and verilog HDL. THere is no assertions in Specman
assertion specman Mostly we have assertions in SYstem verilog and verilog HDL. THere is no assertions in Specman
Jun 9, 2006 #3 U ue Junior Member level 3 Joined Jan 22, 2004 Messages 31 Helped 4 Reputation 8 Reaction score 2 Trophy points 1,288 Activity points 358 specman assertions answer is yes and no. use temporal expression to do that. assertions are two kind (static - without simulation ) -which is not possible in specman and (dynamic - while simulation ) - which is very much possible through temporal checks /.ue
specman assertions answer is yes and no. use temporal expression to do that. assertions are two kind (static - without simulation ) -which is not possible in specman and (dynamic - while simulation ) - which is very much possible through temporal checks /.ue