Concepedia

Combinational Circuit Verification

Combinational Circuit Verification is the formal process of systematically checking whether a combinational circuit correctly implements its specified logical functionality under all possible input conditions, distinguishing it from sequential verification by excluding time-dependent behavior.

127

Publications

4.5K

Citations

248

Authors

109

Institutions

Publications per year

2017–2026

5

Parents

Publications

127

Design of Totally Self-Checking Check Circuits for m-Out-of-n Codes

Deborah Anderson, Gernot Metze · IEEE Transactions on Computers · 1973 · 377 citations

, , +17

On path selection in combinational logic circuits

Wing-Ning Li, S.M. Reddy, Sartaj Sahni · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1989 · 183 citations

, , +17

Invited Paper: VerilogEval: Evaluating Large Language Models for Verilog Code Generation

Mingjie Liu, Nathaniel Pinckney, Brucek Khailany et al. · 2023 · 159 citations

, , +16

IRSIM: an incremental MOS switch-level simulator

Arturo Salz, Mark Horowitz · 1989 · 152 citations · Full text

, , +16

Test generation and verification for highly sequential circuits

Abhijit Ghosh, Srinivas Devadas, A. Richard Newton · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1991 · 117 citations

, , +17

1–5 of 127

Authors

248

  1. AS
    Alberto Sangiovanni‐Vincentelli

    University of California, Berkeley, United States

    5 publications · 117 citations

    5

    h-index

  2. SM
    Sharad Malik

    Princeton University, United States

    5 publications · 170 citations

    5

    h-index

  3. SR
    S.M. Reddy

    University of Iowa, United States

    5 publications · 316 citations

    5

    h-index

  4. VD
    Vishwani D. Agrawal

    AT&T (United States), United States

    5 publications · 221 citations

    5

    h-index

  5. JJ
    J. Jain

    Fujitsu (United States), United States

    4 publications · 114 citations

    4

    h-index

1–5 of 248

Institutions

109

  1. University of Michigan

    Ann Arbor, United States

    6 h-index

    11 publications

    240 citations

  2. Princeton University

    Princeton, United States

    6 h-index

    8 publications

    272 citations

  3. University of Potsdam

    Potsdam, Germany

    6 h-index

    9 publications

    342 citations

  4. Synopsys (United States)

    Mountain View, United States

    6 h-index

    14 publications

    210 citations

  5. Fujitsu (United States)

    Sunnyvale, United States

    6 h-index

    13 publications

    393 citations

  6. University of Iowa

    Iowa City, United States

    6 h-index

    8 publications

    540 citations

  7. University of California, Berkeley

    Berkeley, United States

    5 h-index

    9 publications

    386 citations

  8. Cadence Design Systems (United States)

    San Jose, United States

    4 h-index

    5 publications

    215 citations

1–8 of 109

Venues

  1. IEEE Transactions on Computers

    12 publications · 846 citations

    12

    h-index

  2. 12

    h-index

  3. Automation and Remote Control

    3 publications · 75 citations

    3

    h-index

  4. International Conference on Computer Aided Design

    Conference · 3 publications · 65 citations

    3

    h-index

  5. Integration

    2 publications · 91 citations

    2

    h-index

1–5