Table of Contents

1 Application-driven synthesis methodologies for real-time processor architectures.- 1 Problem description.- 2 State-of-the-art and beyond.- 3 Contribution of this book.- 4 System specification model.- 5 Synthesis of array processors.- 6 Synthesis of multiplexed processors.- 7 Chapter overview.- 8 Conclusion.- References.- 2 Behavioral specification for synthesis.- 1 Introduction.- 2 The ASCIS data flow graph.- 3 Input specification languages.- 4 Conclusion.- References.- 3 Formal methods for solving the algebraic path problem.- 1 Introduction.- 2 The algebraic path problem.- 3 Pioneering systolic APP designs.- 4 Advanced systolic APP designs.- 5 Extending synthesis methods.- 6 Partitioning issues.- 7 Conclusion.- References.- 4 HiFi: from parallel algorithm to fixed-size VLSI processor array.- 1 Introduction.- 2 Design philosophy.- 3 Algorithmic specification.- 4 Architecture model.- 5 Design trajectory.- 6 Fixed-size architecture design.- 7 Conclusion.- References.- 5 On the design of two-level pipelined processor arrays.- 1 Introduction.- 2 Transformation of nested loops to UREs.- 3 Word-level array design.- 4 Bit-level array design.- 5 Conclusion.- References.- 6 Regular array synthesis for image and video applications.- 1 Introduction.- 2 A design script.- 3 A real-life video application.- 4 Deriving the initial description.- 5 Re-indexing transformations.- 6 Localizing transformations.- 7 Space-time mapping.- 8 Conclusion.- References.- 7 Memory and data-path mapping for image and video applications.- 1 Introduction.- 2 High-level memory management.- 3 High-level data-path mapping.- 4 Conclusion.- References.- 8 Automatic synthesis for mechatronic applications.- 1 Introduction.- 2 System overview.- 3 Application domain and target architecture.- 4 Behavioral synthesis transformations.- 5 Structural synthesis.- 6 Results.- 7 Conclusion.- References.- 9 Synthesis for control-flow-dominated machines.- 1 Introduction.- 2 Integration with existing design environments.- 3 An overview of AMICAL.- 4 Mixing manual and automatic design.- 5 A design example.- 6 Conclusion.- References.- 10 Controller synthesis and verification.- 1 Introduction.- 2 Architecture selection.- 3 Architecture implementation.- 4 Formal verification of finite state machines.- 5 Verification of implementation.- 6 Conclusion.- References.

Promotional Information

Springer Book Archives