系统级芯片设计语言和验证语言的发展

作     者：韩俊刚 

作者机构：西安邮电学院ASIC设计中心陕西西安710061 

基　　金：国家自然科学基金 (90 2 0 70 1 5) "十五"科技攻关项目 (2 0 0 2 BA1 0 6B 6) 

出 版 物：《现代电子技术》 (Modern Electronics Technique)

年 卷 期：2005年第28卷第3期

页      码：1-4页

摘      要：由于微电子技术的迅速发展和系统芯片的出现 ,包含微处理器和存储器甚至模拟电路和射频电路在内的系统芯片的规模日益庞大 ,复杂度日益增加。人们用传统的模拟方法难以完成设计验证工作 ,出现了所谓“验证危机”。为了适应这种形势 ,电子设计和验证工具正在发生迅速而深刻的变革。现在基于 RTL 级的设计和验证方法必须向系统级的设计和验证方法过渡 ,导致了验证语言的出现和标准化 ,本文将对当前出现的系统级设计和验证语言进行全面综述 ,并论述验证语言标准化的情况。分析他们的优缺点和发展趋势。最后简单评述当前的验证方法 ,说明基于断言的验证是结合形式化验证和传统模拟验证可行的途径。

主 题 词：设计验证 系统芯片 设计语言 验证语言 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1004-373X.2005.03.005

馆 藏 号：203593160...