|
|
EDA365欢迎您登录！
您需要 登录 才可以下载或查看，没有帐号？注册
x
摘要：集成电路规模的快速增长使得验证的难度越来越大，传统的模拟和仿真不但需要花费大量的时间，而且不能保证完全的验证覆盖率，已经不能满足现时集成电路设计的要求。形式验证利用数学的方法隐式遍历所有可能的情况，能保证完全的验证覆盖率，所需要的验证时间也大幅减少，是克服验证瓶颈的可行途径。- S: k9 t8 h( h% t
关键词：集成电路;形式验证;等价性验证;二叉判定图;可满足性问题* Q! R9 E: O# H( K/ B
, H6 z# A* _9 i; x4 D9 o5 N集成电路设计是一项十分复杂的工程，任何微小的失误都可能造成巨大的损失。1994年Intel公司的Pentium芯片在上市后被发现存在浮点除法错误，虽然这种错误发生的概率只有几亿分之一，但它仍给Intel公司造成了4.75亿美元的经济损失和难以估量的形象损失。1996年6月4日，欧洲航天局研制的阿里亚娜五型火箭在发射后不到40秒就爆炸坠毁，事后调查发现，错误发生于当一个很大的64位浮点数转换为16位带符号整数时出现异常，细微的错误导致数十年的努力毁于一旦。
3 N: @0 W4 R. C/ k, C3 L
* S% u/ u8 z2 p* w* m/ ~
" l* ^- J1 `% Q* D9 M# o% T- g1 C2 J. s4 M B# t" A% n E
集成电路的逻辑等价性验证研究.pdf
(3.18 MB, 下载次数: 0)
! Z0 s# Z* n8 A8 j' M
3 p, r9 J- f- }$ ~" r- s
- f& v, l) e4 k8 } C5 f/ p' y5 ~4 w" A) ^% k" z3 k3 Q" N
5 f' X, d# y0 G6 v$ s: L0 {, t; W
|
|
/1 
发表于 2021-1-15 10:33
收藏
淘帖
支持！
反对！