Concepedia

Logic Verification

Logic Verification is a systematic methodology within digital logic design that distinguishes itself by formally ensuring the functional correctness of a logic circuit or system with respect to its intended specification through exhaustive or analytical means.

197

Publications

17.6K

Citations

475

Authors

172

Institutions

Publications per year

2017–2026

11

Parents

Publications

197

Graph-Based Algorithms for Boolean Function Manipulation

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

, , +16

Logic verification using binary decision diagrams in a logic synthesis environment

Sharad Malik, A.R. Wang, Robert K. Brayton et al. · 2003 · 509 citations

, , +17

What Good is Temporal Logic

Leslie Lamport · IFIP Congress · 1983 · 445 citations

, , +14

Programmed Algorithms to Compute Tests to Detect and Distinguish Between Failures in Logic Circuits

J. P. Roth, W. G. Bouricius, Peter R. Schneider · IEEE Transactions on Electronic Computers · 1967 · 374 citations

, , +15

IronFleet

Chris Hawblitzel, Jon Howell, Manos Kapritsos et al. · 2015 · 309 citations

, , +17

1–5 of 197

Authors

475

  1. AS
    Alberto Sangiovanni‐Vincentelli

    University of California, Berkeley, United States

    5 publications · 642 citations

    5

    h-index

  2. RK
    Robert K. Brayton

    University of California, Berkeley, United States

    5 publications · 755 citations

    5

    h-index

  3. ND
    Neil Daeche

    University of Kent, United Kingdom

    4 publications · 106 citations

    4

    h-index

  4. RD
    Rolf Drechsler

    University of Bremen, Germany

    4 publications · 139 citations

    4

    h-index

  5. YL
    Yung-Te Lai

    University of Southern California, United States

    4 publications · 360 citations

    4

    h-index

1–5 of 475

Institutions

172

  1. University of California, Berkeley

    Berkeley, United States

    10 h-index

    24 publications

    3.1K citations

  2. Synopsys (United States)

    Mountain View, United States

    7 h-index

    9 publications

    481 citations

  3. University of Southern California

    Los Angeles, United States

    6 h-index

    10 publications

    767 citations

  4. Carnegie Mellon University

    Pittsburgh, United States

    6 h-index

    10 publications

    9.3K citations

  5. University of Arizona

    Tucson, United States

    5 h-index

    6 publications

    404 citations

  6. Stanford University

    Stanford, United States

    5 h-index

    6 publications

    356 citations

  7. University of Michigan

    Ann Arbor, United States

    5 h-index

    9 publications

    336 citations

  8. Imperial College London

    London, United Kingdom

    4 h-index

    10 publications

    289 citations

1–8 of 172

Venues

  1. 11

    h-index

  2. Design Automation Conference

    Conference · 8 publications · 166 citations

    8

    h-index

  3. IEEE Transactions on Computers

    5 publications · 9.1K citations

    5

    h-index

  4. Computer

    3 publications · 129 citations

    3

    h-index

  5. IEEE Transactions on Software Engineering

    TSE · 3 publications · 123 citations

    3

    h-index

1–5