DMCA

Toward complexityeffective verification: A case study of the Cray SV2 cache coherence protocol (2000)

by Dennis Abts , David J. Lilja , Steve Scott
Venue:In Proceedings of the Workshop on Complexity-Effective Design held in conjunction with the 27th annual Int’l Symposium on Computer Architecture (ISCA2000
Citations:9 - 1 self