Concepedia

Sequential Circuit Synthesis

Sequential Circuit Synthesis is a formal methodology within digital design that systematically constructs sequential circuits by transforming high-level behavioral specifications into optimized physical realizations comprising interconnected logic gates and memory elements, distinguished from combinational synthesis by its explicit treatment of time-dependent state transitions and feedback mechanisms.

439

Publications

22.1K

Citations

770

Authors

267

Institutions

Publications per year

2017–2026

14

Parents

Publications

439

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

A method for synthesizing sequential circuits

George H. Mealy · Bell System Technical Journal · 1955 · 1K citations

, , +17

Convolutional codes I: Algebraic structure

G. David Forney · IEEE Transactions on Information Theory · 1970 · 772 citations

, , +16

Sequential circuit design using synthesis and optimization

Ellen Sentovich, K.J. Singh, Cho W. Moon et al. · 2003 · 615 citations

, , +17

1–5 of 439

Authors

770

  1. RK
    Robert K. Brayton

    University of California, Berkeley, United States

    30 publications · 2.1K citations

    18

    h-index

  2. AS
    Alberto Sangiovanni‐Vincentelli

    University of California, Berkeley, United States

    18 publications · 1.9K citations

    15

    h-index

  3. SD
    Srinivas Devadas

    Massachusetts Institute of Technology, United States

    18 publications · 960 citations

    14

    h-index

  4. AR
    A. Richard Newton

    University of California, Berkeley, United States

    12 publications · 519 citations

    12

    h-index

  5. KC
    Kwang‐Ting Cheng

    University of California, Santa Barbara, United States

    13 publications · 757 citations

    12

    h-index

1–5 of 770

Institutions

267

  1. University of California, Berkeley

    Berkeley, United States

    30 h-index

    134 publications

    10.1K citations

  2. Massachusetts Institute of Technology

    Cambridge, United States

    16 h-index

    38 publications

    2.3K citations

  3. AT&T (United States)

    Bedminster, United States

    16 h-index

    37 publications

    2K citations

  4. Princeton University

    Princeton, United States

    13 h-index

    23 publications

    718 citations

  5. Stanford University

    Stanford, United States

    11 h-index

    19 publications

    595 citations

  6. Politecnico di Torino

    Turin, Italy

    10 h-index

    28 publications

    631 citations

  7. University of Illinois Urbana-Champaign

    Urbana, United States

    10 h-index

    22 publications

    1.4K citations

  8. Synopsys (United States)

    Mountain View, United States

    10 h-index

    12 publications

    434 citations

1–8 of 267

Venues

  1. 23

    h-index

  2. IEEE Transactions on Computers

    41 publications · 3.3K citations

    23

    h-index

  3. IEEE Transactions on Electronic Computers

    13 publications · 465 citations

    12

    h-index

  4. 5

    h-index

  5. ACM Transactions on Design Automation of Electronic Systems

    TODAES · 5 publications · 233 citations

    5

    h-index

1–5