Modeling embedded systems and SoC's : concurrency and time in models of computation /
Over the last decade, advances in the semiconductor fabrication process have led to the realization of true system-on-a-chip devices. But the theories, methods and tools for designing, integrating and verifying these complex systems have not kept pace with our ability to build them. System level des...
Cote: | Libro Electrónico |
---|---|
Auteur principal: | |
Format: | Électronique eBook |
Langue: | Inglés |
Publié: |
San Francisco :
Morgan Kaufmann,
�2004.
|
Collection: | Morgan Kaufmann series in systems on silicon.
|
Sujets: | |
Accès en ligne: | Texto completo |