A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study
Loading...
Files
Date
Authors
Borrione, Dominique
Helmy, Amr
Pierre, Laurence
Schmaltz, J. Julien
Journal Title
Journal ISSN
Volume Title
Publisher
Princeton, New Jersey, USA : IEEE Computer Society