A functional testing method for microprocessors
- 1 January 1988
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. 37 (10) , 1288-1293
- https://doi.org/10.1109/12.5992
Abstract
A method is presented for functional testing of microprocessors. First, a control fault model at the RTL (register transfer language) level is developed. Based on this model, the authors establish testing requirements for control faults. They present two test procedures to verify the write and read sequences, and use the write and read sequences to test each instruction in the microprocessor. By utilizing k-out-of-m codes, they use fewer tests to cover more faults, thereby reducing the test generation time.Keywords
This publication has 4 references indexed in Scilit:
- A METHODOLOGY FOR FUNCTIONAL LEVEL TESTING OF MICROPROCESSORSPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Functional Testing of MicroprocessorsIEEE Transactions on Computers, 1984
- Testing functional faults in VLSIPublished by Association for Computing Machinery (ACM) ,1982
- Test Generation for MicroprocessorsIEEE Transactions on Computers, 1980