vcnvcc
Full Member level 2
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?
2. Is spyglass is used for equivalence checking/formal verification?
-- I dont know, if you have any idea pls share.
Thanks in advance.
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?
2. Is spyglass is used for equivalence checking/formal verification?
-- I dont know, if you have any idea pls share.
Thanks in advance.