Functional Validation of Mixed Hardware/Software Systems based on Specification, Partitioning, and Simulation of Test Cases

Axel Jantsch, Johann Notbauer, Thomas W. Albrecht. Functional Validation of Mixed Hardware/Software Systems based on Specification, Partitioning, and Simulation of Test Cases. Design Autom. for Emb. Sys., 5(1):83-113, 2000. [doi]

Abstract

Abstract is missing.