Concepedia

Sequential Logic Synthesis

Sequential Logic Synthesis is a formal method within logic synthesis that optimizes and constructs sequential circuits by transforming high-level behavioral specifications into efficient hardware implementations while preserving temporal behavior and minimizing area, delay, or power over clocked systems with memory elements.

218

Publications

11.4K

Citations

400

Authors

163

Institutions

Publications per year

2017–2026

10

Parents

Publications

218

SIS : A System for Sequential Circuit Synthesis

Ellen Sentovich · 1992 · 1.9K citations

, , +17

A method for synthesizing sequential circuits

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

, , +17

Sequential circuit design using synthesis and optimization

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

, , +17

A partial scan method for sequential circuits with feedback

Kwang‐Ting Cheng, Vishwani D. Agrawal · IEEE Transactions on Computers · 1990 · 355 citations

, , +17

Precomputation-based sequential logic optimization for low power

M. Alidina, José Monteiro, Srinivas Devadas et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 1994 · 314 citations

, , +17

1–5 of 218

Authors

400

  1. RK
    Robert K. Brayton

    University of California, Berkeley, United States

    24 publications · 1.4K citations

    16

    h-index

  2. SD
    Srinivas Devadas

    Massachusetts Institute of Technology, United States

    20 publications · 998 citations

    16

    h-index

  3. AS
    Alberto Sangiovanni‐Vincentelli

    University of California, Berkeley, United States

    14 publications · 1.1K citations

    13

    h-index

  4. AR
    A. Richard Newton

    University of California, Berkeley, United States

    13 publications · 531 citations

    12

    h-index

  5. AM
    Alan Mishchenko

    University of California, Berkeley, United States

    10 publications · 318 citations

    10

    h-index

1–5 of 400

Institutions

163

  1. University of California, Berkeley

    Berkeley, United States

    24 h-index

    98 publications

    7K citations

  2. Massachusetts Institute of Technology

    Cambridge, United States

    15 h-index

    31 publications

    2K citations

  3. AT&T (United States)

    Bedminster, United States

    13 h-index

    22 publications

    2.1K citations

  4. Nokia (United States)

    Coppell, United States

    8 h-index

    15 publications

    1.6K citations

  5. Princeton University

    Princeton, United States

    8 h-index

    12 publications

    343 citations

  6. Stanford University

    Stanford, United States

    7 h-index

    11 publications

    358 citations

  7. Synopsys (United States)

    Mountain View, United States

    7 h-index

    7 publications

    238 citations

  8. IBM (United States)

    Armonk, United States

    6 h-index

    7 publications

    250 citations

1–8 of 163

Venues

  1. 18

    h-index

  2. IEEE Transactions on Computers

    19 publications · 837 citations

    15

    h-index

  3. IEEE Transactions on Electronic Computers

    5 publications · 176 citations

    5

    h-index

  4. Electronics Letters

    3 publications · 41 citations

    3

    h-index

  5. Journal of Electronic Testing

    JETTA · 2 publications · 47 citations

    3

    h-index

1–5