摘要
随着专用集成电路制造工艺及设计方法的飞速发展,片上系统可集成的功能越来越多,规模越来越大,设计验证越来越复杂,只有使用先进的设计验证方法充分地验证其设计,才能保证一次投片成功.文中针对专用集成电路设计验证的各种方法和一种实际的通用微处理器设计的多级验证体系作了专门的描述,对片上系统设计者在构建自己的设计验证方案。
ASIC(application specific integrated circuit) technology and design methodologies develop very rapidly. More and more functions and circuits are integrated in a SOC(system on chip). Designers must use advanced methodologies and tools to verify their larger and larger VLSI design, so as to guarantee the first silicon success and meet the time to market.Here described are various kinds of ASIC verification methods and a real universal microprocessor's design verification system, which would be helpful to those who want to build a powerful verification plan and make their design adequately verified.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1999年第6期764-768,共5页
Journal of Computer Research and Development
关键词
专用集成电路
软件模拟
形式验证
微处理器
设计
ASIC
software simulation
event driven
hardware acceleration
hardware emulation
static timing verification
formal verification