Functional and performance correctness of on-die communication fabrics is critical for the design of modern computer systems. In this talk we will examine some challenges and open problems in functional verification communication fabrics and in their quality of service analysis and optimization. We will also review some progress that has been done in liveness verification of communication fabrics. © 2011 Springer-Verlag.
CITATION STYLE
Kishinevsky, M., Gotmanov, A., & Viktorov, Y. (2011). Challenges in verifying communication fabrics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6898 LNCS, pp. 18–21). https://doi.org/10.1007/978-3-642-22863-6_4
Mendeley helps you to discover research relevant for your work.