531 search results - page 1 / 107 » Formal Methods for Networks on Chips |
ACSD
2005
IEEE
14 years 1 months ago
2005
IEEE
FMCAD
2004
Springer
13 years 11 months ago
2004
Springer
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...
FMCAD
2006
Springer
13 years 11 months ago
2006
Springer
FAC
2008
13 years 7 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
DSD
2002
IEEE
14 years 12 days ago
2002
IEEE
In this paper we describe a methodology for the formal verification of a DSP chip using the HOL theorem prover. We used an iterative method to specify both the behavioral and stru...