Prospects for Hardware Foundations: Esprit Working Group 8533 : Nada--New Hardware Design...
by Bernhard Moller and J. V. Tucker
$18.00 At Amazon
Paperback: 468 pages
Publisher: Springer-Verlag Telos May 15, 1999
Language: English
ISBN-10: 3540654615
ISBN-13: 978-3540654612
Product Dimensions:
9 x 6.2 x 1 inches
Shipping Weight: 1.4 pounds
Product Description
This volume is devoted to the theoretical foundations of hardware design. The 12 chapters presented are organized in sections on mathematical foundations of hardware modelling; models of hardware and dynamical systems; and verification and deductive design of systems. The book is a memoir documenting scientific work done by the NADA Working Group within ESPRIT Basic Research Action 8533. The chapters address theoretical topics including stream processing, spatially extended systems, hierarchical structures, and integration of digital analogue models. There are case studies of superscalar processors, the Java Virtual Machine, and biological excitable media; various design and verification techniques are presented.
