005_iterative : Iterative Fault Simulation

Minimum Required Versions: Hyperfault 4.10.32.R

Example 005_iterative is a drink vending machine implemented as a Verilog gate level design. Included in this example are the Gateway schematic for the circuit as well as the testbench and library files are "dm_lib.v" and "primitives.v".

We will use the Hyperfault GUI to run an iterative fault simulation. First we will run a fault simulation using the default fault simulation settings. Next we will disable the hypertrophic fault detection and run an iterative fault simulation that will only re-run those faults that were classified as hypertrophic faults in the first fault simulation. This will reduce the number of faults to be run and allow for a faster run time.

Run Fault Simulation with Hypertrophic Fault Detection Enabled

• Start Hyperfault (command: hyperflt -gui), open the project file "flt_test.spj"
• Click "Start Fault Sim" to run the fault simulation.
• Observe the fault simulation output in the Output window . Note the number of Hypertrophic faults detected.

Run an Iterative Fault Simulation with Hypertrophic Fault Detection Disabled

• Start Hyperfault (command: hyperflt -gui), open the project file "flt_test.spj"
• Open the Edit->Project Properties->Fault Simulation->Options dialog.
• Select "Replace Detections" and "Hypertrophic" options in the Iteration Controls section and set the Hypertrophic limit(percent) to 100 in the dialog.
• Close the dialog by clicking "Ok".
• Click "Start Fault Sim" to run the fault simulation.
• Observe in the fault simulation output related to Iteration control. Note that 127 retrieved faults will be simulated, these faults are the non-redundant hypertrophic faults that will be re-simulated.
• Observe the accumulative fault simulation output in the Output window . Note that there are no longer hypertrophic faults in the fault summary.