How to do formal check after clock gate clone ?

Status
Not open for further replies.
O

owen_li

Full Member level 3
Joined
Jul 22, 2007
Messages
150
Helped
17
Reputation
34
Reaction score
15
Trophy points
1,298
Activity points
2,301
Hi.

Coz I need to some stubborn clock gating setup violation, I made some clock gating cell clone.
My question is how to do formak check then.
Is there extra setting needed to be set in formal tool ? thanks!
 

as long as the cloning is "identical" to the original one despite the routing, formal tool should be able to either merge it or regard cloning cells as equivalent to the golden design.
 

Status
Not open for further replies.

Similar threads

Menu
Log in
Register
Cookies are required to use this site. You must accept them to continue using the site. Learn more…