前像计算相关硕士博士期刊学术论文 - 信丰网

前像计算相关论文

结合ATPG和SAT的无界模型检验前像计算方法

提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.SAT用来判断是否已经穷尽所有解;每......

期刊

形式验证无界模型检验前像计算自动化测试激励生成布尔可满足性问题 formal verification unbounded model checkin

看过本文同时还关注