BDD; decision diagram; model-checking; simulation; verification;
机译:基于线性词级决策图的HDL构造规范
机译:字级决策图的最小化
机译:通过有序二进制决策图进行模型检查,自动验证多主体系统
机译:用于软件验证中的词级模型操纵的惰性决策图
机译:用于逻辑和定时验证的决策图算法
机译:基于区别性图形模型的P300拼写单词级语言建模
机译:通过有序二元决策图进行模型检查,自动验证多代理系统
机译:基于词级决策图的算法电路验证