首页>
外国专利>
Method and system for sequential equivalence checking
Method and system for sequential equivalence checking
展开▼
机译:顺序等效检查方法和系统
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method for sequential equivalence checking (SEC) of two representations of an electronic design may include using a processor, automatically selecting a plurality of cutpoints in the two representations of the electronic design; using a processor, automatically executing a prove-from strategy on the plurality of cut point pairs to identify a failed cut point pair in the two electronic designs; and using the processor, automatically extending a trace corresponding to the identified failed cut point pair to identify a deeper failed cut point pair or a failed output pair in the two electronic designs.
展开▼