spyglass question on equivalence checking

vcnvcc said:

Hi friends,

I have question on equivalence checking.

1. Is equivalence checking and formal verification is same?
--I say yes, in cadence term it is equivalence checking and in synopsys term it is formal verification, am I right?

1> yes you are right. in cadence it is also called confromal LEC(Logic Equivalence Checking)

2. Is spyglass is used for equivalence checking/formal verification?
-- I dont know, if you have any idea pls share.
2> Nope spyglass doens't perform LEC. Its just a linting tool provided by atrenta and other vendors. In implementation terms it is called PLDRC (Pre Layout Design Rule Checking)


Cheers

Click to expand...