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

NOVA: state assignment of finite state machines for optimal two-level logic implementation · 相关技术