Sciweavers

Share
FMCAD
2004
Springer

A Functional Approach to the Formal Specification of Networks on Chip

9 years 9 months ago
A Functional Approach to the Formal Specification of Networks on Chip
We present a functional approach, based on the ACL2 logic, for the specification of system on a chip communication architectures. Our decomposition of the communications allows the method to be modular for both system definition and validation. When performed in the context of the ACL2 logic, all the definitions and theorems are not only reusable, but also constitute an executable and proven valid specification for the system. We illustrate the approach on a state of the art network on chip: the Octagon. We prove that messages travel over this network without being modified and eventually reach their expected destination.
Julien Schmaltz, Dominique Borrione
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where FMCAD
Authors Julien Schmaltz, Dominique Borrione
Comments (0)
books