An Advanced Simulink Verification Flow Using SystemC.

Kai Hylla Jan-Hendrik Oetjens Wolfgang Nebel

Published in: FDL (Selected Papers) (2008)

Keyphrases

model checking
control system
flow patterns
formal verification
database
real world
decision making
case study
multiscale
information flow
verification method
concurrent systems