Cover of: Integrating functional and temporal domains in logic design | Patrick C. McGeer Read Online
Share

Integrating functional and temporal domains in logic design the false path problem and its implications by Patrick C. McGeer

  • 955 Want to read
  • ·
  • 25 Currently reading

Published by Kluwer Academic in Boston .
Written in English

Subjects:

  • Logic design -- Data processing.,
  • Integrated circuits -- Very large scale integration -- Computer-aided design.

Book details:

Edition Notes

Includes bibliographical references (p. 203-210) and index.

Statementby Patrick C. McGeer and Robert K. Brayton.
SeriesThe Kluwer international series in engineering and computer science ;, SECS 139., VLSI, computer architecture, and digital signal processing, Kluwer international series in engineering and computer science ;, SECS 139., Kluwer international series in engineering and computer science.
ContributionsBrayton, Robert King.
Classifications
LC ClassificationsTK7868.L6 M4 1991
The Physical Object
Paginationxxii, 212 p. :
Number of Pages212
ID Numbers
Open LibraryOL1536448M
ISBN 100792391632
LC Control Number91014516

Download Integrating functional and temporal domains in logic design

PDF EPUB FB2 MOBI RTF

  Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications / Edition 1 by Patrick C. McGeer, Robert K. Price: $ Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications (The Springer International Series in Engineering and Computer Science) [McGeer, Patrick C., Brayton, Robert K.] on *FREE* shipping on qualifying offers. Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications (The Springer Cited by: Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications (The Springer International Series in Engineering and Computer Science) Pdf , , , , Download; Ebookee Alternative. Get this from a library! Integrating functional and temporal domains in logic design: the false path problem and its implications. [Patrick C McGeer; Robert King Brayton].

Get this from a library! Integrating Functional and Temporal Domains in Logic Design: the False Path Problem and Its Implications. [Patrick C McGeer; Robert K Brayton] -- This book is an extension of one author's doctoral thesis on the false path problem. The work was begun with the idea of systematizing the various solutions to the false path problem that had been. Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications (The Springer International Series in Engineering and Computer Science) by Patrick C. McGeer and Robert K. Brayton. Integrating Functional and Temporal Domains in Logic Design: This book is an extension of one author's doctoral thesis on the false path problem. The work was begun with the idea of systematizing the various solutions to the false path problem that had been proposed in the literature, with. McGeer P.C., Brayton R.K. () Hazard Prevention in Combinational Circuits. In: Integrating Functional and Temporal Domains in Logic Design. The Springer International Series in Engineering and Computer Science (VLSI, Computer Architecture and Digital Signal Processing), vol

This is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a program should be developed hand in hand. It is built around the method first proposed by Dijkstra in his monograph The Discipline of Programming (), involving a "calculus for the derivation of programs."5/5(2). McGeer P.C., Brayton R.K. () The False Path Problem. In: Integrating Functional and Temporal Domains in Logic Design. The Springer International Series in Engineering and Computer Science (VLSI, Computer Architecture and Digital Signal Processing), vol Author: Patrick C. McGeer, Robert K. Brayton. In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am always hungry", "I will eventually be hungry", or "I will be hungry until I eat something"). It is sometimes also used to refer to tense logic, a modal logic-based system of temporal logic introduced by Arthur Prior in the late s. Intelligent Freeway Transportation Systems: Functional Design focuses on the efficient use of resources in the design of ITS. It discusses the principles of top down design starting with objectives and requirements, and provides guidance for the development and evaluation of functional design.