An Advanced Simulink Verification Flow Using SystemC.

Kai Hylla, Jan-Hendrik Oetjens, Wolfgang Nebel

Browse the full FDL paper archive.