机译:基于算术描述语言的算术电路形式化设计
Department of Computer and Mathematical Sciences, Graduate School of Information Sciences, To-hoku University, Sendai-shi, 980-8579 Japan;
datapaths; formal design; arithmetic circuits; hardware algorithms; hardware description language; module generator;
机译:基于算术描述语言的多值算术电路设计系统方法
机译:基于正态基表示的伽罗瓦域算术电路的形式化设计
机译:基于正态基表示的伽罗瓦域算术电路的形式化设计
机译:使用算术描述语言的十进制算术电路的形式设计
机译:使用计算机代数技术的有限域算术电路的可扩展形式验证。
机译:一种使用QCA实现具有成本效益的算术逻辑电路的新型可逆逻辑门及其系统方法
机译:基于HFET的基于CNFET的设计三元逻辑设计和算术电路仿真
机译:基于词级决策图的算法电路验证