Level Formal Verification of Next-Generation Microprocessors (2003)

by T Schubert, “High
Venue:in DAC’03: Proceedings of the 40th conference on design automation. ACM