- 1.T.B. Alexander, K. A. Dickey, D. N. Goldberg, R. V. La Fetra, J. R. McGee, N. Noordeen, and A. Prakash. Verification, characterization, and debugging of the HP PA 7200 processor. In Hewlett-Packard Journal, pages 1- 12, February 1996.Google Scholar
- 2.M. Kantrowitz and L. M. Noack. I'm Done Simulating; Now What? Verification Coverage Analysis and Correctness Checking of the DECchip 21164 Alpha microprocessor. In Proc. of the Design Automation Conf., pages 325-333, June 1996. Google ScholarDigital Library
- 3.S. T. Mangelsdorf, R. E Gratias, R. M. Blumberg, and R. Bhatia. Functional verification of the HP PA 8000 processor. In Hewlett-Packard Journal, pages 1-13, August 1997.Google Scholar
- 4.A. Aharon, D. Goodman, M. Levinger, Y. Lichtenstein, Y. Malka, C. Metzger, M. Molcho, and G. Shurek. Test Program Generation for Functional Verification of PowerPC Processors in IBM. In Proc. of the Design Automation Conf., pages 279-285, June 1995. Google ScholarDigital Library
- 5.J. Shen and J. A. Abraham. Native Mode Functional Test Generation for Microprocessors with Applications to Self Test and Design Validation. In Proc. Intl. Test Conf., pages 990-999, 1998. Google ScholarDigital Library
- 6.C. Hinchcliff. Simplified Microprocessor Test Generation. InProc. Intl. Test Conf., pages 176-180, 1982.Google Scholar
- 7.A.J. van de Goor and O. Jansen. Self Test for the Intel 8085. In Microprocessing and Microprogramming, 29:165-175, 1990. Google ScholarDigital Library
Index Terms
- Functional verification of the equator MAP1000 microprocessor
Recommendations
Efficient Microprocessor Verification using Antecedent Conditioned Slicing
VLSID '07: Proceedings of the 20th International Conference on VLSI Design held jointly with 6th International Conference: Embedded SystemsWe present a technique for automatic verification of pipelined microprocessors using model checking. An- tecedent conditioned slicing is an efficient abstraction tech- nique for hardware designs at the Register Transfer Level (RTL). Antecedent ...
Functional verification of the superscalar SH-4 microprocessor
COMPCON '97: Proceedings of the 42nd IEEE International Computer ConferenceFunctional verification of modern complex processors is a formidable and time consuming task. In spite of substantial manual effort, it is extremely difficult to systematically cover the corner cases of the control logic design, within a short processor ...
Formal Verification of a Pipelined Microprocessor
The application of modern functional languages and supporting verification technology to a scaled-down but realistic microprocessor is described. The model is of an infinite stream of machine instructions consuming an infinite stream of interrupt ...
Comments