Browse Prior Art Database

Creating Stuck at Faults in a Logic Simulator

IP.com Disclosure Number: IPCOM000103196D
Original Publication Date: 1990-Aug-01
Included in the Prior Art Database: 2005-Mar-17
Document File: 1 page(s) / 30K

Publishing Venue

IBM

Related People

Poursepanj, AA: AUTHOR [+2]

Abstract

Disclosed is a method for generating stuck at faults in a simulation engine that uses a table lookup to generate results for each node. In this type of simulator, the output of a node is defined by a table. The simulation engine generates the table inputs from information in the model and uses the result of the table lookup to determine the output of the node. A stuck at fault can be generated by adding functions to the lookup table to generate fixed outputs regardless of the inputs. To generate a fault, the node type for the gate to be faulted is changed to a fixed output gate for the duration of the fault. By modifying the model at simulation time, a new model for each fault simulation does not have to be generated. Also, restoring the nodes to their original values restores an unfaulted model without a full model reload.

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

Creating Stuck at Faults in a Logic Simulator

      Disclosed is a method for generating stuck at faults in a
simulation engine that uses a table lookup to generate results for
each node.  In this type of simulator, the output of a node is
defined by a table.  The simulation engine generates the table inputs
from information in the model and uses the result of the table lookup
to determine the output of the node.  A stuck at fault can be
generated by adding functions to the lookup table to generate fixed
outputs regardless of the inputs.  To generate a fault, the node type
for the gate to be faulted is changed to a fixed output gate for the
duration of the fault.  By modifying the model at simulation time, a
new model for each fault simulation does not have to be generated.
Also, restoring the nodes to their original values restores an
unfaulted model without a full model reload.  By making the changes
to the node type in the middle of simulation, intermittent faults are
easily simulated.

      Disclosed anonymously.