Specification and Design of Embedded Systems

Specification and Design of Embedded Systems
Brady Games
Проектирование ПО
Искать в интернет библиотекахКупить


Общедоступная история астрономии в XIX столетии


This is the first book on embedded systems to offer a unified approach to hardware and software specification and design issues ? and the first to outline a new specify-explore-refine paradigm that is presently being used in industry in an ad-hoc manner, but until now has not been formally described. The book addresses the system design methodology from conceptualization to manufacturing using this new paradigm, and shows how this methodology can result in 10x improvement in productivity. Addresses two of the most significant topics in the design of digital systems ? executable system specification and a methodology for system partitioning and refinement into system-level components. Covers models and architectures; specification languages; aspecification example; translation to VHDL; system partitioning; design quality estimation; specification refinement into synthesizable models; and system-design methodology and environment. Contains a complete specification of a model...

Похожие книги

Specification WritingSpecification Writing
Автор: C. J. Willis
Год: 1997
Vickers F.B.11Vickers F.B.11
Автор: Lambert M. Surhone
Год: 2010
Building Services Component Life ManualBuilding Services Component Life Manual
Автор: BPL (Blackwell Publishing Limited)
Год: 2000
.NET & J2EE Interoperability.NET & J2EE Interoperability
Автор: Peltzer D.
Год: 2004