Issue No.10 - October (1988 vol.37)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.5992
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. B
functional testing method; microprocessors; control fault model; register transfer language; testing requirements; k-out-of-m codes; test generation time; computer testing; microprocessor chips.
L. Shen, "A Functional Testing Method for Microprocessors", IEEE Transactions on Computers, vol.37, no. 10, pp. 1288-1293, October 1988, doi:10.1109/12.5992