Method and Apparatus for Verifying Data Processing Apparatus

摘要

Asynchronous computation commands sent from a command control are held in a command queue. The executable command is selected and supplied to a pipelined asynchronous computing unit. A status area is ensured for every command held in the command queue and pipeline bits indicative of the state of progress of the execution of the command in the unit are stored. A queue verifier discriminates the pipeline bits and verifies that a plurality of pipeline stages do not exist in an entry of any single command and that a plurality of pipeline stages do not exist among the commands, thereby guaranteeing the correct and orderly execution of the commands.