|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910146070003321 |
|
|
Autore |
Fant Karl M |
|
|
Titolo |
Logically determined design [[electronic resource] ] : clockless system design with NULL convention logic / / Karl M. Fant |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Hoboken, NJ, : John Wiley & Sons, 2005 |
|
|
|
|
|
|
|
ISBN |
|
1-280-25243-X |
9786610252435 |
0-470-32394-9 |
0-471-70287-0 |
0-471-70289-7 |
|
|
|
|
|
|
|
|
Edizione |
[1st edition] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (310 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Asynchronous circuits - Design and construction |
Logic, Symbolic and mathematical |
Logic design |
Computer architecture |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"A John Wiley and Sons, Inc. publication." |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. 285-288) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
LOGICALLY DETERMINED DESIGN; CONTENTS; Preface; Acknowledgments; 1. Trusting Logic; 1.1 Mathematicianless Enlivenment of Logic Expression; 1.2 Emulating the Mathematician; 1.3 Supplementing the Expressivity of Boolean Logic; 1.3.1 The Expressional Insufficiency of Boolean Logic; 1.3.2 Supplementing the Logical Expression; 1.3.3 Coordinating Combinational Expressions; 1.3.4 The Complexity Burden of the Time Interval; 1.3.5 Forms of Supplementation Other Than the Time Interval; 1.3.6 The Complexity Burden of Asynchronous Design; 1.3.7 The Cost of Supplementation |
1.4 Defining a Sufficiently Expressive Logic1.4.1 Logically Expressing Data Presentation Boundaries; 1.4.2 Logically Recognizing Data Presentation Boundaries; 1.4.3 Logically Coordinating the Flow of Data; 1.4.4 Mathematicianless Completeness of Expression; 1.5 The Logically Determined System; 1.6 Trusting the Logic: A Methodology of Logical Confidence; 1.7 Summary; 1.8 Exercises; 2. A Sufficiently Expressive Logic; 2.1 Searching for a New Logic; 2.1.1 Expressing Discrete Data |
|
|
|
|