论文信息 - Multi-Sim, A Dynamic Multi-Level Simulator

Multi-Sim, A Dynamic Multi-Level Simulator

This paper describes an approach to efficient logic simulation of microprocessor based systems using automatic, dynamic switching of level of simulation.

James E. Coffman | Robert C. Chen

[1] Howard E. Krohn. Design verification of large scientific computers , 1977, DAC '77.

[2] R. E. Karnes,et al. Computer design verification via software simulation , 1975, AFIPS '75.

[3] James J. Strunge. Fault modeling in a hierarchical simulator , 1977, DAC '77.

[4] Melvin A. Breuer,et al. Concurrent fault simulation and functional level modeling , 1977, DAC '77.