Power Reduction in Embedded Systems Using a Design Methodology Based on Synchronous Finite State Machines.
Douglas P. B. RenauxFabiana PöttkerPublished in: IESS (2013)
Keyphrases
- finite state machines
- embedded systems
- design methodology
- power reduction
- power dissipation
- hw sw
- low power
- low cost
- power consumption
- model checking
- hardware software
- formal specification
- design process
- fuzzy neural network
- object oriented
- software systems
- hidden markov models
- case study
- field programmable gate array
- artificial intelligence
- regular expressions
- software engineering