Specification and Design of Embedded Systems

by Daniel D. Gajski, Frank Vahid, Sanjiv Narayan, and Jie Gong

0 ratings • 0 reviews • 0 shelved
Book cover for Specification and Design of Embedded Systems

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

For RISC design methodologists and VHDL methodologists; and CAD software developers.

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. KEY TOPICS: 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; a specification example; translation to VHDL; system partitioning; design quality estimation; specification refinement into synthesizable models; and system-design methodology and environment.

  • ISBN10 0131507311
  • ISBN13 9780131507319
  • Publish Date 3 August 1994
  • Publish Status Out of Print
  • Out of Print 15 March 2021
  • Publish Country US
  • Imprint Prentice Hall
  • Format Paperback
  • Pages 472
  • Language English