功能验证模拟矢量自动生成技术研究综述  

On the Automatic Generation of Simulation Vectors for Functional Verification

作　　者：李暾[1] 李思昆[1] 郭阳[1] 

机构地区：[1]国防科技大学计算机学院,湖南长沙410073

出　　处：《计算机工程与科学》2003年第6期81-86,共6页Computer Engineering & Science

基　　金：国家自然科学基金重点资助项目(69933030)

摘　　要：功能验证是保证设计正确性的重要手段,以模拟验证为主要方法。为了解决用尽可能少的模拟矢量尽可能全面地验证整个设计的问题,提出了各种模拟矢量自动生成方法。本文综述了各种方法,并比较各自的优缺点,分析了模拟矢量自动生成涉及的主要问题,最后指出了未来的研究方向。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.

关 键 词：功能验证 模拟矢量自动生成 覆盖率 有限状态机 伪随机 高层ATPG 

分 类 号：TN407[电子电信—微电子学与固体电子学]