Beyond 0 and 1: A mixed radix design and verification workflow for modern ternary computers
Doctoral thesis
Published version
Permanent lenke
https://hdl.handle.net/11250/3127984Utgivelsesdato
2024-05-08Metadata
Vis full innførselSamlinger
- Technology [1]
Sammendrag
For more than 80 years digital computers use the radix-2 or binary computer alphabet as their lowest symbolic and physical representation. This doctrine of computing is presumed in every modern computer. The radix economy theorem derives that radix-3 or ternary is however the optimal radix. Ternary is the first radix in the Multiple-Valued Logic (MVL) family that enables symmetrical arithmetic using the balanced ternary notation. The ongoing challenge is to engineer devices, circuits and systems that can physically represent three logic levels with competitive power, performance, area and cost metrics. For flash storage and communication MVL is already the industry standard, but logic remains binary. Ever since Dennard scaling stopped in 2005, binary computing is struggling to overcome the increasing power wall, memory wall and Electronic Design and Automation (EDA) wall. A unified MVL compute paradigm can theoretically address these challenges, making it a prime candidate for the beyond-CMOS era.
This article-based thesis is structured in three parts. In the first part binary computing is discussed. The historical reasoning for this choice as well as the current scaling challenges that impede its future were reviewed. The part concludes with a review of several fundamental and engineering limits that are rarely cited but highly relevant when considering another radix such as Shannon’s noisy channel theorem and Rent’s rule.
In the second part ternary computing is discussed. A brief overview of radix-3 theory and literature is presented. A novel radix comparison methodology is proposed to improve fairness. Historical efforts to build ternary computers were reviewed which started in the 1950’s. A categorization of the main benefits of balanced ternary is presented across 7 application domains. The part concludes with an overview of the critique on radix-3.
In the third part practical aspects of ternary computing are discussed: multi-stable devices and EDA tooling. For devices, non-volatile ternary memory control with commercially available memristors was studied. A novel open source software tool uMemristorToolbox and hardware platform for multi-state memristor programming were developed. The experiments confirm that ternary memory with memristors is both feasible and low-cost.
Lastly, EDA tooling and workflows for ternary logic chips are discussed. The open source software tool Mixed Radix Circuit Synthesizer (MRCS) was developed, the first browserbased EDA tool to design and verify binary, ternary and hybrid (mixed radix) circuits. It features a novel MVL circuit synthesis algorithm with HSPICE and verilog output targeting CMOS and multi-threshold CNTFET. The tool was used to design REBEL-2, a novel balanced ternary CPU with RISC-V-like ISA. Four MRCS designs have been tested on a FPGA and submitted for tape-out using the Openlane ASIC workflow.
Består av
Paper A: Bos, S., Gundersen, H. & Sanfilippo, F.: uMemristorToolbox: Open source framework to control memristors in Unity for ternary applications. Proceedings of the 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), 9-11 November 2020, p. 212-217. https://doi.org/10.1109/ISMVL49045.2020.000-3. Not available onlinePaper B: Risto, H.N., Bos, S. & Gundersen, H.: Automated synthesis of netlists for ternaryvalued n-ary logic functions in CNTFET circuits. Proceedings of the 61st International Conference of Scandinavian Simulation Society, SIMS 2020, p. 483-485. https://doi.org/10.3384/ecp20176483
Paper C: Bos, S., Nilsen, J.B. & Gundersen, H.: Post-Binary Robotics: Using Memristors With Ternary States for Robotics Control. Proceedings of the 2020 IEEE 8th Electronics System-Integration Technology Conference (ESTC)), 15-18 September 2020, p. 1-6. https://doi.org/10.1109/ESTC48849.2020.9229820. Not available online
Paper D: Gundersen, H. & Bos, S.: Ternary computing; The future of IoT?. Proceedings of the SDPS World Conference, 15 December 2021, p. 43-47. https://www.sdpsnet.org/sdps/documents/sdps-2021/SDPS%202021%20Proceedings.pdf
Paper E: Bos, S., Risto, H.N. & Gundersen, H.: High speed bi-directional binary-ternary interface with CNTFETS. Proceedings of the SDPS World Conference, 15 December 2021, p. 38-42. https://www.sdpsnet.org/sdps/documents/sdps-2021/SDPS%202021%20Proceedings.pdf
Paper F: Bos, S., Risto, H.N. & Gundersen, H.: Beyond CMOS: Ternary and mixed radix CNTFET circuit design, simulation and verification. Proceedings of the 2022 IEEE International Symposium on Circuits and Systems (ISCAS)), 27 May-1 June 2022, p. 80-85. https://doi.org/10.1109/ISCAS48785.2022.9937259. Not available online
Appendix G: Additional material
Appendix H: TNNN 2023: Ternary VLSI with CMOS