|
|
EDA365欢迎您登录！
您需要 登录 才可以下载或查看，没有帐号？注册
x
摘要：集成电路规模的快速增长使得验证的难度越来越大，传统的模拟和仿真不但需要花费大量的时间，而且不能保证完全的验证覆盖率，已经不能满足现时集成电路设计的要求。形式验证利用数学的方法隐式遍历所有可能的情况，能保证完全的验证覆盖率，所需要的验证时间也大幅减少，是克服验证瓶颈的可行途径。) ?: Y X5 N/ u! @3 R- ^. u7 m9 S
关键词：集成电路;形式验证;等价性验证;二叉判定图;可满足性问题$ Z: \% n% x1 I4 g
- K0 j) O1 g# J6 I
集成电路设计是一项十分复杂的工程，任何微小的失误都可能造成巨大的损失。1994年Intel公司的Pentium芯片在上市后被发现存在浮点除法错误，虽然这种错误发生的概率只有几亿分之一，但它仍给Intel公司造成了4.75亿美元的经济损失和难以估量的形象损失。1996年6月4日，欧洲航天局研制的阿里亚娜五型火箭在发射后不到40秒就爆炸坠毁，事后调查发现，错误发生于当一个很大的64位浮点数转换为16位带符号整数时出现异常，细微的错误导致数十年的努力毁于一旦。
* y; d( ?6 o1 r2 N/ M0 W4 Q, a f; }8 H% W% C0 ?3 O" z
# f, z( _- S2 S! T* l' Z0 ?* n
8 G& _8 |- s' U
集成电路的逻辑等价性验证研究.pdf
(3.18 MB, 下载次数: 0)
3 J' q% u/ V% @* ?5 `! S+ n5 j
. [; n8 q5 T( j! O2 R3 m9 J' z
7 h! b3 K6 e8 Y" f$ f! R
, w9 Y# N _( L
1 \6 A2 N/ J8 S1 @) n |
|
/1 
发表于 2021-1-15 10:33
收藏
淘帖
支持！
反对！