Dissemin is shutting down on January 1st, 2025

Published in

2012 IEEE/ACM Sixth International Symposium on Networks-on-Chip

DOI: 10.1109/nocs.2012.26

Links

Tools

Export citation

Search in Google Scholar

A Mixed Verification Strategy Tailored for Networks on Chip

Proceedings article published in 2012 by Georgios Tsiligiannis ORCID, Laurence Pierre
This paper was not found in any repository, but could be made available legally by the author.
This paper was not found in any repository, but could be made available legally by the author.

Full text: Unavailable

Green circle
Preprint: archiving allowed
Green circle
Postprint: archiving allowed
Red circle
Published version: archiving forbidden
Data provided by SHERPA/RoMEO

Abstract

This paper targets the development of a verification methodology for Networks on Chip. We advocate the use of formal methods to guarantee an unambiguous expression of the specifications. A previous theorem proving based solution enables the verification of high-level properties for NoC communication algorithms, it deliberately addresses abstract NoC descriptions and ignores implementation details. We suggest here a complementary approach, oriented toward Assertion-Based Verification, that focuses on the verification of RT level implementations, also applicable to the on-line checking of robustness properties.