Modeling of Embedded System Behavior
Modeling of Embedded System Behavior. EE298-2 (Fall 2000): Lecture #2 October 3, 2000. Reading. Required [Sgroi00] Sgroi, M.; Lavagno, L.; Sangiovanni-Vincentelli, A. Formal models for embedded system design. IEEE Design & Test of Computers, vol.17, (no.2), IEEE, April-June 2000. p.14-27.
1.35k views • 113 slides