Skip to main content

Formal Analysis of a Programmable Performance-Critical Processor Communication Interface

Suleiman Abu Kharmeh, Kerstin Eder, David May, Formal Analysis of a Programmable Performance-Critical Processor Communication Interface. Proceedings of the 10th International Workshop on Automated Verii??cation of Critical Systems (AVoCS 2010). ISSN tbc, pp. 115–117. October 2010. PDF, 118 Kbytes. External information

Abstract

This paper presents a Design-for-Verii??cation approach applied to verify critical properties of a complex, programmable, performance-critical processor communication interface. The functional and performance requirements have been systematically decomposed into functionally independent communicating building blocks that can be individually verii??ed and that when composed together exhibit the properties required to run a specii??c communication protocol.

Bibtex entry.

Contact details

Publication Admin