About this scholarly article

Proceedings of the 33rd annual conference on Design automation conference - DAC '96 - Techniques for verifying superscalar microprocessors by Burch, Jerry R. is a scholarly article available to read on EtoBox.

Author

Burch, Jerry R.

Publisher

ACM Press

Published

1996