Research Catalog
A formal approach to hardware design
- Title
- A formal approach to hardware design / by Jørgen Staunstrup.
- Author
- Staunstrup, J. (Jørgen), 1952-
- Publication
- Boston : Kluwer Academic Publishers, [1994], ©1994.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | TK7874.6 .S73 1994 | Off-site |
Details
- Description
- xiv, 232 pages : illustrations; 25 cm.
- Series Statement
- The Kluwer international series in engineering and computer science ; SECS 253. VLSI, computer architecture and digital signal processing
- Uniform Title
- Kluwer international series in engineering and computer science ; SECS 253.
- Kluwer international series in engineering and computer science. VLSI, computer architecture, and digital signal processing.
- Subject
- Bibliography (note)
- Includes bibliographical references (p. 223-228) and index.
- Contents
- 1. Formal Design Methods -- 2. Designing with Transitions -- 3. Formal Verification -- 4. Synchronous Designs -- 5. Synchronous Realizations -- 6. Refinement -- 7. Self-Timed Circuits -- 8. Towards Larger Designs -- 9. Epilog -- A: Synchronized Transitions Report.
- ISBN
- 0792394275 (acid-free paper)
- LCCN
- 93043582
- OCLC
- 29387403
- ocm29387403
- Owning Institutions
- Columbia University Libraries