Title :
Functional testing of pipelined processors
Author :
Salama, A.E. ; Ali, A.K. ; Talkhan, E.A.
Author_Institution :
Fac. of Eng., Cairo Univ., Giza, Egypt
fDate :
9/1/1996 12:00:00 AM
Abstract :
A new method to generate tests for pipelined microprocessors is presented. It concentrates on testing the interlock mechanisms of the instruction pipeline. A new instruction execution model is introduced. A procedure that minimally generates tests to detect any pipeline dependency violations is developed. This procedure is intended to augment current test approaches. A derivation of the test sequence complexity is presented which shows that test length is significantly reduced
Keywords :
computational complexity; computer testing; microprocessor chips; pipeline processing; functional testing; instruction execution model; instruction pipeline; interlock mechanisms; pipelined microprocessors; pipelined processors; test sequence complexity;
Journal_Title :
Computers and Digital Techniques, IEE Proceedings -
DOI :
10.1049/ip-cdt:19960641
