Logically Determined Design: Clockless System Design with NULL Convention Logic

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 Logic

1.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 Presentation Boundaries

2.1.2 Logically Recognizing Discrete Data Presentation Boundaries

2.1.3 The Universality of the NULL Function

2.1.4 Bounding the Behavior of a Combinational Expression

2.1.5 Relationship of 4NCL to Boolean Logic

2.2 Deriving a 3 Value Logic

2.2.1 Expressing 3NCL State-holding Behavior ...