|
5
|
Efficient Computation of Canonical Form for Boolean Matching in Large Libraries
– Debatosh Debnath, Tsutomu Sasao
- 2004
|
|
11
|
A new canonical form for fast Boolean matching in logic synthesis and verification
– Afshin Abdollahi
- 2005
|
|
|
Exploiting K-Distance Signature for Boolean Matching and G-Symmetry Detection
– Kuo-Hua Wang
- 2006
|
|
6
|
Fast Boolean Matching Under Permutation Using Representative
– Debatosh Debnath, Tsutomu Sasao
- 1999
|
|
1
|
Fast Boolean Matching for LUT Structures
– Alan Mishchenko, Satrajit Chatterjee, Robert Brayton
|
|
4
|
Boolean factoring and decomposition of logic networks
– Alan Mishchenko, Robert Brayton, Satrajit Chatterjee
- 2008
|
|
15
|
Reducing Structural Bias in Technology Mapping
– S. Chatterjee, A. Mishchenko, R. Brayton, X. Wang, T. Kam
- 2005
|
|
21
|
Boolean Matching Using Generalized Reed-Muller Forms
– Chien-Chung Tsai , Malgorzata Marek-Sadowska
- 1994
|
|
|
An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs
– Neil Kettle, Andy King
|
|
12
|
Fast Computation of Symmetries in Boolean Functions
– Alan Mishchenko
- 2003
|
|
23
|
A Survey of Boolean Matching Techniques for Library Binding
– Luca Benini, Giovanni De Micheli
- 1997
|
|
21
|
Binary Decision Diagrams
– Fabio Somenzi
- 1999
|
|
2
|
Least Upper Bounds for the Size of OBDDs Using Symmetry Properties
– Laura Heinrich-litan, Paul Molitor
- 2000
|
|
|
The Controlling Value Boolean Matching
– Ricardo Ferreira, Anne-Marie Trullemans, Qinhai Zhang, Qinhai Zhang Yy
- 1996
|
|
51
|
Symmetry Detection and Dynamic Variable Ordering of Decision Diagrams
– Shipra Panda, Fabio Somenzi, Bernard F. Plessier
- 1996
|
|
|
Technology Mapping with Boolean Matching, Supergates and Choices
– Alan Mishchenko, Satrajit Chatterjee, Robert Brayton, Xinning Wang, Timothy Kam
|
|
11
|
An Integrated Technology Mapping Environment
– Alan Mishchenko, Satrajit Chatterjee, Robert Brayton, Maciej Ciesielski
- 2005
|
|
4
|
Generalized Symmetries in Boolean Functions: Fast Computation and Application to Boolean Matching
– Jin S. Zhang, Malgorzata Chrzanowska-Jeske, Alan Mishchenko, Jerry R. Burch
- 2004
|
|
1
|
Optimal Technology Mapping for Single Output Cells
– Uwe Hinsberger, Reiner Kolla
- 1994
|
