New Developments for Beyond-Binary Computing

当今的超大规模集成电路系统设计的基础上，二进制（基数-2）的算术算法结合二进制逻辑器件。随着超大规模集成电路（VLSI）技术向深亚微米几何尺寸发展，布线复杂性和延迟增加所导致的性能瓶颈变得越来越严重。为了克服性能瓶颈，本研究项目基于一种称为“超越二进制计算”的新型计算范式研究新的发展。本项目的主要成果如下：1.实现了算术描述语言ARITH的原型。我们确认，ARITH的使用使得有可能（i）算术算法的形式化描述，包括那些使用非常规的数字系统，（ii）所描述的算术算法的形式化验证，以及（iii）算术算法的翻译为等效的HDL（硬件描述语言）代码。通过开发乘数模块生成器展示了ARITH的影响。同时，开发了基于进化图生成系统的高性能超二进制算术算法CAD技术。2.通过现场可编程数字滤波器芯片的设计，展示了多值电流模式逻辑技术的影响。3.研究了超二进制计算在高精度二维/三维图像测量技术中的应用。4.利用酶晶体管等人工催化剂器件，在实验上研制了一种用于无引线电路集成的氧化还原微阵列。氧化还原微阵列被用来演示分子计算的一些应用，包括最佳路径规划和图像处理。

The present-day VLSI systems are designed on the basis of binary (radix-2) arithmetic algorithms combined with binary logic devices. As the VLSI technology scales down to deep sub-micron geometry, performance bottlenecks caused by increased wiring complexity and delay are becoming significantly severe. In order to overcome the performance bottlenecks, this research project investigates new developments based on a novel computing paradigm called "Beyond-Binary Computing". Listed below are major results of this project:1.A prototype of Arithmetic Description Language ARITH was developed. We confirmed that the use of ARITH makes possible (i) formal description of arithmetic algorithms including those using unconventional number systems, (ii) formal verification of described arithmetic algorithms, and (iii) translation of arithmetic algorithms to equivalent HDL (Hardware Description Language) codes. Impacts of ARITH were demonstrated through the development of a multiplier module generator. Also, new CAD techniques based on Evolutionary Graph Generation system were developed for designing high-performance beyond-binary arithmetic algorithms.2.Impacts of multiple-valued current-mode logic technology were demonstrated through the design of field-programmable digital filter ICs. Also, an experimental design environment for practical multiple-valued current -mode logic circuits was developed.3.Some applications of beyond-binary computing to high-accuracy 2D/3D image measurement techniques were studied.4.A redox microarray for wire-free circuit integration using artificial catalyst devices, such as enzyme transistors, was developed experimentally. The redox microarray was used to demonstrate some applications of molecular computing, including optimal path planning and image processing.