Mechanized reasoning and hardware design
著者
書誌事項
Mechanized reasoning and hardware design
(Prentice-Hall International series in computer science)
Prentice Hall, 1992
大学図書館所蔵 件 / 全8件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
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.
目次
- 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.
「Nielsen BookData」 より