A VHDL-based modelling approach for rapid functional simulation and verification of adiabatic circuits
A VHDL-based modelling approach for rapid functional simulation and verification of adiabatic circuits
Adiabatic logic is an energy-efficient technique, however, the time required in the design, validation, and debugging increases manifold for large-scale adiabatic system designs. In this endeavor, we present a hardware description language (HDL)-based modeling approach for 4-phase adiabatic logic design. The paper highlights the drawbacks of the existing approaches and proposes a new approach that captures the timing errors and detects the circuit's invalid operation due to mutually exclusive inputs being violated. We develop a model library containing the function of the four periods used in the trapezoidal power-clock and the adiabatic logic gates. The validation and verification of the proposed approach were done on the ISO-14443 standard benchmark circuit, a 16-bit cyclic redundancy check (CRC) circuit. The system modeled using HDL shows the timing agreement with the transistor-level SPICE simulations. The novel use of the four periods of a power-clock improves the robustness and reliability for the design and verification of large adiabatic systems.
1721-1725
Maheshwari, Sachin
f09ac1de-0e3d-410d-a7e2-f4d54a1459b9
Bartlett, Viv
dd51f33f-e4c7-4e46-8deb-1b3bb699c6de
Kale, Izzet
c95f4beb-432b-4fed-b464-18a4c2e641cf
August 2021
Maheshwari, Sachin
f09ac1de-0e3d-410d-a7e2-f4d54a1459b9
Bartlett, Viv
dd51f33f-e4c7-4e46-8deb-1b3bb699c6de
Kale, Izzet
c95f4beb-432b-4fed-b464-18a4c2e641cf
Maheshwari, Sachin, Bartlett, Viv and Kale, Izzet
(2021)
A VHDL-based modelling approach for rapid functional simulation and verification of adiabatic circuits.
IEEE Transaction on CAD of Integrated Circuits and Systems, 40 (8), .
(doi:10.1109/TCAD.2020.3022334).
Abstract
Adiabatic logic is an energy-efficient technique, however, the time required in the design, validation, and debugging increases manifold for large-scale adiabatic system designs. In this endeavor, we present a hardware description language (HDL)-based modeling approach for 4-phase adiabatic logic design. The paper highlights the drawbacks of the existing approaches and proposes a new approach that captures the timing errors and detects the circuit's invalid operation due to mutually exclusive inputs being violated. We develop a model library containing the function of the four periods used in the trapezoidal power-clock and the adiabatic logic gates. The validation and verification of the proposed approach were done on the ISO-14443 standard benchmark circuit, a 16-bit cyclic redundancy check (CRC) circuit. The system modeled using HDL shows the timing agreement with the transistor-level SPICE simulations. The novel use of the four periods of a power-clock improves the robustness and reliability for the design and verification of large adiabatic systems.
Text
Revised manuscript
- Accepted Manuscript
More information
e-pub ahead of print date: 8 September 2020
Published date: August 2021
Identifiers
Local EPrints ID: 474850
URI: http://eprints.soton.ac.uk/id/eprint/474850
PURE UUID: 07f6df23-b34c-46ea-b64b-a7d79bda30fa
Catalogue record
Date deposited: 03 Mar 2023 17:48
Last modified: 16 Mar 2024 14:36
Export record
Altmetrics
Contributors
Author:
Sachin Maheshwari
Author:
Viv Bartlett
Author:
Izzet Kale
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics