Browse Prior Art Database

Updating Read-Only Registers During Test Case Generation

IP.com Disclosure Number: IPCOM000102484D
Original Publication Date: 1990-Nov-01
Included in the Prior Art Database: 2005-Mar-17
Document File: 3 page(s) / 84K

Publishing Venue

IBM

Related People

Dingankar, AT: AUTHOR [+2]

Abstract

Disclosed is a method of modifying read-only registers in the state machine knowledge base during test case generation.

This text was extracted from an ASCII text file.
This is the abbreviated version, containing approximately 53% of the total text.

Updating Read-Only Registers During Test Case Generation

       Disclosed is a method of modifying read-only registers in
the state machine knowledge base during test case generation.

      In order to automate the logic verification process during
simulation, each test case must have a set of expected results.
These results will be compared against the actual results computed by
the simulator.  In order to obtain the expected results at the end to
the test case generation, all machine storage elements (memory,
caches, registers) must be updated during the course of generating a
test case.
      A rule (or a production rule) has the form:
            IF <predicates> THEN <conclusions>.
The rules form a convenient way to represent knowledge. This
invention uses the rule system to update the registers.

      Each field of the read-only registers has one or more rules
that govern its behavior.  These rules are organized into different
classes under the rule system.  The rules that control the BUID0
(processor internal) registers are shown in the figure.  Each of
these rules spells out all the conditions that will cause, e.g., a
bit to be set or reset. Some of the action to write into a field
may be very complicated, such as the formation of the syndrome bits;
in such cases, the conclusion is a method (procedure) written to
produce the results.

      The following is an example of a rule that controls the AD_BIT
of (External Error Status Register).
     (AD_BIT_RULE
       (IF  (THE CURFUN_TC OF MACHINE_INFO IS DMA_OPS)
            (THE CURFAULT_TC OF MACHINE_INFO IS ADDR_OUT_OF_RANGE)
        THEN
          ...