Jan 22, 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 Whole-Design Formal Verification of a 5-Million Gate Design by Equivalence Checking Is Possible with a Small Memory Footprint
Whole-Design Formal Verification of a 5-Million Gate Design by Equivalence Checking Is Possible with a Small Memory Footprint