ESL Design and Verification (eBook)

Front cover 1
ESL DESIGN AND VERIFICATION 4
Copyright page 5
Table of contents 6
FOREWORD: ESL FROM THE TRENCHES 18
AUTHORS’ ACKNOWLEDGMENTS 20
ABOUT THE AUTHORS 22
ABOUT THE CONTRIBUTORS 24
Chapter 1. WHAT IS ESL? 28
1.1 SO, WHAT IS ESL? 28
1.2 WHO SHOULD READ THIS BOOK 32
1.3 STRUCTURE OF THE BOOK AND HOW TO READ IT 33
1.4 CHAPTER LISTING 34
1.5 THE PRESCRIPTION 36
References 36
Chapter 2. TAXONOMY AND DEFINITIONS FOR THE ELECTRONIC SYSTEM LEVEL 38
2.1 TAXONOMY 38
2.1.1 Introduction 38
2.1.2 Model Taxonomy 39
2.1.3 ESL Taxonomy 41
2.2 DEFINITIONS 56
References 60
Chapter 3. EVOLUTION OF ESL DEVELOPMENT 62
3.1 INTRODUCTION 62
3.2 MOTIVATION FOR ESL DESIGN 64
3.3 TRADITIONAL SYSTEM DESIGN EFFECTIVENESS 66
3.4 SYSTEM DESIGN WITH ESL METHODOLOGY 67
3.5 BEHAVIORAL MODELING METHODOLOGY 68
3.6 BEHAVIORAL MODELING ENVIRONMENTS 71
3.7 HISTORICAL BARRIERS TO ADOPTION OF BEHAVIORAL MODELING 79
3.8 AUTOMATED IMPLEMENTATION OF FIXED-FUNCTION HARDWARE 83
3.9 AUTOMATED IMPLEMENTATION OF PROGRAMMABLE HARDWARE 89
3.10 MAINSTREAMING ESL METHODOLOGY 97
3.11 PROVOCATIVE THOUGHTS 99
3.12 THE PRESCRIPTION 102
References 103
Chapter 4. WHAT ARE THE ENABLERS OF ESL? 108
4.1 TOOL AND MODEL LANDSCAPE 109
4.2 SYSTEM DESIGNER REQUIREMENTS 111
4.3 SOFTWARE TEAM REQUIREMENTS 116
4.4 HARDWARE TEAM REQUIREMENTS 125
4.5 WHO WILL SERVICE THESE DIVERSE REQUIREMENTS? 128
4.6 FREE OR OPEN SOURCE SOFTWARE 129
4.7 SUMMARY 136
4.8 THE PRESCRIPTION 137
References 137
Chapter 5. ESL FLOW 140
5.1 SPECIFICATIONS AND MODELING 142
5.2 PRE-PARTITIONING ANALYSIS 144
5.3 PARTITIONING 146
5.4 POST-PARTITIONING ANALYSIS AND DEBUG 150
5.5 POST-PARTITIONING VERIFICATION 153
5.6 HARDWARE IMPLEMENTATION 154
5.7 SOFTWARE IMPLEMENTATION 157
5.8 USE OF ESL FOR IMPLEMENTATION VERIFICATION 160
5.9 PROVOCATIVE THOUGHTS 164
5.10 SUMMARY 164
5.11 THE PRESCRIPTION 165
References 165
Chapter 6. SPECIFICATIONS AND MODELING 166
6.1 THE PROBLEM OF SPECIFICATION 166
6.2 REQUIREMENTS MANAGEMENT AND PAPER SPECIFICATIONS 170
6.3 ESL DOMAINS 174
6.4 EXECUTABLE SPECIFICATIONS 176
6.5 SOME ESL LANGUAGES FOR SPECIFICATION 180
6.6 PROVOCATIVE THOUGHTS: MODEL-BASED DEVELOPMENT 187
6.7 SUMMARY 196
6.8 THE PRESCRIPTION 197
References 198
Chapter 7. PRE-PARTITIONING ANALYSIS 202
7.1 STATIC ANALYSIS OF SYSTEM SPECIFICATIONS 203
7.2 THE ROLE OF PLATFORM-BASED ESL DESIGN IN PRE-PARTITIONING ANALYSIS 210
7.3 DYNAMIC ANALYSIS 212
7.4 ALGORITHMIC ANALYSIS 213
7.5 ANALYSIS SCENARIOS AND MODELING 216
7.6 DOWNSTREAM USE OF ANALYSIS RESULTS 221
7.7 CASE STUDY: JPEG ENCODING 222
7.8 SUMMARY AND PROVOCATIVE THOUGHTS 227
7.9 THE PRESCRIPTION 228
References 228
Chapter 8. PARTITIONING 232
8.1 INTRODUCTION 232
8.2 FUNCTIONAL DECOMPOSITION 238
8.3 ARCHITECTURE DESCRIPTION 241
8.4 PARTITIONING 253
8.5 THE HARDWARE PARTITION 258
8.6 THE SOFTWARE PARTITION 262
8.7 RECONFIGURABLE COMPUTING 270
8.8 COMMUNICATION IMPLEMENTATION 275
8.9 PROVOCATIVE THOUGHTS 281
8.10 SUMMARY 283
8.11 THE PRESCRIPTION 284
References 284
Chapter 9. POST-PARTITIONING ANALYSIS AND DEBUG 292
9.1 ROLES AND RESPONSIBILITIES 293
9.2 HARDWARE AND SOFTWARE MODELING AND CO-MODELING 296
9.3 PARTITIONED SYSTEMS AND RE-PARTITIONING 302
9.4 PRE-PARTITIONED MODEL COMPONENTS 306
9.5 ABSTRACTION LEVELS 307
9.6 COMMUNICATION SPECIFICATION 311
9.7 DYNAMIC AND STATIC ANALYSES 312
9.8 PROVOCATIVE THOUGHTS 317
9.9 SUMMARY 318
9.10 THE PRESCRIPTION 319
References 320
Chapter 10. POST-PARTITIONING VERIFICATION 322
10.1 INTRODUCTION 323
10.2 VERIFICATION PLANNING 326
10.3 VERIFICATION ENVIRONMENT IMPLEMENTATION 343
10.4 VERIFICATION RESULTS ANALYSIS 346
10.5 ABSTRACT COVERAGE 349
10.6 OTHER APPROACHES 350
10.7 PROVOCATIVE THOUGHTS 354
10.8 SUMMARY 356
10.9 THE PRESCRIPTION 356
References 356
Chapter 11. HARDWARE IMPLEMENTATION 360
11.1 INTRODUCTION 360
11.2 EXTENSIBLE PROCESSORS 361
11.3 DSP COPROCESSORS 362
11.4 CUSTOMIZED VLIW COPROCESSORS 362
11.5 APPLICATION-SPECIFIC COPROCESSORS 363
11.6 HIGH-LEVEL HARDWARE DESIGN FLOW FOR ASICS AND FPGAS 363
11.7 BEHAVIORAL SYNTHESIS 365
11.8 ESL SYNTHESIS 371
11.9 HARDWARE DESIGN OR SILVER BULLET? 393
11.10 DESIGN EXPLORATION 399
11.11 PROVOCATIVE THOUGHTS 401
11.12 SUMMARY 403
11.13 THE PRESCRIPTION 403
References 404
Bibliography 404
Chapter 12. SOFTWARE IMPLEMENTATION 406
12.1 INTRODUCTION 406
12.2 CLASSICAL SOFTWARE DEVELOPMENT METHODS FOR EMBEDDED SYSTEMS AND SOCs 406
12.3 DEVELOPING RUN-TIME SOFTWARE FROM ESL MODELS 411
12.4 DEVELOPING SOFTWARE USING ESL MODELS AS RUN-TIME ENVIRONMENTS 413
12.5 PROVOCATIVE THOUGHTS 422
12.6 SUMMARY 423
12.7 THE PRESCRIPTION 424
References 424
Chapter 13. USE OF ESL FOR IMPLEMENTATION VERIFICATION 426
13.1 WHAT THIS CHAPTER IS NOT ABOUT 427
13.2 POSITIVE AND NEGATIVE VERIFICATION 427
13.3 VERIFICATION FOCUS 428
13.4 CLEAR BOX VERIFICATION 431
13.5 VERIFICATION IP 432
13.6 PROPERTIES AND ASSERTIONS 434
13.7 COVERAGE 439
13.8 SYSTEM VERIFICATION 442
13.9 POST-SILICON DEBUG 443
13.10 PROVOCATIVE THOUGHTS 446
13.11 SUMMARY 447
13.12 THE PRESCRIPTION 448
References 449
Chapter 14. RESEARCH, EMERGING, AND FUTURE PROSPECTS 452
14.1 RESEARCH 452
14.2 GLOBALIZATION 459
14.3 VALUE MIGRATION 462
14.4 EDUCATION 464
14.5 THE HEALTH OF THE COMMERCIAL EDA INDUSTRY 468
14.6 SUMMARY 471
14.7 THE PRESCRIPTION 471
References 472
LIST OF ACRONYMS 474
Index 478