Prospects for Hardware Foundations, ESPRIT Working Group 8533

Prospects for Hardware Foundations, ESPRIT Working Group 8533
Год
 
Страниц
 
477
ISBN
 
ISBN10:3540654615
Издатель
 
Springer-Verlag Telos

Описание:

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.

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

Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model CheckingModeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Автор: Doron Drusinsky
Год: 2006
Cryptographic hardware and embedded systems-- CHES 2005: 7th international workshop, Edinburgh, UK, August 29-September 1, 2005: proceedingsCryptographic hardware and embedded systems-- CHES 2005: 7th international workshop, Edinburgh, UK, August 29-September 1, 2005: proceedings
Автор: Josyula Ramachandra Rao,Berk Sunar
Год: 2005
Formal Verification: For Digital Circuit DesignFormal Verification: For Digital Circuit Design
Автор: Perry D.L., Foster H.
Год: 2005
Source-Level Debugging of VHDL DesignsSource-Level Debugging of VHDL Designs
Год: 2010
Scalable Techniques for Formal VerificationScalable Techniques for Formal Verification
Автор: Sandip Ray
Год: 2010
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
Автор: Saddek Bensalem, Doron A. Peled
Год: 2009