Logic Synthesis

Logic Synthesis is an electronic design automation process that transforms an abstract behavioral or register-transfer level specification of digital circuitry into an optimized, technology-mapped gate-level implementation that satisfies given functional and design constraints.

7.7K

Publications

345.2K

Citations

12K

Authors

2.1K

Institutions

Publications per year

2017–2026

917

Parents

Field-programmable Gate ArraysReconfigurable ComputingSystem-on-chip DesignVlsi Design

Children

And-inverter Graph OptimizationApproximate Logic SynthesisArea OptimizationArithmetic Circuit SynthesisBinary Decision Diagram Based SynthesisBoolean Function MinimizationBoolean MatchingCombinational Logic SynthesisCut-based SynthesisDelay Optimization

Publications

7.7K

Graph-Based Algorithms for Boolean Function Manipulation

Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text

Computing, Computer Science, Algorithms +16

An Experiment in Linguistic Synthesis with a Fuzzy Logic Controller

E.H. Mamdani, S. ASSILIAN · International Journal of Human-Computer Studies · 1999 · 5.6K citations

Computing, Computer Science, Artificial Intelligence +7

An experiment in linguistic synthesis with a fuzzy logic controller

S. ASSILIAN · International Journal of Man-Machine Studies · 1975 · 5.6K citations

Computing, Computer Science, Artificial Intelligence +7

Synthesis and optimization of digital circuits

Choice Reviews Online · 1994 · 2.4K citations

Engineering, Computer Engineering, Electrical Engineering +17

Shift-register synthesis and BCH decoding

J. Massey · IEEE Transactions on Information Theory · 1969 · 2.2K citations

Engineering, Computer Engineering, Computer Science +17

1–5 of 7.7K

Authors

12K

RK
Robert K. Brayton
University of California, Berkeley, United States
126 publications · 9.4K citations
46
h-index
AS
Alberto Sangiovanni‐Vincentelli
University of California, Berkeley, United States
101 publications · 9.4K citations
44
h-index
RD
Rolf Drechsler
University of Bremen, Germany
124 publications · 5.5K citations
43
h-index
GD
Giovanni De Micheli
École Polytechnique Fédérale de Lausanne, Switzerland
103 publications · 4.6K citations
37
h-index
RW
Robert Wille
Johannes Kepler University of Linz, Austria
69 publications · 3.8K citations
35
h-index

1–5 of 12K

Institutions

2.1K

1–8 of 2.1K

Venues

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
484 publications · 31.4K citations
89
h-index
IEEE Transactions on Computers
321 publications · 27K citations
64
h-index
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
130 publications · 5.2K citations
38
h-index
International Conference on Computer Aided Design
Conference · 57 publications · 3.3K citations
32
h-index
IEEE Transactions on Electronic Computers
82 publications · 3.6K citations
31
h-index

1–5