Multi-level synthesis for safe replaceability
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Exploiting power-up delay for sequential optimization
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
A Comment on 'Graph-Based Algorithm for Boolean Function Manipulation'
IEEE Transactions on Computers
Bound-Set Preserving ROBDD Variable Orderings May Not Be Optimum
IEEE Transactions on Computers
Hi-index | 0.01 |