A VHDL-based Modelling Approach for Rapid Functional Simulation and Verification of Adiabatic Circuits https://zh.booksc.eu/book/83609528/ad8f15