State Pruning for Test Vector Generation for a Multiprocessor Cache Coherence Protocol.
Ying Chen, Dennis Abts, David J. Lilja
VenueCRSP
Year2004
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/ChenAL04 ↗
Browse the full RSP paper archive.