Skip to main content
SpringerLink
Log in

Integrating Functional and Temporal Domains in Logic Design

The False Path Problem and Its Implications

  • Book
  • © 1991

Overview

Authors:
  1. Patrick C. McGeer

    1. University of British Columbia, Canada

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Robert K. Brayton

    1. University of California, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: The Springer International Series in Engineering and Computer Science (SECS, volume 139)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (6 chapters)

  1. Front Matter

    Pages i-xxiii
    Download chapter PDF

  2. Introduction

    • Patrick C. McGeer, Robert K. Brayton
    Pages 1-27

  3. The False Path Problem

    • Patrick C. McGeer, Robert K. Brayton
    Pages 29-53

  4. False Path Detection Algorithms

    • Patrick C. McGeer, Robert K. Brayton
    Pages 55-95

  5. System Considerations and Approximations

    • Patrick C. McGeer, Robert K. Brayton
    Pages 97-124

  6. Hazard Prevention in Combinational Circuits

    • Patrick C. McGeer, Robert K. Brayton
    Pages 125-140

  7. Timing Analysis in Hazard-Free Networks

    • Patrick C. McGeer, Robert K. Brayton
    Pages 141-159

  8. Back Matter

    Pages 161-212
    Download chapter PDF
Back to top

Keywords

About this book

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.

Authors and Affiliations

  • University of British Columbia, Canada

    Patrick C. McGeer

  • University of California, USA

    Robert K. Brayton

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation