next up previous contents
Next: .tdl File Format Up: .src File Format Previous: Description

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.



David Dahle Wed Jan 24 11:51:06 PST 1996