358 search results - page 2 / 72 » A Verification Methodology for Model Fields |
DAC
2007
ACM
13 years 9 months 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...
EURODAC
1994
IEEE
13 years 9 months ago
1994
IEEE
DATE
2006
IEEE
13 years 11 months ago
2006
IEEE
Verification quality is a must for functional safety in electronic systems. In automotive, the verification flow is historically based on a layered approach, where each level (mod...
DAC
1997
ACM
13 years 9 months ago
1997
ACM
Cr, As the complexity of high-performance microprocessor increases, functional verification becomes more and more difficult and RTL simulation emerges as the bottleneck of the des...
DATE
2004
IEEE
13 years 9 months 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...