Enhanced Virtual Prototyping for Heterogeneous Systems @2023

nativeda230

Contents
1 Introduction .................................................................. 1
1.1 Electronic System-Level Design and Verification ..................... 3
1.2 Book Contribution ...................................................... 8
1.2.1 Contribution Area 1: AMS Metamorphic Testing
Environment .................................................... 9
1.2.2 Contribution Area 2: AMS Enhanced Code
Coverage Verification Environment............................ 10
1.2.3 Contribution Area 3: AMS Enhanced Functional
Coverage Verification Environment............................ 11
1.2.4 Contribution Area 4: Digital Early Security Validation ....... 12
1.2.5 Contribution Summary ......................................... 12
1.3 Book Organization ...................................................... 13
2 Preliminaries ................................................................. 15
2.1 SystemC ................................................................. 15
2.1.1 Basics............................................................ 16
2.1.2 Transaction-Level Modeling (TLM) ........................... 18
2.2 SystemC AMS .......................................................... 19
2.2.1 Models of Computation (MOC) ............................... 20
2.2.2 Timed Data Flow (TDF)........................................ 20
3 AMS Metamorphic Testing Environment ................................. 23
3.1 MT-Based System-Level Verification Approach ...................... 24
3.1.1 Overview ........................................................ 25
3.1.2 Test-Case Generator ............................................ 25
3.1.3 Metamorphic Relations......................................... 26
3.1.4 Core Properties.................................................. 26
3.2 Metamorphic Testing for RF Amplifiers............................... 26
3.2.1 MT Principle for RF Amplifiers ............................... 27
3.2.2 Identification of Metamorphic Relations ...................... 28
3.2.3 Experimental Evaluation ....................................... 31
3.3 Metamorphic Testing for PLLs......................................... 36
xi
xii Contents
3.3.1 Phase-Locked Loop............................................. 37
3.3.2 MT Principle for Mixed-Signal Interactions .................. 38
3.3.3 Identification of MRs for PLLs ................................ 38
3.3.4 Experiments..................................................... 41
3.4 Summary ................................................................ 43
4 AMS Enhanced Code Coverage Verification Environment ............. 45
4.1 Software Driven Verification for IP Integration ....................... 46
4.1.1 SW Test Qualification Methodology........................... 47
4.1.2 Consistency Demonstration Example.......................... 53
4.1.3 Experimental Results ........................................... 58
4.2 Data Flow Testing for Digital Virtual Prototypes...................... 63
4.2.1 SystemC Running Example .................................... 64
4.2.2 Def–Use Association and Data Flow Testing ................. 66
4.2.3 Data Flow Testing for SystemC ................................ 66
4.2.4 Implementation Details......................................... 72
4.2.5 Experimental Results ........................................... 73
4.3 Data Flow Testing for SystemC AMS Virtual Prototypes............. 74
4.3.1 SystemC AMS Motivating Example ........................... 74
4.3.2 Data Flow Testing for SystemC-AMS TDF Models .......... 76
4.3.3 Implementation Details......................................... 83
4.3.4 Experimental Results ........................................... 84
4.4 Summary ................................................................ 85
5 AMS Enhanced Functional Coverage Verification Environment....... 87
5.1 Preliminaries ............................................................ 90
5.1.1 Functional Coverage ............................................ 90
5.1.2 AMS VP Verification Environment and Deficiencies......... 90
5.2 Enhanced Functional Coverage Verification Environment Setup ..... 91
5.2.1 Running Example: LNA........................................ 92
5.2.2 Environment Setup ............................................. 92
5.3 AMS Functional Coverage-Driven Verification Approach............ 98
5.3.1 Coverage Analysis .............................................. 98
5.3.2 Industrial Case Study ........................................... 101
5.4 Lightweight Coverage Directed Stimuli Generation .................. 104
5.4.1 Revisiting Output Coverage Definition and Collection ....... 104
5.4.2 Lightweight Coverage Analysis................................ 106
5.4.3 Experimental Evaluation ....................................... 113
5.5 Summary ................................................................ 122
6 Digital Early Security Validation........................................... 123
6.1 Static Information Flow Analysis ...................................... 125
6.1.1 Approach Overview ............................................ 125
6.1.2 Data Flow Driven Information Flow Analysis ................ 129
6.1.3 Experimental Results ........................................... 136
6.2 Dynamic Information Flow Analysis .................................. 138
Contents xiii
6.2.1 Motivating Example and Threat Models ...................... 138
6.2.2 Dynamic IFT Methodology .................................... 142
6.2.3 Experimental Evaluation ....................................... 149
6.3 Summary ................................................................ 154
7 Conclusion .................................................................... 155
7.1 Future Directions........................................................ 157
Bibliography ...................................................................... 159
Index ............................................................................... 165


看起来主要内容是混合信号的验证了

harold

thank you