...用的硬件形式验证的方法，如基于二 元决策图（BDD）的模型检验方法［1］和基于SAT的 有界模型检验方法（Bounded Model Checking）［2J， 难以用于运算电路的形式验证． 为适应运算电路的特点，Clarke等人对基于二 元决策图的模型检验进行字级（Word Level）扩展...
基于8个网页-相关网页
有界模型检验方法
Bounded model checking method
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动