首页>
外国专利>
Integrated design verification and design simplification system
Integrated design verification and design simplification system
展开▼
机译:集成设计验证和设计简化系统
展开▼
页面导航
摘要
著录项
相似文献
摘要
A design model verification method includes performing under approximation (UAV) processing to potentially resolve a defined verification problem and to identify a set of reachable states for the design model. If UAV processing fails to resolve the defined verification problem, coverage data extracted from the UAV processing is evaluated to identify new candidates for design model simplification and to disprove previously identified simplification candidates. Over approximation verification (OAV) processing is performed to potentially resolve the verification problem and to prove one or more previously identified simplification candidates. If the OAV processing fails to resolve the verification problem, the design model is simplified using any proven simplification candidates and any states that disproved a previously identified simplification candidate are stored to use a seed state for subsequent UAV processing.
展开▼