17 search results - page 1 / 4 » Formalizing On Chip Communications in a Functional Style |
DAGSTUHL
2006
15 years 3 months ago
2006
118
click to vote
FAC
2008
15 years 2 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...
119
click to vote
FMCAD
2004
Springer
15 years 6 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...
109
Voted
ISSS
2002
IEEE
15 years 7 months ago
2002
IEEE
We have fabricated a Chip Multiprocessor prototype code-named Merlot to proof our novel speculative multithreading architecture. On Merlot, multiple threads provide wider issue wi...
128
Voted
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
ASIC designs for future communication applications cannot be simulated exhaustively. Formal Property Checking is a powerful technology to overcome the limitations of current funct...