mliu66
Newbie level 3
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
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