2607 search results - page 33 / 522 » On the Architecture of System Verification Environments |
ICCD
1992
IEEE
13 years 11 months ago
1992
IEEE
ct Digital's NVAX high-performance microprocessor has a complex logical design. A rigorous simulation-based verification effort was undertaken to ensure that there were no log...
SIBGRAPI
1999
IEEE
13 years 11 months ago
1999
IEEE
Visualization systems that support multiple-display viewing can greatly enhance user perception. The common approach to provide multiple synchronized views uses a powerful centrali...
FLAIRS
2004
13 years 8 months ago
2004
Many dramatizations have depicted a fully automated home living environment, where actions and events are understood or even anticipated. While the realization of such environment...
EDO
2006
Springer
13 years 11 months ago
2006
Springer
Embedded systems are rapidly growing in size, complexity, distribution, and heterogeneity. As a result, the traditional practice of developing one-off embedded applications that a...
DAC
2007
ACM
13 years 11 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...