Functional verification of programmable embedded architectures: a top-down approach

Prabhat Mishra, Nikil D. Dutt9780387261430, 0-387-26143-5, 0387263993

Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current System-on-Chip design methodology. A critical challenge in validation of such systems is the lack of a golden reference model. As a result, many existing validation techniques employ a bottom-up approach to design verification, where the functionality of an existing architecture is, in essence, reverse-engineered from its implementation. Traditional validation techniques employ different reference models depending on the abstraction level and verification task, resulting in potential inconsistencies between multiple reference models.This book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the system architect’s knowledge about the behavior of the design through architecture specification using an Architecture Description Language (ADL). The authors also address two fundamental challenges in functional verification: lack of a golden reference model, and lack of a comprehensive functional coverage metric.Functional Verification of Programmable Embedded Architectures: A Top-Down Approach is designed for students, researchers, CAD tool developers, designers, and managers interested in the development of tools, techniques and methodologies for system-level design, microprocessor validation, design space exploration and functional verification of embedded systems.

---

Table of contents :
cover.pdf……Page 1
page_r01.pdf……Page 2
page_r03.pdf……Page 3
page_r04.pdf……Page 4
page_r05.pdf……Page 5
page_r07.pdf……Page 6
page_r08.pdf……Page 7
page_r09.pdf……Page 8
page_r11.pdf……Page 9
page_r12.pdf……Page 10
page_r13.pdf……Page 11
page_r15.pdf……Page 12
page_r16.pdf……Page 13
page_r17.pdf……Page 14
page_r18.pdf……Page 15
page_r19.pdf……Page 16
page_z0001.pdf……Page 17
page_z0003.pdf……Page 18
page_z0004.pdf……Page 19
page_z0005.pdf……Page 20
page_z0006.pdf……Page 21
page_z0007.pdf……Page 22
page_z0008.pdf……Page 23
page_z0009.pdf……Page 24
page_z0010.pdf……Page 25
page_z0011.pdf……Page 26
page_z0012.pdf……Page 27
page_z0013.pdf……Page 28
page_z0015.pdf……Page 29
page_z0016.pdf……Page 30
page_z0017.pdf……Page 31
page_z0018.pdf……Page 32
page_z0019.pdf……Page 33
page_z0020.pdf……Page 34
page_z0021.pdf……Page 35
page_z0022.pdf……Page 36
page_z0023.pdf……Page 37
page_z0024.pdf……Page 38
page_z0025.pdf……Page 39
page_z0026.pdf……Page 40
page_z0027.pdf……Page 41
page_z0028.pdf……Page 42
page_z0029.pdf……Page 43
page_z0030.pdf……Page 44
page_z0031.pdf……Page 45
page_z0032.pdf……Page 46
page_z0033.pdf……Page 47
page_z0034.pdf……Page 48
page_z0035.pdf……Page 49
page_z0036.pdf……Page 50
page_z0037.pdf……Page 51
page_z0038.pdf……Page 52
page_z0039.pdf……Page 53
page_z0040.pdf……Page 54
page_z0041.pdf……Page 55
page_z0042.pdf……Page 56
page_z0043.pdf……Page 57
page_z0044.pdf……Page 58
page_z0045.pdf……Page 59
page_z0046.pdf……Page 60
page_z0047.pdf……Page 61
page_z0048.pdf……Page 62
page_z0049.pdf……Page 63
page_z0050.pdf……Page 64
page_z0051.pdf……Page 65
page_z0052.pdf……Page 66
page_z0053.pdf……Page 67
page_z0054.pdf……Page 68
page_z0055.pdf……Page 69
page_z0056.pdf……Page 70
page_z0057.pdf……Page 71
page_z0058.pdf……Page 72
page_z0059.pdf……Page 73
page_z0060.pdf……Page 74
page_z0061.pdf……Page 75
page_z0062.pdf……Page 76
page_z0063.pdf……Page 77
page_z0065.pdf……Page 78
page_z0066.pdf……Page 79
page_z0067.pdf……Page 80
page_z0068.pdf……Page 81
page_z0069.pdf……Page 82
page_z0070.pdf……Page 83
page_z0071.pdf……Page 84
page_z0072.pdf……Page 85
page_z0073.pdf……Page 86
page_z0074.pdf……Page 87
page_z0075.pdf……Page 88
page_z0076.pdf……Page 89
page_z0077.pdf……Page 90
page_z0078.pdf……Page 91
page_z0079.pdf……Page 92
page_z0080.pdf……Page 93
page_z0081.pdf……Page 94
page_z0082.pdf……Page 95
page_z0083.pdf……Page 96
page_z0084.pdf……Page 97
page_z0085.pdf……Page 98
page_z0086.pdf……Page 99
page_z0087.pdf……Page 100
page_z0088.pdf……Page 101
page_z0089.pdf……Page 102
page_z0090.pdf……Page 103
page_z0091.pdf……Page 104
page_z0092.pdf……Page 105
page_z0093.pdf……Page 106
page_z0095.pdf……Page 107
page_z0096.pdf……Page 108
page_z0097.pdf……Page 109
page_z0098.pdf……Page 110
page_z0099.pdf……Page 111
page_z0100.pdf……Page 112
page_z0101.pdf……Page 113
page_z0102.pdf……Page 114
page_z0103.pdf……Page 115
page_z0104.pdf……Page 116
page_z0105.pdf……Page 117
page_z0106.pdf……Page 118
page_z0107.pdf……Page 119
page_z0108.pdf……Page 120
page_z0109.pdf……Page 121
page_z0110.pdf……Page 122
page_z0111.pdf……Page 123
page_z0112.pdf……Page 124
page_z0113.pdf……Page 125
page_z0114.pdf……Page 126
page_z0115.pdf……Page 127
page_z0116.pdf……Page 128
page_z0117.pdf……Page 129
page_z0119.pdf……Page 130
page_z0121.pdf……Page 131
page_z0122.pdf……Page 132
page_z0123.pdf……Page 133
page_z0125.pdf……Page 134
page_z0127.pdf……Page 135
page_z0128.pdf……Page 136
page_z0129.pdf……Page 137
page_z0130.pdf……Page 138
page_z0131.pdf……Page 139
page_z0132.pdf……Page 140
page_z0133.pdf……Page 141
page_z0134.pdf……Page 142
page_z0135.pdf……Page 143
page_z0136.pdf……Page 144
page_z0137.pdf……Page 145
page_z0138.pdf……Page 146
page_z0139.pdf……Page 147
page_z0141.pdf……Page 148
page_z0142.pdf……Page 149
page_z0143.pdf……Page 150
page_z0144.pdf……Page 151
page_z0145.pdf……Page 152
page_z0146.pdf……Page 153
page_z0147.pdf……Page 154
page_z0148.pdf……Page 155
page_z0149.pdf……Page 156
page_z0151.pdf……Page 157
page_z0152.pdf……Page 158
page_z0153.pdf……Page 159
page_z0154.pdf……Page 160
page_z0155.pdf……Page 161
page_z0156.pdf……Page 162
page_z0157.pdf……Page 163
page_z0158.pdf……Page 164
page_z0159.pdf……Page 165
page_z0160.pdf……Page 166
page_z0161.pdf……Page 167
page_z0162.pdf……Page 168
page_z0163.pdf……Page 169
page_z0164.pdf……Page 170
page_z0165.pdf……Page 171
page_z0166.pdf……Page 172
page_z0167.pdf……Page 173
page_z0168.pdf……Page 174
page_z0169.pdf……Page 175
page_z0170.pdf……Page 176
page_z0171.pdf……Page 177
page_z0172.pdf……Page 178
page_z0173.pdf……Page 179
page_z0174.pdf……Page 180
page_z0175.pdf……Page 181
page_z0176.pdf……Page 182
page_z0177.pdf……Page 183
page_z0178.pdf……Page 184
page_z0179.pdf……Page 185
page_z0180.pdf……Page 186