首页>
外国专利>
Coverage metric and coverage computation for verification based on design partitions
Coverage metric and coverage computation for verification based on design partitions
展开▼
机译:用于基于设计分区进行验证的覆盖率度量和覆盖率计算
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method of electronic circuit design includes performing property verification for partitions of a design of an electronic circuit, selecting an outcome for each partition from a plurality of outcome categories, and computing coverage information for each element of the design based on the outcome.
展开▼