首页>
外国专利>
Method and System for Design Simplification Through Implication-Based Analysis
Method and System for Design Simplification Through Implication-Based Analysis
展开▼
机译:基于蕴涵分析的简化设计方法和系统
展开▼
页面导航
摘要
著录项
相似文献
摘要
Methods and systems are provided for reducing an original circuit design into a simplified circuit design by merging gates that may not be equivalent but can be demonstrated to preserve target assertability with respect to the original circuitry design. A composite netlist is created from the simplified netlist and the original netlist. The composite netlist includes a number of targets that imply the existence of a target in the simplified netlist and a corresponding target in the original netlist. The implications are verified and then validated to ensure the simplied circuit design is a suitable replacement for the original circuit design.
展开▼