TY  - SER
AU  - Strehl, K
AU  - Thiele, L
AU  - Gries, M
AU  - Ziegenbein, D
TI  - Funstate-An Internal Design Representation  for  Codesign
KW  -  for mal Verification
KW  - High-Level Synthesis
KW  - Symbolic Scheduling
ER  -