Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.
This is exactly my problem. I want to keep tracing the constraints imposed by the assertions (in HDL) at gate level. But after synthesis these net names are modified. How can I preserve my assertion constraints at gate level?
I am trying to do this for test purpose, since ATPG can only be done...
synopsys_translate_off
Anyone knows the tools that can synthesize the HDL to gate-level but preserve all the assertions? I need the assertion constraints at gate-level. I am new at design. Thanks
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.