Optimized timed hardware software cosimulation without roll-back

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 1998, Pages 945-946

  Sung, Wonyong ^a   Ha, Soonhoi ^a  

^a Seoul National University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

BACKPLANES; CONCURRENT EXECUTION; CONTROL PACKETS; COSIMULATION; ROLL BACK;

OPTIMIZATION;

HARDWARE;

EID: 58149112737     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.1998.655981     Document Type: Conference Paper

References (2)

1. S. Edwards, L. Lavagno, E. A. Lee, and A. Sangiovanni-Vincentelli, "Design of Embedded Systems: Formal Methods, Validation, and Synthesis", Proceedings of the IEEE, Vol. 85, No. 3,March 1997.
2. W. Sung and S. Ha, "Hardware Software Cosimulation Back-plane with Automatic Interface Generation", ASPDAC'98, 1998.