Browse Prior Art Database

Test Case Analysis on Microcode

IP.com Disclosure Number: IPCOM000103590D
Original Publication Date: 1993-Jan-01
Included in the Prior Art Database: 2005-Mar-18
Document File: 1 page(s) / 44K

Publishing Venue

IBM

Related People

East, RE: AUTHOR [+2]

Abstract

During verification of the RSC processor, a method was needed to verify that testcases existed to which accessed all microcode locations. The IBM RISC System/6000*, Model 200/RSC is a related project.

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

Test Case Analysis on Microcode

       During verification of the RSC processor, a method was
needed to verify that testcases existed to which accessed all
microcode locations.  The IBM RISC System/6000*, Model 200/RSC is a
related project.

      Design tools are available that monitor the switching of nets
in a design while running simulation testcases.  This allows the
designer and verification team to create a full suite of testcases to
toggle all nets in a design.

      The RSC processor contains a microcoded sequencer to implement
TLB reload, IOCC and BUID 40 (graphics) functions.  The sequencer
contains 2048 18-bit ROS words, 96 32-bit RAM locations, and 16
32-bit general-purpose registers.

      During the course of verification, it was realized that no
method was available to insure that all microcode locations were
being simulated.  If a microcode location was not being accessed,
then a function contained within the sequencer was not being tested.
THE INVENTION

      A set of REXX execs and subroutines were written to monitor and
tabulate the accesses to the sequencer microcode.

      A custom version of the simulation control program (RTX) was
developed that tabulated the accesses to microcode locations while
testcases were being run.  At the successful completion of a
simulation testcase, this modified version of RTX would dump the
microcode accounting results to a file.

      A utility REXX exec was then written to tabulat...