SAT-Based Complete Don’t-Care Computation for Network Optimization
Valid clock frequencies and their computation in wavepipelined circuits
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Design, Automation and Test in Europe
A.L. Sangiovanni-Vincentelli
W.K.C. Lam
A. Mishchenko
A novel high throughput reconfigurable FPGA architecture