Concepedia

Software Co-verification

Software Co-Verification is a verification methodology within embedded system design that integrates hardware and software models in a unified simulation environment to validate their functional correctness and dynamic interaction concurrently.

28

Publications

807

Citations

94

Authors

32

Institutions

Publications per year

2017–2026

8

Parents

Publications

28

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

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

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

, , +10

A fast hardware/software co-verification method for system-on-a-chip by using a C/C++ simulator and FPGA emulator with shared register communication

Yuichi Nakamura, Kouhei Hosokawa, Ichiro Kuroda et al. · 2004 · 66 citations

, , +17

HSC-IoT: A Hardware and Software Co-Verification Based Authentication Scheme for Internet of Things

Mahmud Hossain, Shahid Noor, Ragib Hasan · 2017 · 36 citations

, , +17

1–5 of 28

Authors

94

  1. FF
    Franco Fummi

    University of Verona, Italy

    3 publications · 58 citations

    3

    h-index

  2. PD
    Paolo Destro

    University of Verona, Italy

    2 publications · 32 citations

    2

    h-index

  3. WK
    Wolfgang Kunz

    University of Kaiserslautern, Germany

    2 publications · 37 citations

    2

    h-index

  4. AG
    Abhijit Ghosh

    Indian Institute of Technology Kharagpur, India

    2 publications · 198 citations

    2

    h-index

  5. LS
    Luc Séméria

    Stanford University, United States

    2 publications · 198 citations

    2

    h-index

1–5 of 94

Institutions

32

  1. University of Verona

    Verona, Italy

    3 h-index

    10 publications

    200 citations

  2. University of Kaiserslautern

    Kaiserslautern, Germany

    2 h-index

    5 publications

    118 citations

  3. National Cheng Kung University

    Tainan City, Taiwan

    2 h-index

    5 publications

    78 citations

  4. Stanford University

    Stanford, United States

    2 h-index

    2 publications

    198 citations

  5. Synopsys (United States)

    Mountain View, United States

    2 h-index

    2 publications

    198 citations

  6. Seoul National University

    Seoul, South Korea

    2 h-index

    9 publications

    207 citations

  7. Synopsys (Switzerland)

    Zurich, Switzerland

    2 h-index

    2 publications

    198 citations

  8. Hanoi University of Science and Technology

    Hanoi, Vietnam

    1 h-index

    1 publications

    10 citations

1–8 of 32

Venues

  1. IEEE Transactions on Parallel and Distributed Systems

    TPDS · 1 publications · 19 citations

    1

    h-index

  2. 1

    h-index

  3. 2020 IEEE International Systems Conference (SysCon)

    Conference · 1 publications · 11 citations

    1

    h-index

  4. Electronics

    1 publications · 21 citations

    1

    h-index

  5. IFAC-PapersOnLine

    1 publications · 13 citations

    1

    h-index

1–5