首页>
外国专利>
METHOD FOR DESIGN VERIFICATION OF HARDWARE AND NON-HARDWARE SYSTEMS
METHOD FOR DESIGN VERIFICATION OF HARDWARE AND NON-HARDWARE SYSTEMS
展开▼
机译:硬件和非硬件系统的设计验证方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
A computer implemented method for verifying that a circuit or other system satisfies its specifications, is based on creating a first Boolean formula G (110) representative of the system and its specification and through a serie of steps creating a second formula G' (120) having a known logical relationship to G and using the second formula G' to determine whether the system satisfies its specification.
展开▼