Browse Prior Art Database

Architecture Verification Program Automatic Test Case Generation

IP.com Disclosure Number: IPCOM000060843D
Original Publication Date: 1986-May-01
Included in the Prior Art Database: 2005-Mar-09

Publishing Venue

IBM

Related People

Authors:
Treu, AE Mueller, G [+details]

Abstract

A technique is described whereby an architecture verification program (AVP), used in the development of computers, will randomly select test cases and develop any number of test cases for each operational code of the computer. The AVP is unique in that it will define the limits of allowable architectural variations through the use of a random data generator, so as to provide complete automatic testing configurations of each instruction. Also, the AVP can be modified easily, should a change in the computer architecture be required, so as to continue the automatic verification and testing process of the design. The AVP information flow, as shown in Fig. 1, provides test cases that normally have structural content due to the architectural definitions required in the design of the computer.