Abstract | ||
---|---|---|
Simulators play an important role in the design of VLSI circuits, but they require a large investment of time and effort. In this work we present a high-level, Markov model of a protocol, and we show how the best performing design can be selected without the need for simulation. Novel is the way we model the combinational logic and buffers as separate components. We compute the power consumed by each component, as well as the area complexity and data throughput. As a case study, we formally model the industrial protocol AMBA, and generate 84 designs that fulfil certain correctness requirements. We predict the performance and area complexity of every design, and we compare our predictions with the results from simulation. A fidelity and linear regression analysis is used to compute the correlation between the predictions and simulations. We also consider the competing goals of low-power and high-throughput, and how to select a design that offers an optimal compromise. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1109/ISVLSI.2011.64 | ISVLSI |
Keywords | Field | DocType |
markov performance model,data throughput,protocols,linear regression analysis,performance estimation,power consumption,combinational circuits,important role,buffered protocol design,vlsi circuit design,markov model,industrial protocol,regression analysis,low-power electronics,vlsi design,buffered protocol,case study,industrial protocol amba model,vlsi,integrated circuit design,fidelity regression analysis,buffer circuits,large investment,vlsi circuit,combinational logic,area complexity,fulfil certain correctness requirement,markov processes,simulation,throughput,computational modeling,high throughput,state transition,linear regression,low power electronics | Markov process,Markov model,Computer science,Markov chain,Correctness,Theoretical computer science,Combinational logic,Integrated circuit design,Throughput,Computer engineering,Very-large-scale integration | Conference |
ISSN | ISBN | Citations |
2159-3469 E-ISBN : 978-0-7695-4447-2 | 978-0-7695-4447-2 | 3 |
PageRank | References | Authors |
0.40 | 7 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jing Cao | 1 | 20 | 2.99 |
Albert Nymeyer | 2 | 106 | 9.98 |