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 a view to determining the computational expense of each versus the gain in accuracy. However, it became clear that some of the proposed approaches in the literature were wrong in that they under� estimated the critical delay of some circuits under reasonable conditions. Further, some other approaches were vague and so of questionable accu� racy. The focus of the research therefore shifted to establishing a theory (the viability theory) and algorithms which could be guaranteed correct, and then using this theory to justify (or not) existing approaches. Our quest was successful enough to justify presenting the full details in a book. After it was discovered that some existing approaches were wrong, it became apparent that the root of the difficulties lay in the attempts to balance computational efficiency and accuracy by separating the tempo� ral and logical (or functional) behaviour of combinational circuits. This separation is the fruit of several unstated assumptions; first, that one can ignore the logical relationships of wires in a network when considering timing behaviour, and, second, that one can ignore timing considerations when attempting to discover the values of wires in a circuit.

Product Description:

Integrating Functional and Temporal Domains in Logic Design How long does an integrated circuit take to compute its function? Behind this question is the difficult and complex false path problem which is addressed here along with a new theory that resolves some of the riddles that arise from naive notions of time and circuits. Time and function are shown to

"About this title" may belong to another edition of this title.

Store Description

Since 2010, the Book Forest has raised over 1 million dollars for participating public libraries. We continue to see 20% or greater growth each year and as much as double the income our individual libraries receive from book sales.

Visit Seller's Storefront

Seller's business information

thebookforest.com
CA, U.S.A.

Terms of Sale:

Shipping Terms:

Orders ship within 24 hours of receipt. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or over sized, we may contact you to let you know extra shipping is required.

Payment Methods
accepted by seller

Bank/Wire Transfer

Add to Wants

Items related to Integrating Functional and Temporal Domains in Logic...

Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications (The Springer International Series in Engineering and Computer Science, 139)

McGeer, Patrick C.; Brayton, Robert K.

New - Hardcover

Seller's business information