HW/SW CoVerification Performance Estimation and Benchmark for a 24 Embedded RISC Core Design. - Thomas W. Albrecht; Johann Notbauer; Stefan Rohringer (DAC, 1998)

Verification and Management of a Multimillion-Gate Embedded Core Design. - Johann Notbauer; Thomas W. Albrecht; Georg Niedrist; Stefan Rohringer (DAC, 1999)

Functional Validation of Mixed Hardware/Software Systems based on Specification, Partitioning, and Simulation of Test Cases. - Axel Jantsch; Johann Notbauer; Thomas W. Albrecht (Des. Autom. Embed. Syst., 2000)