arithmetic codes; binary codes; formal languages; formal verification; arithmetic algorithms; arithmetic description language; binary coded decimal arithmetic circuits; equivalent HDL descriptions; formal design; formal verification;
机译:基于算术描述语言的算术电路形式化设计
机译:基于算术描述语言的多值算术电路设计系统方法
机译:基于正态基表示的伽罗瓦域算术电路的形式化设计
机译:使用算术描述语言的小数算术电路的正式设计
机译:使用计算机代数技术的有限域算术电路的可扩展形式验证。
机译:一种使用QCA实现具有成本效益的算术逻辑电路的新型可逆逻辑门及其系统方法
机译:通过函数提取对算术电路进行形式验证
机译:Burstlogic:在突发格式上对数据执行算法的逻辑电路的设计和分析。