Paper Info
Title
Discrete Event System Specification, Synthesis, And Optimization Of Low-Power Fpga-Based Embedded Systems
Abstract
Discrete event system specification (DEVS) has been widely used within modeling and simulation to design, verify, and implement complex reactive systems. DEVS provides a robust formalism for designing systems using event-driven, state-based models in which timing information is explicitly defined. In this paper, we present an overview of a DEVS-based hardware design, synthesis, and optimization methodology. Within this approach, hardware DEVS (HDEVS) specifications can be synthesized to hardware, during which the event-driven model and explicit timing allow for an efficient hardware realization using globally asynchronous, locally synchronous design approach. Additionally, we present an optimization method for reducing power consumption through optimal frequency mapping and clock gating of individual components while ensuring system latency constraints are achieved. We further demonstrate the resulting power consumption savings for activity-driven forest fire and asthma health management applications targeting two low-power FPGA devices.
Year
DOI
Venue
2013
10.1109/FPT.2013.6718337
PROCEEDINGS OF THE 2013 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (FPT)
Keywords
Field
DocType
modeling and simulation, high-level synthesis, discrete event system specification (DEVS), power optimization
Asynchronous communication,Clock gating,Modeling and simulation,Computer science,High-level synthesis,Field-programmable gate array,Real-time computing,Formal specification,DEVS,Reactive system,Embedded system
Conference
Citations 
PageRank 
References 
0
0.34
7
Authors
5
Name
Order
Citations
PageRank
Tim Pifer100.34
David Schwartz2107.25
Roman Lysecky360560.43
Chungman Seo4519.00
B. Zeigler51035188.72