首页>
外国专利>
Method of proving formal test bench fault detection coverage
Method of proving formal test bench fault detection coverage
展开▼
机译:证明正式测试台故障检测覆盖率的方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
Some aspects of the present disclosure provide for a system and method to discover which parts of a design a formal test suite can detect faults in, and thus how much of a design structure is covered by a property set. A mutatable RTL design is defined which allows for modification of a part of an RTL design from its intended behavior to a non-intended behavior, thus introducing unwanted effects. The mutatable RTL design can then be synthesized to produce a functional representation of the design. The property set can be re-run on the synthesized design to see whether the functional representation of the design is sensitive to the unwanted effect and thus whether formal verification can detect the modification.
展开▼