How do you run formal check on scan-inserted circuit?

Status
Not open for further replies.

cyc

Member level 1
Joined
May 22, 2001
Messages
38
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,286
Activity points
248
I am wondering how to run formal check between scan inserted netlist and my RTL. Can somebody have such experience?

Thanks
 

Just set your SC_EN =0 (disable your scan enable signal).
 

Status
Not open for further replies.
Cookies are required to use this site. You must accept them to continue using the site. Learn more…