Verifying a Multiprocessor Cache Controller Using Random Case Generation”, (1989)

by D Wood, G Gibson, R Katz
Venue:University of California, Berkeley,