返回首页 | 论坛 | 问答 | 博客
 

一种在LEC中识别断点的独特技术可解决中止问题

随着设计复杂度越来越高，其中也包含了复杂的数据结构，导致LEC中的中止数量增加，其主要原因在于逻辑等效性检查(LEC)工具在处理复杂逻辑时存在的局限性。中止实际上是形式验证工具无法解决的非确定性结果。其原因在于：……
  如您已是会员？请登录浏览全文
用户名：
密码： 忘记密码？
 
下次是否自动登陆：是    否
  第一次访问EEPW？
不要犹豫，注册成EEPWer，视频、文档、白皮书随你看

关于我们 | 广告服务 | 企业会员服务 | 网站地图 | 联系我们 | 友情链接 | 手机EEPW
《电子产品世界》杂志社 版权所有 北京东晓国际技术信息咨询有限公司
Copyright ©2000-2020 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
京ICP备12027778号-2