形式验证的文章

Helgain

【文件名】:06426@52RD_掌握形式验证的HDL设计方法.rar
【格　式】:rar
【大　小】:70K
【简　介】:形式验证工具可分为三大类：等效性检
验、模型检验和理论验证。理论验证是
可用的形式验证技术中最先进的，但仍
须进一步研究。模型检验是将一个设计
与一组现存的设计所表现出的逻辑属性
相比较，这些逻辑属性是设计规格的直
接表述。生成逻辑属性时，模型检验的
使用要比等效性检验涉及得更多一些。
【目　录】:无目录