Books written by Daniel D. Gajski

• 

  High — Level Synthesis: Introduction to Chip and System Design

  D.W. Knapp and A.C. Parker, “A Unified Representation for Design Information,” Proceedings of the 7th International Symposium on Computer Hardware Description Languages and their Applications, pp. 337-353, 1985.

• 

  Principles of Digital Design

  This book is designed to facilitate a thorough understanding of fundamental principles without requiring readers to memorize an excess of confusing technological details. Rather than...

• 

  Embedded System Design: Modeling, Synthesis and Verification

  The book concludes with an overview of existing tools along with a design case study outlining the practice of embedded system design. Specifically, this book addresses the following topics in detail: .

• 

  Specification and Design of Embedded Systems

  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...

• 

  SPECC: Specification Language and Methodology

  This book presents the SpecC system-level design language (SLDL) and the corresponding SpecC design methodology.