44 search results - page 1 / 9 » A Generic Model for Formally Verifying NoC Communication Arc... |
NOCS
2007
IEEE
13 years 11 months ago
2007
IEEE
FAC
2008
13 years 5 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...
FAC
2007
13 years 5 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
ICCD
2004
IEEE
14 years 2 months ago
2004
IEEE
Networks-on-Chip (NoC), a new SoC paradigm, has been proposed as a solution to mitigate complex on-chip interconnect problems. NoC architecture consists of a collection of IP core...
DAC
1997
ACM
13 years 8 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...