soc的形式化验证方法

gladginay

【文件名】:06425@52RD_soc的形式化验证方法.rar
【格　式】:rar
【大　小】:212K
【简　介】:摘要:如何对片上系统(SOC) 来进行验证,是一个比较复杂的问题。本文介绍了用形式化方法来验证SOC ,讨论在对SOC 进行等价性验证时应注意的几个问题以及解决的方法。最后给出了对SOC 验证的一般方法。
关键词:片上系统;形式化验证;等价性验证;模型检验
【目　录】:
1 　SOC 一般的验证的策略
2 　形式化验证
3 　等价性验证在SOC 设计验证中应注意的几个问题
4 　小结