芯片系统的设计验证
本文综述SOC的功能验证方法.分析了当前验证方法的不能适应SOC的验证要求.同时说明形式化验证的优点和缺点和混合验证方法的发展.简要介绍系统级设计语言SystemC和OVL验证库.指出利用Verilog语言的PLI,研究用C++把模型检验、定理证明、模拟等验证方法有机的结合起来,把混合验证方法的研究同具体领域的芯片系统的研制结合起来,将是解决SOC验证问题的有希望的途径.
芯片系统 形式化验证 模型检验 混合验证
韩俊刚 杜慧敏
西安邮电学院ASIC设计中心(西安)
国内会议
贵阳
中文
356-360
2002-08-20（万方平台首次上网日期，不代表论文的发表时间）