摘要
阐述系统芯片 (SOC)的设计验证特点。综述目前流行的验证方法 ,指出所存在的问题。
A survey of current verification methods for SOC is presented in this paper.The characteristics and problems of design verification for SOC are analyzed.Hybrid methods for SOC verification and their current status are discussed.Some interesting research directions are pointed out.
出处
《西安邮电学院学报》
2002年第1期12-17,共6页
Journal of Xi'an Institute of Posts and Telecommunications
关键词
形式化验证
系统芯片
模型检验
半形式化方法
formal verification
System-On-a-Chip
model checking
hybrid verification
