Book Cover
E-book
Author Birmingham, William P

Title Automating the Design of Computer Systems
Published [Place of publication not identified] : CRC Press (CAM) : A K Peters/CRC Press, 1992

Copies

Description 1 online resource
Contents Cover; Half Title; Title Page; Copyright Page; Dedication; Contents; Preface; Acknowledgements; I: The Process of Design; Chapter 1: Introduction; 1.1 Motivation for the Automation of Computer Design; 1.2 Subtasks in Computer Design; 1.3 History of the Automation of Computer Design; 1.4 System-Level Synthesis; Chapter 2: The MICON System; 2.1 Overview; 2.2 Design Domain; 2.3 Related Knowledge-Based Design Tools; 2.4 Project History; II: Automated System-Level Synthesis; Chapter 3: An Introduction to Synthesis; 3.1 The Design Synthesis Problem; 3.2 The Design Model; 3.3 An Illustrative Example
Chapter 4: An Architecture for Automated Design Synthesis4.1 Design Representation; 4.2 The Design Process; 4.3 Putting It All Together; Chapter 5: The M1 System; 5.1 Knowledge-Based Implementation; 5.2 Knowledge Base; 5.3 The MICON Database; 5.4 Knowledge Utilization Example; Chapter 6: Failure Handling; 6.1 Failure Handling Mechanisms; 6.2 Failure Characterization; 6.3 Specification Failure Correction; 6.4 A Failure Correction Example; 6.5 Resource Failures; III: Knowledge Acquisition; Chapter 7: An Introduction to Automated Knowledge Acquisition; 7.1 Expert System Development
7.2 Specialized Knowledge-Acquisition Tools7.3 Knowledge-Acquisition Tool Development Issues; Chapter 8: Knowledge Gathering in CGEN; 8.1 The Problem; 8.2 Presupposing M1; 8.3 Gathering Knowledge; Chapter 9: Generalization Technique; 9.1 Problem Definition; 9.2 The Generalization Approach; 9.3 An Example; 9.4 Issues in Generalization; 9.5 The Nature of Generalization Knowledge; Chapter 10: Modeling M1; 10.1 Engineering M1's Knowledge Base; 10.2 The Models; 10.3 The Development Model; 10.4 The Rule Form Model; 10.5 The Syntax Model; 10.6 A Rule Generation Example; 10.7 Discussion
IV: Examples, Experiments, and ExperiencesChapter 11: A Complete Example; 11.1 Developing a Part Model; 11.2 Synthesis Using M1; 11.3 Getting Prompted for Knowledge Acquisition; 11.4 Knowledge Acquisition Using CGEN; 11.5 Continuing with Synthesis; 11.6 Another Training Session Using CGEN; 11.7 Completing Synthesis Using M1; Chapter 12: CGEN Experimentation; 12.1 Overview; 12.2 Experimental Set-Up; 12.3 Experimental Results; Chapter 13: M1 Experimentation; 13.1 Design Space; 13.2 Capabilities and Limitations; 13.3 Other Designs; Chapter 14: Experience Using MICON; 14.1 General Observations
14.2 User ExperienceV: Extension to Other Domains; Chapter 15: Making MICON Domain-Independent; 15.1 Portable Design Tools; 15.2 The M1DI and CGENDI Architectures; 15.3 Applications; 15.4 Summary; Chapter 16: ASSURE: Automated Design for Dependability; 16.1 Introduction; 16.2 Design for Dependability Methodology; 16.3 ASSURE: Operation; 16.4 ASSURE: Implementation; 16.5 Experimental Results; A: The MICON and DEMETER Design Models; A.1 The DEMETER Design Model; A.2 The MICON Design Model; A.3 Mapping Summary; B: Rule-Base Programming; Bibliography; Index
Summary Addressing the issues of engineering design in computer architecture, this book describes the design and implementation of MICON, a system for automating the synthesis of small computers
Bibliography Includes bibliographical references and index
Notes Vendor-supplied metadata
Subject Computer-aided design.
System design.
computer-aided designs (visual works)
computer-aided design (process)
TECHNOLOGY & ENGINEERING -- Mechanical.
Computer-aided design
System design
Form Electronic book
Author Gupta, Anurag P
Siewiorek, Daniel P
ISBN 9781439865651
1439865655