This seminal book presents a new logically determined design methodology for designing clockless circuit systems. The book presents the foundations, architectures and methodologies to implement such systems. Based on logical relationships, it concentrates on digital circuit system complexity and productivity to allow for more reliable, faster and cheaper products.
* Transcends shortcomings of Boolean logic.
* Presents theoritical foundations, architecture and analysis of clockless (asynchronous) circuit design.
* Contains examples and exercises making it ideal for those studying the area.
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.4 Defining a Sufficiently Expressive Logic.
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.2 Deriving a 3 Value Logic.
2.3 Deriving a 2 Value Logic.
2.4 Compromising Logical Completeness.
2.5 Summary.
3. The Structure of Logically Determined Systems.
3.1 The Cycle.
3.2 Basic Pipeline Structures.
3.3 Control Variables and Wavefront Steering.
3.4 The Logically Determined System.
3.5 Initialization.
3.6 Testing.
3.7 Summary.
3.8 Exercises.
4. 2NCL Combinational Expression.
4.1 Function Classification.