A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface

Abstract

In this paper we present a Design-for-Verification framework for a Configurable Performance-Critical Communication Interface. To manage the inherent complexity of the problem we decomposed the interface into independent parametrisable communication blocks. Tock-CSP was then used to model the timing and functional specifications of our interface. The FDR model checker and its tau-priority model were used to prove that the properties of the configured interface are within the properties of targeted communication protocols.

DOI: 10.1007/978-3-642-24310-3_23

Extracted Key Phrases

5 Figures and Tables

Cite this paper

@inproceedings{Kharmeh2011ADF, title={A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface}, author={Suleiman Abu Kharmeh and Kerstin Eder and David May}, booktitle={FORMATS}, year={2011} }