Binary decision diagrams and applications for VLSI CAD
Binary decision diagrams and applications for VLSI CAD
Logic synthesis for large pass transistor circuits
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Symbolic algorithms for layout-oriented synthesis of pass transistor logic circuits
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Transistor level micro-placement and routing for two-dimensional digital VLSI cell synthesis
ISPD '99 Proceedings of the 1999 international symposium on Physical design
Synthesis and Optimization of Digital Circuits
Synthesis and Optimization of Digital Circuits
An Introduction to VLSI Physical Design
An Introduction to VLSI Physical Design
Area-Oriented Synthesis for Pass-Transistor Logic
ICCD '98 Proceedings of the International Conference on Computer Design
Decision Diagrams and Pass Transistor Logic Synthesis
Decision Diagrams and Pass Transistor Logic Synthesis
MuTaTe: an efficient design for testability technique for multiplexor based circuits
Proceedings of the 13th ACM Great Lakes symposium on VLSI
Minimization of the expected path length in BDDs based on local changes
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
Combining ordered best-first search with branch and bound for exact BDD minimization
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
Combination of Lower Bounds in Exact BDD Minimization
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Quasi-Exact BDD Minimization Using Relaxed Best-First Search
ISVLSI '05 Proceedings of the IEEE Computer Society Annual Symposium on VLSI: New Frontiers in VLSI Design
Bridging fault testability of BDD circuits
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Weighted A∗ search -- unifying view and application
Artificial Intelligence
FSM Encoding for BDD Representations
International Journal of Applied Mathematics and Computer Science
A framework for quasi-exact optimization using relaxed best-first search
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Hi-index | 0.00 |