机译:使用类似于BDD的数据结构进行Presburger算术运算并进行电路验证
机译:带符号数字算术的残差检验器,用于算术电路的误差检测
机译:用于BDD SFQ逻辑电路的基于单元的设计方法:高速测试和大规模电路应用的可行性
机译:残留物BDD及其在算术电路验证中的应用
机译:使用计算机代数技术的有限域算术电路的可扩展形式验证。
机译:一种使用QCA实现具有成本效益的算术逻辑电路的新型可逆逻辑门及其系统方法
机译:通过函数提取对算术电路进行形式验证
机译:用残差编码检查算术错误的电路