main / simulators / mcs / tools

README

 
Name
Function
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 converts tab (*.dgp) fault lists into (*.dws) format
crefl converts (*.fau) to (*.fls) format
dwc converts (*.dws) to (*.dwe) format
tufault generates a fault list in (*.fls) format, given a (*.dee) file