NOVA: state assignment of finite state machines for optimal two-level logic implementation 论文
1990IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems引用 341
Formal Methods in VerificationLow-power high-performance VLSI designMachine Learning and Algorithms