Prospects for Hardware Foundations ESPRIT Working Group 8533 NADA - New Hardware Design Methods Survey Chapters /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Möller, Bernhard (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Tucker, John V. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
• Έκδοση: 1st ed. 1998.
• Σειρά: Lecture Notes in Computer Science, 1546
• Θέματα: Logic design.; Logic Design.

Preface VI I X Table of Contents B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group Introduction: NADA and NIL 3 4 The NADA Group Introduction: NADA and NIL 5 6 The NADA Group Introduction: NADA an...

Πίνακας περιεχομένων:

• Introduction: NADA and NIL
• Introduction: NADA and NIL
• I Mathematical Foundations
• Streams, Stream Transformers and Domain Representations
• Ideal Stream Algebra
• Normalization by Evaluation
• II Hardware And Dynamical Systems
• Algebraic Models of Superscalar Microprocessor Implementations: a Case Study
• Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms
• Towards an Algebraic Specification of the Java Virtual Machine
• Grid Protocol Specifications
• The Computational Description of Analogue System Behaviour
• Verification and Deductive Design
• Reasoning about Imperfect Digital Systems
• Formal Verification and Hardware Design with Statecharts
• An Exercise in Conditional Refinement
• Deductive Hardware Design: A Functional Approach.