Exploiting Inherent Characteristics of Reversible Circuits for Faster Combinational Equivalence Checking

Exploiting Inherent Characteristics of Reversible Circuits for Faster Combinational Equivalence Checking  Abstract: Reversible circuits implement invertible logic functions. They are of great interest to cryptography, coding theory, interconnect design, computer graphics, quantum computing, and many other fields. As for conventional circuits, checking the combinational equivalence of two reversible circuits is an important but difficult (coNP-complete) […]


Energy-Aware Scheduling of FIR Filter Structures using a Timed Automata Model

Energy-Aware Scheduling of FIR Filter Structures using a Timed Automata Model  Abstract: Software Defined Radio (SDR) devices are becoming increasingly popular due to their support for mode-, standard- and application-flexibility. At the same time however, the energy consumption of such devices typically suffers from the use of reconfigurable real-time platforms which are known to be […]