| Latency Analysis in Microarchitectural Models of Communication Fabrics |
|
|
| Authors |
| | Viktorov Y.O. |
| | Gotmanov A.N. |
| Date of publication |
| | 2012 |
|
| Abstract |
| | In this paper we consider theoretical foundations for a method of analyzing latencies in microarchitectural models of communication fabrics. We show how to derive upper bounds on latency and formally verify them using ranking functions. |
| Keywords |
| | quality of service, formal verification, xMAS, systems on chip, communication fabrics, ranking functions. |
| Library reference |
| | Viktorov Y.O., Gotmanov A.N. Latency Analysis in Microarchitectural Models of Communication Fabrics // Problems of Perspective Micro- and Nanoelectronic Systems Development - 2012. Proceedings / edited by A. Stempkovsky, Moscow, IPPM RAS, 2012. P. 67-72. |
| URL of paper |
| | http://www.mes-conference.ru/data/year2012/pdf/D116.pdf |
