109 search results - page 5 / 22 » A Methodology for Large-Scale Hardware Verification |
DATE
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents an innovative approach for analogue and mixed-signal verification. It consists in a “verification kit” that makes use of concepts used in state-of-art digi...
DATE
2004
IEEE
14 years 8 days ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
FPL
2006
Springer
14 years 6 days ago
2006
Springer
This paper provides a realistic case study of using the previously introduced SIMPPL system architectural model, which fixes the physical interface and communication protocols bet...
ICASSP
2010
IEEE
13 years 3 months ago
2010
IEEE
Cooperative communication with multi-antenna relays can significantly increase the reliability and speed. However, cooperative MIMO detection would impose considerable complexity o...
DAC
2007
ACM
14 years 14 days ago
2007
ACM
SoC based system developments commonly employ ESL design ogies and utilize multiple levels of abstract models to provide feasibility study models for architects and development pl...