Concepedia

Hardware Co-verification

Hardware Co-Verification is a verification methodology that integrates hardware and software components within a unified testbench environment to simultaneously validate the functional correctness and timing behavior of hardware designs against their software counterparts through joint simulation or emulation.

53

Publications

1.5K

Citations

208

Authors

78

Institutions

Publications per year

2017–2026

11

Variants

Hardware-software Co-verification

Parents

Publications

53

Methodology for hardware/software co-verification in C/C++

Luc Séméria, Abhijit Ghosh · 2002 · 116 citations

, , +15

ArchC: A SystemC-Based Architecture Description Language

Sandro Rigo, Guido Araújo, Marcus Bartholomeu et al. · 2004 · 98 citations

, , +17

{VRASED}: A Verified Hardware/Software Co-Design for Remote Attestation

Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon et al. · USENIX Security Symposium · 2019 · 89 citations

, , +14

Methodology for hardware/software co-verification in C/C++ (short paper)

Luc Séméria, Abhijit Ghosh · 2000 · 82 citations · Full text

, , +10

An engineering environment for hardware/software co-simulation

D. Becker, Raj K. Singh, Stephen G. Tell · 1992 · 76 citations

, , +17

1–5 of 53

Authors

208

  1. FX
    Fei Xie

    Portland State University, United States

    4 publications · 93 citations

    4

    h-index

  2. BT
    Bassam Tabbara

    University of California, Berkeley, United States

    2 publications · 43 citations

    2

    h-index

  3. DB
    D. Becker

    Duke University, United States

    2 publications · 147 citations

    2

    h-index

  4. SG
    Sabine Glesner

    Technische Universität Berlin, Germany

    2 publications · 49 citations

    2

    h-index

  5. PH
    Paula Herber

    Technische Universität Berlin, Germany

    2 publications · 49 citations

    2

    h-index

1–5 of 208

Institutions

78

  1. University of California, Berkeley

    Berkeley, United States

    4 h-index

    8 publications

    202 citations

  2. Portland State University

    Portland, United States

    4 h-index

    9 publications

    211 citations

  3. Intel (United States)

    Santa Clara, United States

    3 h-index

    3 publications

    149 citations

  4. University of Kaiserslautern

    Kaiserslautern, Germany

    2 h-index

    5 publications

    118 citations

  5. Technische Universität Berlin

    Berlin, Germany

    2 h-index

    4 publications

    85 citations

  6. Synopsys (Switzerland)

    Zurich, Switzerland

    2 h-index

    2 publications

    198 citations

  7. University of Oxford

    Oxford, United Kingdom

    2 h-index

    7 publications

    247 citations

  8. Conexant (United States)

    Irvine, United States

    2 h-index

    4 publications

    84 citations

1–8 of 78

Venues

  1. IBM Journal of Research and Development

    2 publications · 29 citations

    2

    h-index

  2. ACM Transactions on Embedded Computing Systems

    TECS · 2 publications · 44 citations

    2

    h-index

  3. 1

    h-index

  4. Electronics

    1 publications · 21 citations

    1

    h-index

  5. Journal of Information Processing Systems

    1 publications · 10 citations

    1

    h-index

1–5