nawaz.mjcet
Newbie level 6
Hi all,
while doing formality between PRE layout and POST layout netlist in functional mode i.e scan enable is tied to ''0'',the formal verification is passing in flatten mode.But in hierarchical mode there are many failing modules.the modules are failing because reordering of logic by BACK_END Team .so is it necessary in Hierarchical mode of verification to pass all the modules or if top level module is getting pass.if it is necessary to pass all the individual modules....i need apply set_user_match command to every failing point,which will take a long time as there are around 100 failing module. is there any way to get around this issue.I could able to pass the TOP level module by applying few set_user_match commands,Is this enough to certify that both designs are passing in hierarchical mode???
Thanks in Advance,
Regards,
Nawaz.
while doing formality between PRE layout and POST layout netlist in functional mode i.e scan enable is tied to ''0'',the formal verification is passing in flatten mode.But in hierarchical mode there are many failing modules.the modules are failing because reordering of logic by BACK_END Team .so is it necessary in Hierarchical mode of verification to pass all the modules or if top level module is getting pass.if it is necessary to pass all the individual modules....i need apply set_user_match command to every failing point,which will take a long time as there are around 100 failing module. is there any way to get around this issue.I could able to pass the TOP level module by applying few set_user_match commands,Is this enough to certify that both designs are passing in hierarchical mode???
Thanks in Advance,
Regards,
Nawaz.
