Strehl, K Thiele, L Gries, M Ziegenbein, D <br/><br/>
Funstate-An Internal Design Representation  for  Codesign 

 - 524-544 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/> for mal Verification<br/>High-Level Synthesis<br/>Symbolic Scheduling