MUSTANG: State assignment of finite state machines targeting multi-level logic implementations (1988)

by Srinivas Devadas, Hi-keung Ma, A. Richard Newton, A. Sangiovanni-Vincentelli
Venue:IEEE TRANS. COMPUTERAIDED DESIGN