| 片上系统高层等价性检验研究进展 |
| 胡健;李暾;李思昆; |
| 关键词：等价性检验;带数据通路的有限状态机;符号模拟;形式化方法 |
| 主要内容：针对近年来SoC领域的工作,首先分析了高层等价性检验的难点;然后从算法类型归类角度对各种高层等价性检验方法进行了概述评论,同时分析了各类算法的优缺点和现有算法的主要技术手段;最后讨论了SoC高层等价性检验方法目前面临的挑战,并对该领域今后的 |
| 《计算机辅助设计与图形学学报》 2016,28(03):371-380 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号