如何选择正确的验证方法

作     者：Rangarajan (Sri) Purisai 

作者机构：赛普拉斯半导体公司 

出 版 物：《电子设计应用》 (Electronic Design & Application World)

年 卷 期：2005年第5期

页      码：82-86页

摘      要：本文对时下流行的验证技术(形式验证、随机、定向、有约束的随机、断言、属性检验)与语言(SystemC、C/C++、SystemVerilog、Open-VERA、E等)进行了全面评述,并分析了在传统的数字ASIC设计流程中应当在何时采用何种验证技术和语言。

主 题 词：验证方法 设计周期 功能验证 时间 芯片 

学科分类：080903[080903] 0809[工学-计算机类] 08[工学] 080203[080203] 0802[工学-机械学] 

馆 藏 号：203373465...