Description: Preface.- Acknowledgements.- 1 Introduction.- 1.1 Asynchronous and Synchronous Design.- 1.2 Motivation for Asynchronous Design.- 1.3 Plan of the Book.- 2 Synchronization.- 2.1 Synchronization in Digital Systems.- 2.2 Abstraction in Synchronization.- 2.3 Timing Abstraction in Digital Systems.- 3 Synthesis of Self-Timed Circuits.- 3.1 An Interconnection Scheme.- 3.2 Circuit Behavioral Description.- 3.3 Interconnection Circuit Specifications.- 3.4 Weakest Semi-Modular Constraints.- 3.5 Synthesis Procedure and the C-Element.- 3.6 Interconnection Design Examples.- 4 Self-Timed Programmable Processors.- 4.1 A Programmable Signal Processor.- 4.2 Data Flow Control.- 4.3 Program Flow Control.- 4.4 Processor Architecture.- 4.5 simulation and performance evaluation.- 5 A Chip Set for Adaptive Filters.- 5.1 Properties of Self-Timed Designs.- 5.2 A Self-Timed Array Multiplier.- 5.3 A Vectorized Adaptive Lattice Filter.- 5.4 Performance Evaluation.- 6 Isochronous Interconnect.- 6.1 Synchronous Interconnect.- 6.2 Anisochronous Interconnect.- 6.3 Synchronization in Digital Communication.- 6.4 Non-Synchronous Interconnect.- 6.5 Architectural Issues.- 6.6 Conclusions.- 7 Automatic Verification.- 7.1 Verification of Self-Timed Circuits.- 7.2 Trace Theory of Finite Automata.- 7.3 Tree Arbiter.- 7.4 Arbiter with Reject.- 7.5 Performance Summary.- Permuted Index.

Please Wait