High-Level Synthesis under Local Timing Constraints

Contents 1 Introduction 1 1.1 Local Timing Constraints . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.3 Problem Formulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.4 Contributions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.5 Thesis Layout . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2 Background and Related Work 11 2.1 High-Level Synthesis of Digital Systems . . . . . . . . . . . . . . . . . . . . . . 11 2.2 The CAMAD High-Level Synthesis System . . . . . . . . . . . . . . . . . . . 13 2.3 Related work . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3 Modelling and Analysis of Local Timing Constraints 23 3.1 Modelling of