Browse Prior Art Database

Timing Verification Macro for Computer Simulation Models

IP.com Disclosure Number: IPCOM000110134D
Original Publication Date: 1992-Oct-01
Included in the Prior Art Database: 2005-Mar-25
Document File: 3 page(s) / 88K

Publishing Venue

IBM

Related People

Van Asten, G: AUTHOR

Abstract

Described is a timing verification macro for computer simulation models designed to simplify the set-up, hold and pulse-width time checking of signals.

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

Timing Verification Macro for Computer Simulation Models

       Described is a timing verification macro for computer
simulation models designed to simplify the set-up, hold and
pulse-width time checking of signals.

      The timing verification macro is designed to verify minimum and
maximum values instead of verifying boundary values, as was done in
prior-art macros.  In addition, the macro provides status information
by setting a model local variable and driving a model output signal.
The status information may be used to determine when timing
verification errors occur.

      The macro consists of eleven parameters described as follows:
      1)   PARM1 - This parameter specifies the signal value of
SIGNAL1 that is necessary to perform a time check.  This parameter is
three characters long and consists of the following:
           - POS - The time check will be performed if the value of
SIGNAL1 equals one.
           - NEG - The time check will be performed if the value of
SIGNAL1 equals ZERO.
           - CHG - The time check will be performed regardless of the
value of SIGNAL1.
           - HIZ - The time check will be performed if the value of
SIGNAL1 equals H.
      2)   PARM2 - This parameter specifies SIGNAL1.  The value of
this CHAR(1) variable must equal PARM1 for the time check to occur.
      3)   PARM3 - This parameter is a local FIXED(31) variable
containing the minimum time value to be used to check between SIGNAL1
and SIGNAL2.  If this check is not desired, set the parameter to 0.
      4)   PARM4 - This parameter is a local FIXED(31) variable
containing the maximum time value to be used to check between SIGNAL1
and SIGNAL2.  If this check is not desired, set the parameter to a
very large time.
      5)   PARM5 - This parameter is a local CHAR(8) variable
containing the time when SIGNAL2 changed and is to be used in the
time check with SIGNAL1.
      6)   PARM6 - This parameter is the error message to be
displayed when the time check fails.  It is a character string
enclosed in quotes.
      7)   PARM7 - This opti...