does LEC need patterns?what's the test vector mean when debug non-equivalence?

Status
Not open for further replies.
W

wming

Newbie level 2
Joined
Oct 29, 2012
Messages
2
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,281
Activity points
1,289
Conformal-LEC is a program that checks logic equivalency in formal verification which means the mathematical verification of the logic of a circuit. however i found test vectors when debug. why there is vector?
 

One set of vector means these setup of 1and 0 of support points can give you one mismatch result.
 

Status
Not open for further replies.

Similar threads

Menu
Log in
Register
Cookies are required to use this site. You must accept them to continue using the site. Learn more…