TUFTSim Support
| The TUFTSim Support page contains descriptions of hard to understand elements of the TUFTSim simulator to serve as a quick reference for those with all types of experience with TUFTSim. | |
| Name: | Description |
| .dee | A .dee file contains the description for the circuit model to be tested by the simulator. ".dee" is a file type made specifically for the Tufts University Simlab simulators, and will not be found elsewhere. Common circuit model file types (benchmark, verilog) can be changed into ".dee's" via the programs found in the TUFTSim Tools section (by using bench2ver and then Parse). |
| .fls | A .fls file contains the location of all the possible faults for a given circuit. Like a .dee file, a .fls is a file type made specifically for the Simlab simulators, and will not be found elsewhere. A .fls file can be derived from the .dee circuit description file using programs found in the TUFTSim Tools section. |
| .dwe | A .dwe file contains a sample test pattern to run the simulation and try to find possible faults. These sample test patterns are called waveforms. There is no single "correct" waveform for a circuit, although some waveforms will detect more faults than others. Like the .dee and .fls filetypes, a .dwe is specific to the Simlab simulators. In the TUFTSim Tools section there are files that can generate random waveforms. |