property equivalence verification

[siva_7517]

Hi there,

Can i know what is property equivalence? From my basic understanding it is based on finete state machine verification...and the tools that are used are like Innologic, 0-in, Verix and blacktie. Can anyone share their knowledge on what is property equivalence..thanks.

 

[iwpia50s]

I'm not sure what you mean. What is the context of the question?

 

[ramz]

accroding to me equivalnce checking is checking the num of gates between the synthesized rtl and the golden rtl.
cadence LEC is also used for equivalence checking.