Mechanized Reasoning Hardware Design
Published on 1. July 1992
Book
Hardback
250 pages
978-0-13-572405-7 (ISBN)
Description
The result of a Royal Society Discussion, this book explores the ways in which mechanized reasoning tools can be used to implement good design. It examines the interplay between logic and tools, exploring theoretical possibilities, costs and practical benefits.
More details
Language
English
Place of publication
Upper Saddle River
United States
Publishing group
Pearson Education (US)
Target group
Professional and scholarly
Dimensions
Height: 240 mm
Width: 180 mm
Thickness: 20 mm
Weight
395 gr
ISBN-13
978-0-13-572405-7 (9780135724057)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Designing chips that work, M.D. May; will proof replace simulation?, C. Pygott; the formalization of an HDL and its use in the FM8502 microprocessor fabrication, W.A. Hunt; using Nupri for hardware verification and synthesis, Miriam Leeser; 20BJ - a system with meta and object level rewriting, J.A. Goguen; the hardware implementation of Esterel, G. Berry; automatic verification of sequential circuit designs, E.M. Clarke; design as goal-directed problem-solving, M.P. Fourman; formal synthesis and dependent types, F.K. Hanna; Occam in the specification and verification of microprocessors, A.W. Roscoe.