Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Logic design principles with emphasis on testable semicustom circuits
Logic design principles with emphasis on testable semicustom circuits
The Transduction Method-Design of Logic Networks Based on Permissible Functions
IEEE Transactions on Computers
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
An Approach to Multilevel Boolean Minimization
Journal of the ACM (JACM)
Optimization of Combinational Logic Circuits Based on Compatible Gates
Optimization of Combinational Logic Circuits Based on Compatible Gates
Perturb and simplify: multi-level boolean network optimizer
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Fast Boolean optimization by rewiring
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
Synthesis for multiple input wires replacement of a gate for wiring consideration
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
| Hi-index | 0.00 |