Concepedia

Boolean Logic Optimization

Boolean Logic Optimization is a systematic method in digital integrated circuit design that reduces the complexity of Boolean expressions to minimize logic gates and improve circuit performance while preserving functional equivalence.

197

Publications

7.6K

Citations

416

Authors

187

Institutions

Publications per year

2017–2026

32

Parents

Publications

197

Targeting cells with single vectors using multiple-feature Boolean logic

Lief E. Fenno, Joanna Mattis, Charu Ramakrishnan et al. · Nature Methods · 2014 · 582 citations

, , +5

MINI: A Heuristic Approach for Logic Minimization

S. J. Hong, R. G. Cain, D. L. Ostapko · IBM Journal of Research and Development · 1974 · 347 citations

, , +17

Logic-based methods for optimization: combining optimization and constraint satisfaction

Choice Reviews Online · 2001 · 309 citations

, , +15

The EPFL Combinational Benchmark Suite

Luca Amarù, Pierre‐Emmanuel Gaillardon · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 2019 · 290 citations · Full text

, , +17

Majority-Inverter Graph: A New Paradigm for Logic Optimization

Luca Amarù, Pierre‐Emmanuel Gaillardon, Giovanni De Micheli · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2015 · 219 citations · Full text

, , +17

1–5 of 197

Authors

416

  1. RD
    Rolf Drechsler

    University of Bremen, Germany

    10 publications · 283 citations

    10

    h-index

  2. GD
    Giovanni De Micheli

    École Polytechnique Fédérale de Lausanne, Switzerland

    7 publications · 390 citations

    7

    h-index

  3. RK
    Robert K. Brayton

    University of California, Berkeley, United States

    6 publications · 312 citations

    6

    h-index

  4. BB
    Bernd Becker

    University of Freiburg, Germany

    6 publications · 195 citations

    6

    h-index

  5. LA
    Luca Amarù

    École Polytechnique Fédérale de Lausanne, Switzerland

    6 publications · 600 citations

    6

    h-index

1–5 of 416

Institutions

187

  1. University of California, Berkeley

    Berkeley, United States

    11 h-index

    22 publications

    1.1K citations

  2. École Polytechnique Fédérale de Lausanne

    Lausanne, Switzerland

    8 h-index

    23 publications

    1.2K citations

  3. University of California, Santa Barbara

    Santa Barbara, United States

    7 h-index

    9 publications

    478 citations

  4. University of Southern California

    Los Angeles, United States

    6 h-index

    12 publications

    453 citations

  5. Nanyang Technological University

    Singapore, Singapore

    6 h-index

    11 publications

    186 citations

  6. Synopsys (United States)

    Mountain View, United States

    5 h-index

    5 publications

    130 citations

  7. University of California, Los Angeles

    Los Angeles, United States

    5 h-index

    8 publications

    156 citations

  8. University of Bremen

    Bremen, Germany

    5 h-index

    12 publications

    264 citations

1–8 of 187

Venues

  1. 12

    h-index

  2. IEEE Transactions on Computers

    7 publications · 301 citations

    7

    h-index

  3. IEEE Transactions on Electronic Computers

    5 publications · 198 citations

    5

    h-index

  4. International Journal of Electronics

    4 publications · 84 citations

    4

    h-index

  5. International Conference on Computer Aided Design

    Conference · 3 publications · 100 citations

    3

    h-index

1–5