DLX-Microprocessor / work / TBFSM.syn