Embedded system design [electronic resource] : modeling, synthesis and verification / Daniel D. Gajski [and others]

Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at different levels of abstraction, such as specification, transaction level and cycle-accurate level. It disc...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Other Authors:	Gajski, Daniel D.
Format:	Electronic eBook
Language:	English
Published:	Dordrecht ; New York : Springer, 2009.
Subjects:	Embedded computer systems > Design. Embedded computer systems > Design and construction.