The University of Southampton
University of Southampton Institutional Repository

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
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
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), 1721-1725. (doi:10.1109/TCAD.2020.3022334).

Record type: Article

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
Download (954kB)

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×