首页>
外国专利>
Extracting, visualizing, and acting on inconsistencies between a circuit design and its abstraction
Extracting, visualizing, and acting on inconsistencies between a circuit design and its abstraction
展开▼
机译:提取,可视化电路设计及其抽象之间的不一致并对其进行处理
展开▼
页面导航
摘要
著录项
相似文献
摘要
In the field of functional verification of digital designs in systems that use an abstraction for portions of a circuit design to perform the verification proof, a tool is described for resolving inconsistencies between the design and abstractions for the design. The tool provides information to a user about intermediate steps in the verification process. In response, the user may provide insight about the design to allow the tool to adjust the verification analysis of the design. The information provided to the user, including possible conflicts between the design and its abstractions, may include visualization techniques to facilitate the user's understating of any inconsistencies.
展开▼