Millions to thousands issues through knowledge based SoC CDC verification
Millions to thousands issues through knowledge based SoC CDC verification
复制标题
通过基于知识的 SoC CDC 验证解决数百万到数千个问题
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Byeong Min
中科院分区：
文献类型：
--
作者：
Youngchan Lee;Namdo Kim;Jay B. Kim;Byeong Min
As power consumption becomes one of the most important characteristics, the number of clocks increases to implement low power features efficiently in modern mobile AP designs. In this circumstance, asynchronous design and “Clock Domain Crossing (CDC)” verification are becoming one of the biggest challenges on over 100M gate SOC designs. Tricky setup due to complex clock relations and complex design, long run time, huge number of false-errors and various operation modes are the known problems of top-level CDC verification. Among the difficulties, 70,000 ~ 100,000 issues after CDC analysis in an over 100M gate SOC overwhelm designers with its huge volume. This paper presents a comprehensive study on “huge number of false-errors after CDC analysis,” and shows the categories of all types of false-errors and causes, like wrong setups, unidentified static signals, broken asynchronous interfaces etc., which are contributing to a huge number of false-errors. Also, knowledge based solutions for known culprits are presented. It is shown that 95% of false-errors could be eliminated efficiently with the proposed knowledge-based solutions through our 3 case-studies.
