系统芯片的混合验证方法

sandysand

【文件名】:06419@52RD_系统芯片的混合验证方法(2).rar
【格　式】:rar
【大　小】:88K
【简　介】:摘要:阐述系统芯片(SOC) 的设计验证特点。综述目前流行的验证方法,指出所存在的问题。论述了形式化验证方法和半形式化验证方法的发展状况及新的发展方向和趋势。
关　健　词:形式化验证;系统芯片;模型检验;半形式化方法
【目　录】:
1 SOC 的设计验证的特点及存在的问题
2 形式化验证方法及其特点
3 混合验证方法及其发展现状
4 SOC 设计验证研究的新方向
5 结论