| 基于SAT的串扰时延故障测试 |
| 尚玉玲;彭彩军; |
| 关键词:信号完整性;串扰;可满足性;时延测试 |
| 主要内容:随着深亚微米技术的不断发展和芯片运行速率的不断提高,串扰噪声问题越来越严重,对串扰时延测试已成为一个迫切的问题。在组合电路的基础上,将SAT(布尔可满足性)方法引入到串扰引起的时延测试中,通过词法分析和语法分析直接提取Verilog(硬件描 |
| 《计算机工程与应用》 2016,52(15):38-42 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |