Concepedia

Assertion-based Debugging

Assertion-Based Debugging is a hardware debugging methodology that employs formal assertions embedded within a design to dynamically monitor and identify deviations from expected behaviors during simulation or execution.

38

Publications

1.6K

Citations

87

Authors

27

Institutions

Publications per year

2017–2026

2

Parents

Publications

38

A practical approach to programming with assertions

David S. Rosenblum · IEEE Transactions on Software Engineering · 1995 · 336 citations

, , +10

A reconfigurable design-for-debug infrastructure for SoCs

M. Abramovici, P. Bradley, Kumar Dwarakanath et al. · 2006 · 276 citations

, , +17

MemSAT

Emina Torlak, Mandana Vaziri, Julian Dolby · 2010 · 81 citations

, , +14

Assertion Checkers in Verification, Silicon Debug and In-Field Diagnosis

M. Boulé, Jean-Samuel Chenard, Željko Žilić · 2007 · 65 citations

, , +17

Assertion-based repair of complex data structures

Bassem Elkarablieh, Iván García, Yuk Lai Suen et al. · 2007 · 60 citations · Full text

, , +11

1–5 of 38

Authors

87

  1. ŽŽ
    Željko Žilić

    McGill University, Canada

    3 publications · 133 citations

    3

    h-index

  2. LD
    Luiz DeRose

    IBM Research - Thomas J. Watson Research Center, United States

    2 publications · 29 citations

    2

    h-index

  3. DA
    David Abramson

    Monash University, Australia

    2 publications · 29 citations

    2

    h-index

  4. JC
    Jean-Samuel Chenard

    McGill University, Canada

    2 publications · 120 citations

    2

    h-index

  5. MN
    Minh Ngoc Dinh

    The University of Queensland, Australia

    2 publications · 29 citations

    2

    h-index

1–5 of 87

Institutions

27

  1. University of California, Berkeley

    Berkeley, United States

    4 h-index

    12 publications

    239 citations

  2. McGill University

    Montreal, Canada

    4 h-index

    11 publications

    476 citations

  3. University of Florida

    Gainesville, United States

    2 h-index

    6 publications

    138 citations

  4. Monash University

    Melbourne, Australia

    2 h-index

    7 publications

    101 citations

  5. Linköping University

    Linköping, Sweden

    2 h-index

    4 publications

    94 citations

  6. Framingham State University

    Framingham, United States

    2 h-index

    12 publications

    1.9K citations

  7. IBM (United States)

    Armonk, United States

    2 h-index

    6 publications

    282 citations

  8. The University of Texas at Austin

    Austin, United States

    2 h-index

    5 publications

    255 citations

1–8 of 27

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 2 publications · 359 citations

    2

    h-index

  2. Journal of Systems and Software

    JSS · 2 publications · 37 citations

    2

    h-index

  3. 1

    h-index

  4. 1

    h-index

  5. IET Computers & Digital Techniques

    1 publications · 30 citations

    1

    h-index

1–5