Steven Mittermaier

  • Citations Per Year
Learn More
Test generation and simulation tools have input stimuli that can direct them to cover specific events. However, the cost of completely covering a verification plan is still very high. While coverage analysis tools can find events that have not been covered, they do not provide an automated covering method. This paper presents the first implementation of a(More)
verification of the z990 superscalar, multibook microprocessor complex D. G. Bair S. M. German W. D. Wollyung E. J. Kaminski, Jr. J. Schafer M. P. Mullen W. J. Lewis R. Wisniewski J. Walter S. Mittermaier V. Vokhshoori R. J. Adkins M. Halas T. Ruane U. Hahn This paper describes the verification methods and techniques that were established to verify the(More)
  • 1