page 1  (36 pages)
2to next section

Appendix G. .src File Format

Purpose

This file contains the COSMOS fault simulation commands to fault simulate the netlist that Carafe generates.

Description

For each fault, there are two COSMOS commands given in these files. The first command inserts the fault site into the list of faults to simulate. The second command sets the gate of the fault transistor to the unfaulty state as given by the technology file.

This file can be executed once in COSMOS by entering the command: > source inv.src
This would instruct COSMOS to read in the list of commands in the file inv.src. This should be done as one of the first few instructions during the COSMOS simulation. Fault simulating the circuit can now be done by setting the inputs to the circuit according to the test pattern to be given and then executing the COSMOS cycle command.

Example

fault brg_2@1
set brg_2:0
The two lines above are the COSMOS commands that would be used to fault simulate the node brg 2. In this case, brg 2 will be simulated for a Stuck-at-1 fault. The first line instructs COSMOS to enter the fault into the lists of faults to simulate and the second line sets the node to the non-faulty state.