Jan 27, 2003 #1 L ljkong Full Member level 2 Joined Jul 18, 2002 Messages 123 Helped 1 Reputation 2 Reaction score 0 Trophy points 1,296 Location P.R.C Activity points 763 The Effects of Hierarchy on Debug time in Formal Verification Tools with and without Decompositional Verification
The Effects of Hierarchy on Debug time in Formal Verification Tools with and without Decompositional Verification
Jan 27, 2003 #2 O outlook3000 Junior Member level 1 Joined Feb 22, 2002 Messages 17 Helped 0 Reputation 0 Reaction score 0 Trophy points 1,281 Activity points 56 how does this tools compare with formality?