Concepedia

Combinational Logic Synthesis

Combinational Logic Synthesis is a method in the field of digital circuit design that transforms a high-level logical specification into an optimized network of logic gates or lookup tables implementing the same combinational functionality without memory or feedback.

972

Publications

51.8K

Citations

1.7K

Authors

452

Institutions

Publications per year

2017–2026

89

Parents

Publications

972

Synthesis and optimization of digital circuits

Choice Reviews Online · 1994 · 2.4K citations

, , +17

SIS : A System for Sequential Circuit Synthesis

Ellen Sentovich · 1992 · 1.9K citations

, , +17

Binary Decision Diagrams

Akers · IEEE Transactions on Computers · 1978 · 1.8K citations

, , +17

MIS: A Multiple-Level Logic Optimization System

Robert K. Brayton, Richard Rudell, Alberto Sangiovanni‐Vincentelli et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1987 · 1.2K citations

, , +16

An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits

 Goel · IEEE Transactions on Computers · 1981 · 1.1K citations

, , +12

1–5 of 972

Authors

1.7K

  1. RK
    Robert K. Brayton

    University of California, Berkeley, United States

    54 publications · 6.5K citations

    35

    h-index

  2. AS
    Alberto Sangiovanni‐Vincentelli

    University of California, Berkeley, United States

    39 publications · 5.1K citations

    28

    h-index

  3. GD
    Giovanni De Micheli

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

    31 publications · 1.3K citations

    21

    h-index

  4. AM
    Alan Mishchenko

    University of California, Berkeley, United States

    29 publications · 1.9K citations

    20

    h-index

  5. MP
    Marek Perkowski

    Portland State University, United States

    24 publications · 789 citations

    17

    h-index

1–5 of 1.7K

Institutions

452

  1. University of California, Berkeley

    Berkeley, United States

    42 h-index

    238 publications

    26.8K citations

  2. IBM (United States)

    Armonk, United States

    24 h-index

    57 publications

    5.3K citations

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

    Lausanne, Switzerland

    20 h-index

    74 publications

    2.4K citations

  4. Synopsys (United States)

    Mountain View, United States

    20 h-index

    40 publications

    2.8K citations

  5. IBM Research - Thomas J. Watson Research Center

    Yorktown Heights, United States

    20 h-index

    59 publications

    2.6K citations

  6. University of Illinois Urbana-Champaign

    Urbana, United States

    18 h-index

    52 publications

    2.8K citations

  7. Stanford University

    Stanford, United States

    18 h-index

    50 publications

    2.9K citations

  8. Princeton University

    Princeton, United States

    18 h-index

    36 publications

    1.3K citations

1–8 of 452

Venues

  1. 42

    h-index

  2. IEEE Transactions on Computers

    62 publications · 5.8K citations

    33

    h-index

  3. International Conference on Computer Aided Design

    Conference · 18 publications · 1.6K citations

    15

    h-index

  4. Design Automation Conference

    Conference · 12 publications · 277 citations

    11

    h-index

  5. IEEE Transactions on Electronic Computers

    9 publications · 477 citations

    9

    h-index

1–5