Designing correct circuits [electronic resource] : workshop jointly organised by the universities of Oxford and Glasgow, 26-28 September 1990, Oxford / Geraint Jones and Mary Sheeran, eds.
This volume contains the papers presented at the workshop on Designing Correct Circuits, jointly organised by the Universities of Oxford and Glasgow, and held in Oxford on 26-28 September 1990. There is a growing interest in the application of software engineering techniques to hardware design. As t...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
London ; New York :
Springer-Verlag,
©1991.
|
| Series: | Workshops in computing.
|
| Subjects: |
| Summary: | This volume contains the papers presented at the workshop on Designing Correct Circuits, jointly organised by the Universities of Oxford and Glasgow, and held in Oxford on 26-28 September 1990. There is a growing interest in the application of software engineering techniques to hardware design. As the complexity of hardware systems grows, and as the cost both in money and time of making design errors becomes more apparent, so there is an eagerness to build on the success of mathematical techniques in program development. The authors consider the application of mathematics to hardware design at several different levels of abstraction and present a good cross-section of current work developing and applying formal methods in circuit design. |
|---|---|
| Item Description: | "Published in collaboration with the British Computer Society." |
| Physical Description: | 1 online resource (viii, 354 pages) : illustrations. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9781447135449 144713544X |
| Source of Description, Etc. Note: | Print version record. |