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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

1 Citation (Scopus)
323 Downloads (Pure)


Software Defined Radio (SDR) devices are becoming
increasingly popular due to their support for mode-, standardand
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 severely
power hungry. In this work we therefore show how to use tools
and techniques developed by the formal methods community to
minimize the energy consumption of Finite Impulse Response
(FIR) filters which are extensively used in SDR front-ends. We
conduct experiments with four different FIR filter structures
where we initially derive data flow graphs and precedence graphs
using the Synchronous Data Flow (SDF) notation. Based on actual
measurements on the Altera Cyclone IV FPGA, we derive power
and timing estimates for addition and multiplication, including
idling power consumption. We next model the FIR structures
in UPPAAL CORA and employ model checking to find energyoptimal
solutions in linearly priced timed automata. In conclusion
we state that there are significant energy-versus-time differences
between the four structures when we experiment with varying
numbers of adders and multipliers. Similarly, we find that idle
power becomes an important parameter when a high number of
functional units are allocated.
Original languageEnglish
Title of host publication2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)
Number of pages6
Publication date20 Apr 2016
ISBN (Electronic)978-1-5090-2466-7
Publication statusPublished - 20 Apr 2016
EventInternational Symposium on Design and Diagnostics of Electronic Circuits & Systems - Košice, Slovakia
Duration: 20 Apr 201622 Apr 2016


ConferenceInternational Symposium on Design and Diagnostics of Electronic Circuits & Systems

Cite this