首页>
外国专利>
SCALABLE CONNECTIVITY VERIFICATION USING CONDITIONAL CUT-POINTS
SCALABLE CONNECTIVITY VERIFICATION USING CONDITIONAL CUT-POINTS
展开▼
机译:使用条件下的切入点进行可伸缩性验证
展开▼
页面导航
摘要
著录项
相似文献
摘要
Provided is a method for performing connectivity verification of an integrated circuit device. In embodiments of the invention, the method includes creating a directed graph representation of integrated circuit device. The method can further include determining target gates referred to as trace signals within integrated circuit device. The method can further include creating hierarchical representation of trace signals and determining nested trace signals. The method can further include determining one or more locations for cut points for non-nested trace signals. Thereafter, performing connectivity verification using the one or more locations for cut points. Finally improving the scalability of connectivity verification by utilizing hierarchical decomposition embodiment of the invention.
展开▼