| 书目名称 | Integrating Functional and Temporal Domains in Logic Design |
| 副标题 | The False Path Probl |
| 编辑 | Patrick C. McGeer,Robert K. Brayton |
| 视频video | |
| 丛书名称 | The Springer International Series in Engineering and Computer Science |
| 图书封面 |  |
| 描述 | 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 |
| 出版日期 | Book 1991 |
| 关键词 | algorithms; calculus; complexity; design; environment; graph theory; logic; network; networks; programming; tr |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4615-3960-5 |
| isbn_softcover | 978-1-4613-6768-0 |
| isbn_ebook | 978-1-4615-3960-5Series ISSN 0893-3405 |
| issn_series | 0893-3405 |
| copyright | Springer Science+Business Media New York 1991 |
发表于 2025-3-21 16:47:52
