Formality for scan inserted netlist

[nawaz.mjcet]

hi all,
while doing formality on scan inserted netlist against RTL ,apart from applying 0 on test_se port what are other constraints should i need to apply,in order to pass the verification.please reply ASAP.

Thanks in Advance.

Regards,
-Nawaz.

 

[ljwfred]

ignore the scan out pins like sdo,
tie the scan input pins,

i think that's enough for the module level formal check.