Automaton: an autonomous coverage-based multiprocessor system verification environment

The number of computation cycles used for simulation-based verification of multiprocessor systems is the available throughput of simulation. This paper presents Automaton, a verification framework for multiprocessor systems based on the state-space coverage of interacting state machines in the system components. Automaton provides focused verification of those components and minimizes the demand on computing resources while ensuring improved verification coverage at the system level. Automaton makes use of a coverage-based directed-random simulation approach employing a network of workstations. The overall result is a more thorough and efficient system-level verification with a given simulation resource.

[1]  S. Palnitkar,et al.  Finite state machine trace analysis program , 1994, International Verilog HDL Conference.

[2]  Michael Kantrowitz,et al.  Functional Verification of a Multiple-issue, Pipelined, Superscalar Alpha Processor - the Alpha 21164 CPU Chip , 1995, Digit. Tech. J..

[3]  Jen-Tien Yen,et al.  Multiprocessor design verification with generated realistic MP programs , 1995, Proceedings International Phoenix Conference on Computers and Communications.

[4]  U. Shamsi,et al.  A simulation-based approach to architectural verification of multiprocessor systems , 1995, Proceedings International Phoenix Conference on Computers and Communications.

[5]  Aharon Aharon,et al.  Model Based Test Generation for Processor Verification , 1994, IAAI.

[6]  Samir Palnitkar,et al.  Cycle simulation techniques , 1995, Proceedings. 1995 IEEE International Verilog HDL Conference.

[7]  Daniel Geist,et al.  AVPGEN-A test generator for architecture verification , 1995, IEEE Trans. Very Large Scale Integr. Syst..

[8]  Mayank Gupta,et al.  A structured verification approach for MIPS microprocessors: a case study of the R4200 , 1994, Proceedings of COMPCON '94.

[9]  R. Raghavan,et al.  MPTG: a portable test generator for cache-coherent multiprocessors , 1995, Proceedings International Phoenix Conference on Computers and Communications.

[10]  Edward Mascarenhas,et al.  ParaSol: a multithreaded system for parallel simulation based on mobile threads , 1995, WSC '95.

[11]  Chong-Min Kyung,et al.  Design verification of complex microprocessors , 1996, Proceedings of APCCAS'96 - Asia Pacific Conference on Circuits and Systems.