nohj_yar
Junior Member level 1

Hi all!
I'm running formal equivalence on RTL to Gate-level netlist. One of the errors that i encountered is the reset DFF's of revised is connected directly to ground and in the golden the reset is connected to the GSR. However, when i used the option set flatten model -seq constant, the in-equivalence was gone.
How was this happen?
I really appreciate your help..
Thanks!
JR
- - - Updated - - -
What does -seq_constant means? I really don't understand what is written in the manual..
I'm running formal equivalence on RTL to Gate-level netlist. One of the errors that i encountered is the reset DFF's of revised is connected directly to ground and in the golden the reset is connected to the GSR. However, when i used the option set flatten model -seq constant, the in-equivalence was gone.
How was this happen?
I really appreciate your help..
Thanks!
JR
- - - Updated - - -
What does -seq_constant means? I really don't understand what is written in the manual..