Sequence invariant state machine compiler. - D. Buehler; Sterling R. Whitaker; John A. Canaris (Great Lakes Symposium on VLSI, 1991)