Inproceedings,

Verifying Large-Scale Multiprocessors Using an Abstract Verification Environment.

, and .
DAC, page 163-168. ACM Press, (1999)

Meta data

Tags

Users

  • @dblp

Comments and Reviews