公开(公告)号：GB2278213A

公开(公告)日：1994-11-23

申请号：GB9310223

申请日：1993-05-18

Applicant: IBM

Inventor： AHARON AHARON ,  MALKA YOSSI ,  LICHTENSTEIN YOSSI

IPC: G06F9/06 ,  G06F9/44 ,  G06F11/22 ,  G06F11/36

Abstract: An architecture-independent test program generator for producing test programs for checking the operation of a hardware processor design comprises means for storing data representing the processor instruction set and resources, and logic (30) for generating test programs from said stored data, characterised in that the data is a separate declarative specification (10). The relationships between the processor resources and semantic entities associated with each instruction are modelled in the declarative specification.