| 功能验证模拟矢量自动生成技术研究综述 |
| |
| 引用本文： | 李暾,李思昆,郭阳. 功能验证模拟矢量自动生成技术研究综述[J]. 计算机工程与科学, 2003, 25(6): 81-86 |
| |
| 作者姓名： | 李暾 李思昆 郭阳 |
| |
| 作者单位： | 国防科技大学计算机学院,湖南,长沙,410073 |
| |
| 基金项目： | 国家自然科学基金重点资助项目(69933030) |
| |
| 摘 要： | 功能验证是保证设计正确性的重要手段,以模拟验证为主要方法。为了解决用尽可能少的模拟矢量尽可能全面地验证整个设计的问题,提出了各种模拟矢量自动生成方法。本文综述了各种方法,并比较各自的优缺点,分析了模拟矢量自动生成涉及的主要问题,最后指出了未来的研究方向。
|
| 关 键 词： | 模拟矢量自动生成 覆盖率 有限状态机 伪随机 高层ATPG |
| 文章编号： | 1007-130X(2003)06-0081-06 |
| 修稿时间： | 2001-01-04 |
On the Automatic Generation of Simulation Vectors for Functional Verification |
| |
| LI Tun,LI Si-kun.GUO Yang. On the Automatic Generation of Simulation Vectors for Functional Verification[J]. Computer Engineering & Science, 2003, 25(6): 81-86 |
| |
| Authors: | LI Tun LI Si-kun.GUO Yang |
| |
| Abstract: | Functional verification which mostly relies on simulation is the major approach to ensuring the correctness of hardware design. In order to use the least simulation vectors to verify the whole design, there are various techniques for the automatic generation of simulation vectors for functional verification. In this paper, we give a comprehensive survey on these techniques, compare the efficiency, discuss the limitations of each technique, and analyse the main problems involved in these techniques. Finally the future research direction is also discussed. |
| |
| Keywords: | automatic generation of simulation vectors coverage metrics finite state machines pseudo-ran-dom high-level ATPG |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
