状态遍历相关硕士博士期刊学术论文 - 搜论网

状态遍历相关论文

基于故障注入模型的电传飞控系统安全性分析

安全性分析既是飞机研制中提高安全性的主要手段，也是审定中验证设计方案是否满足适航要求的重要符合性方法。传统的安全分析方法滞......

期刊

系统安全性分析飞控系统故障注入状态遍历递归法最小割集

基于BDD的时序电路等价性验证

由于时序电路的复杂性,时序电路的等价性验证一直是一个难题.本文首先介绍了用BDD进行隐式的状态遍历来验证时序电路;然后着重阐述......

会议

时序电路等价性验证二叉判定图状态遍历锁存器匹配

看过本文同时还关注