Automaton: an autonomous coverage-based multiprocessor system verification environment.
Nadeem Malik, Steven Roberts, Alan Pita, Ryan Dobson
VenueCRSP
Year1997
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/MalikRPD97 ↗
Browse the full RSP paper archive.