Verifying large-scale multiprocessors using an abstract verification environment

Authors:
Dennis Abts;Mike Roberts
Affiliations:
-;-
Venue:
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Year:
1999

Citing 2
Cited 3

The automatic generation of functional test vectors for Rambus designs

DAC '96 Proceedings of the 33rd annual Design Automation Conference
The SGI Origin: a ccNUMA highly scalable server

Proceedings of the 24th annual international symposium on Computer architecture

A Balanced Approach to High-Level Verification: Performance Trade-Offs in Verifying Large-Scale Multiprocessors

ICPP '00 Proceedings of the Proceedings of the 2000 International Conference on Parallel Processing
Efficiently generating test vectors with state pruning

Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Interactive presentation: Automatic generation of functional coverage models from behavioral verilog descriptions

Proceedings of the conference on Design, automation and test in Europe

Quantified Score

Hi-index	0.00

Visualization

Abstract

Due to a patent dispute, full text of this article is not availableat this time.