Stem mcnc$ (all stems)
2 papers:
- DAC-1991-GeigerM #algebra #automaton #benchmark #composition #metric
- FSM Decomposition Revisited: Algebraic Structure Theory Applied to MCNC Benchmark FSMs (MG, TMW), pp. 182–185.
- DAC-1985-RogersRD #design
- MCNC’s vertically integrated symbolic design system (CDR, JBR, SWD), pp. 62–68.