 

面包板社区
> > 标签
> > lec

标签: lec

相关资源

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

所需E币: 4

时间: 2019-12-25 00:08

大小: 1.79MB

上传者: rdg1993

随着设计复杂度越来越高，其中也包含了复杂的数据结构，导致LEC中的中止数量增加，其主要原因在于逻辑等效性检查(LEC)工具在处理复杂逻辑时存在的局限性。中止实际上是形式验证工具无法解决的非确定性结果。其原因在于：……

更多...