首页>
外国专利>
DESIGN VERIFICATION USING FORMAL TECHNIQUES
DESIGN VERIFICATION USING FORMAL TECHNIQUES
展开▼
机译:使用正式技术进行设计验证
展开▼
页面导航
摘要
著录项
相似文献
摘要
Formal techniques are applied to industrial design problems such as verification of a circuit design. Initial decisions may include defining properties to verify the design. An abstraction of the design may be generated and model checking applied to the abstraction. Results obtained using these techniques may be extended by performance analysis and/or verification of sequential operations.
展开▼