Verification of the UltraSPARCTM Microprocessor
Shrenik Mehta, Sameer Ahmed, S. Al-Ashari, Dennis Chen, S. Cokmez, Piyush C. Desai, R. Eltejaein, J.D. Gee, T. Granvold, A. Iyer, Kai Biao Lin, Guillermo Maturana, D. McConn, Hager Elsir Sherfeldin Mohammed, Suha Nori, Nusrat Parveen, G. Peterson, M. Splain, T. Yu · 1995
The overall veriJication approach used in the design and development of the fill custom 64 bit UltraSPARC microprocessor will be described. A balanced hierarchical approach was critical in validating a design with this level of complexity. The tools, developed internally and externally, which aided the verijication effort will also be described. The environment was flexible enough to support various revisions of major tools. The method developed could easily be applied to derivative and next generation microprocessors.