Appeal No. 96-3762
Application No. 08/245,179
The appellants' invention relates to a generator of test
programs for checking the operation of a hardware processor
design. Claim 1 is illustrative of the claimed invention, and
it reads as follows:
1. A test program generator for producing test programs
for checking the operation of a hardware processor design,
said test program generator comprising:
storing means for storing data representing a processor
instruction set and resources, said stored data being
represented as a separate declarative specification, said
separate declarative specification being a representation of
relationships between semantic entities associated with each
instruction and between said semantic entities and said
processor resources;
extracting means for extracting said data from said
storage means and for transforming said data into internal
data structures; and
test program generating means for generating test
programs from said internal data structures.
The prior art references of record relied upon by the
examiner in rejecting the appealed claims are:
Highland 4,924,408 May 08, 1990
Loopik et al. (Loopik) 5,381,417 Jan. 10, 1995
(filed Aug. 19, 1988)
Claims 1 through 15 stand rejected under 35 U.S.C. § 103
as being unpatentable over Loopik in view of Highland.
Reference is made to the examiner's answer (Paper No. 11,
mailed May 29, 1996) for the examiner's complete reasoning in
-2-
Page: Previous 1 2 3 4 5 6 7 8 Next
Last modified: November 3, 2007