Research Catalog

Formal specification and verification of digital systems

Title
Formal specification and verification of digital systems / George Milne.
Author
Milne, George J., 1952-
Publication
London ; New York : McGraw-Hill, [1994], ©1994.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
Not available - Please for assistance.
TextRequest in advance TK7874.65 .M55 1994Off-site

Holdings

Details

Description
xiv, 240 pages : illustrations; 24 cm
Subject
  • Digital integrated circuits > Data processing
  • Integrated circuits > Verification
  • Computer hardware description languages
Bibliography (note)
  • Includes bibliographical references (p. 232-235) and index.
Contents
1. Specification, Verification and Design -- 2. Specifying Hardware Structure -- 3. Specifying the Behaviour of Hardware -- 4. Design Validation: Verification and Simulation -- 5. Modelling Hardware In Higher-Order Logic -- 6. Hardware Verification Using Higher-Order Logic -- 7. A Hardware Description Language Derived from Process Algebra -- 8. Design Verification Using XCircal -- 9. The Circal System -- Appendix: The HOL and Circal Systems.
ISBN
007707811X :
LCCN
93029419
OCLC
  • 28584224
  • ocm28584224
Owning Institutions
Columbia University Libraries