首页>
外国专利>
Optimal simplification of constraint-based testbenches
Optimal simplification of constraint-based testbenches
展开▼
机译:基于约束的测试平台的最佳简化
展开▼
页面导航
摘要
著录项
相似文献
摘要
Methods and systems are provided for determining redundancies in a system model such as a complex circuit design including gates that are state components. A candidate redundant gate is selected, and a merged model is built that eliminates the candidate redundant gate. If the candidate redundant gate is within the merged constraint cone the pre-merge model is used to validate redundancy of the candidate redundant gate. However, if the candidate redundant gate is not within the merged constraint cone the merged model is instead used to validate redundancy of the candidate redundant gate.
展开▼