Formal heterogeneous system modeling with SystemC

Conference Object

Abstract: Electronic System Level (ESL) design of embedded systems proposes raising the abstraction level of t

Palabras claves:

Computer aided engineering, Formal specifications, Modeling, Simulation, System-level design

Autores:

Ingo Sander, Jakobsen M.K., Niaki S.H.A., Sulonen T.

Fuentes:

scopus