|
Name
|
Function
|
| parse | converts Verilog (*.v) files to DEE (*.dee) |
| mcomp | only for use with (*.des) files - converts (*.des) to (*.deo) |
| mlink | only for use with (*.deo) files - converts (*.deo) to (*.dee) |
| crest | extracts a symbol table from a (*.dee) files |
| tab2ws_mcs | converts tab (*.dgp) fault lists into (*.dws) format |
| crefl | converts (*.fau) to (*.fls) format |
| dwc_mcs | converts (*.dws) to (*.dwe) format |
| tufault | generates a fault list in (*.fls) format, given a (*.dee) file |
| bfault | This program generates all possible bridging faults file |
| decode | Translates the contents of a *.dee file to English. file |