Johannah
Newbie level 6
Good Day!
How do I perform formal equivalence checking if one of my module is set to don't touch since I instantiated directly a standard cell on it. When I add this module to Reference Tab, it cannot be link to the top module. Can you please tell me the proper step. Thanks a lot.
How do I perform formal equivalence checking if one of my module is set to don't touch since I instantiated directly a standard cell on it. When I add this module to Reference Tab, it cannot be link to the top module. Can you please tell me the proper step. Thanks a lot.