Feb 1, 2012 #1 T tariq786 Advanced Member level 2 Joined Feb 24, 2004 Messages 562 Helped 67 Reputation 134 Reaction score 54 Trophy points 1,308 Location USA Activity points 3,048 Looking for jaspergold users? Please message me directly. Thanks a lot
Feb 2, 2012 #2 L ljxpjpjljx Advanced Member level 3 Joined May 5, 2008 Messages 968 Helped 80 Reputation 162 Reaction score 56 Trophy points 1,308 Location Shang Hai Activity points 4,679 you use this tool to do formal check?
Feb 2, 2012 #3 T tariq786 Advanced Member level 2 Joined Feb 24, 2004 Messages 562 Helped 67 Reputation 134 Reaction score 54 Trophy points 1,308 Location USA Activity points 3,048 yes i used the tool to do property checking using systemverilog assertions