HW/SW Co-Verification using Bounded Model Checking (Große et al., 2006)

Paper

First seen 8/6/2026

Last seen 8/6/2026

Evidence 2 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

4 connections

RISC processor introduces → 90% 2e

The RISC processor benchmark used in experiments comes from the HW/SW Co-Verification paper.

Daniel Große authored by → 95% 1e

Daniel Große is listed as an author of the HW/SW Co-Verification paper.

Rolf Drechsler authored by → 95% 1e

Rolf Drechsler is listed as a co-author of the HW/SW Co-Verification paper.

The HW/SW Co-Verification paper uses bounded model checking as its core technique.