Marc E. Levitt. Formal Verification of the UltraSPARC:::TM::: Family of Processors via ATPG Methods. In Proceedings IEEE International Test Conference 1996, Test and Design Validity, Washington, DC, USA, October 20-25, 1996. pages 849-856, IEEE Computer Society, 1996.
Abstract is missing.