Paper Info
Title
A Markov Model for Low-Power High-Fidelity Design-Space Exploration
Abstract
We use a Markov model to specify the behaviour of a protocol, and show an analysis of this model can generate a high-level design space that an engineer can explore. The behaviour that we study is the leakage power and the area complexity. The design space generated from the Markov model is shown to have high fidelity, which means it faithfully reflects the corresponding `implementation space', and the lowest-power design will synthesise to the lowest-power implementation. In effect, the high-level Markov-based analysis we carry out allows low-level behaviour to be predicted, and this diminishes the need for extensive, time-consuming simulation. We also compute the theoretical lower and upper bounds of power, and in so doing, can determine how close our high-level designs are to being optimal. To test fidelity, we apply two different simulation tools, and measure the correlation between our high-level estimates and the results produced by simulation. In a case study, we predict which design of an AMBA protocol will consume least total power and cover least area.
Year
DOI
Venue
2010
10.1109/DSD.2010.47
DSD
Keywords
Field
DocType
different simulation tool,high-level markov-based analysis,leakage power,high-level estimate,protocols,design space,high fidelity,markov model,low power high fidelity design space exploration,high level design space,lowest-power design,high-level design,implementation space,time-consuming simulation,integrated circuit design,low power,high level markov-based analysis,amba protocol,area complexity,high-level synthesis,high-level design space,markov processes,high level synthesis,low-power high-fidelity design-space exploration,computational modeling,encoding,hamming distance,steady state
High fidelity,Fidelity,Markov process,Markov model,Computer science,High-level synthesis,Markov chain,Real-time computing,Integrated circuit design,Design space exploration
Conference
ISBN
Citations 
PageRank 
978-1-4244-7839-2
2
0.40
References 
Authors
9
2
Name
Order
Citations
PageRank
Jing Cao1202.99
Albert Nymeyer21069.98