Cadence netlist with Formality LEC

Status
Not open for further replies.
T

TonyLS

Member level 3
Joined
Jan 21, 2009
Messages
58
Helped
2
Reputation
4
Reaction score
2
Trophy points
1,288
Location
Boston, MA
Activity points
1,760
I have a netlist generated with Cadence/Genus and want to do a LEC compare (RTL Vs. Netlist) using the Synopsys Formality logic equivalency checking tool. It's likely I will need guidance coming out of the Genus synthesis tool, (similarly how SVF files from dc_compiler is passed to Formality). Is there a way to pass Cadence/Genus guidance files to Synopsys Formality?

Thanks
 

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…