首页>
外国专利>
Managing formal verification complexity of designs with multiple related counters
Managing formal verification complexity of designs with multiple related counters
展开▼
机译:使用多个相关计数器来管理设计的形式验证复杂性
展开▼
页面导航
摘要
著录项
相似文献
摘要
A counter abstraction tool generates an abstraction model for one or more counters in a circuit design for use with a formal verification system. The tool detects the presence of a counter in a circuit design, identifies one or more special values for the counter, and creates an abstraction for the counter. The tool can automatically perform the abstraction, guide a user in configuring the appropriate abstraction for the counter, or perform a combination of automatic and manual abstraction. The tool may further accommodate related counters.
展开▼