ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Functional verification of programmable embedded architectures: a top-down approach

دانلود کتاب تأیید عملکرد معماری های قابل برنامه ریزی قابل برنامه ریزی: رویکرد بالا به پایین

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

مشخصات کتاب

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

دسته بندی: طراحی: معماری
ویرایش: 1 
نویسندگان:   
سری:  
ISBN (شابک) : 9780387261430, 0387263993 
ناشر: Springer 
سال نشر: 2005 
تعداد صفحات: 186 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 مگابایت

قیمت کتاب (تومان) : 33,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 20


در صورت تبدیل فایل کتاب Functional verification of programmable embedded architectures: a top-down approach به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تأیید عملکرد معماری های قابل برنامه ریزی قابل برنامه ریزی: رویکرد بالا به پایین نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب تأیید عملکرد معماری های قابل برنامه ریزی قابل برنامه ریزی: رویکرد بالا به پایین

اعتبارسنجی معماری‌های قابل برنامه‌ریزی، متشکل از هسته‌های پردازنده، پردازنده‌های مشترک و زیرسیستم‌های حافظه، یکی از گلوگاه‌های اصلی در متدولوژی طراحی سیستم روی تراشه فعلی است. یک چالش مهم در اعتبارسنجی چنین سیستم هایی فقدان یک مدل مرجع طلایی است. در نتیجه، بسیاری از تکنیک‌های اعتبارسنجی موجود از یک رویکرد از پایین به بالا برای تأیید طراحی استفاده می‌کنند، جایی که عملکرد یک معماری موجود، در اصل، مهندسی معکوس از اجرای آن است. تکنیک‌های اعتبارسنجی سنتی، بسته به سطح انتزاع و کار راستی‌آزمایی، از مدل‌های مرجع مختلفی استفاده می‌کنند، که منجر به ناسازگاری‌های احتمالی بین مدل‌های مرجع متعدد می‌شود. این کتاب یک روش اعتبارسنجی از بالا به پایین را ارائه می‌کند که رویکردهای موجود از پایین به بالا را تکمیل می‌کند. از دانش معمار سیستم در مورد رفتار طراحی از طریق مشخصات معماری با استفاده از زبان توصیف معماری (ADL) استفاده می کند. نویسندگان همچنین به دو چالش اساسی در راستی‌آزمایی عملکردی می‌پردازند: فقدان یک مدل مرجع طلایی، و فقدان یک متریک پوشش عملکردی جامع. تأیید عملکردی معماری‌های تعبیه‌شده قابل برنامه‌ریزی: یک رویکرد بالا به پایین برای دانشجویان، محققان، توسعه‌دهندگان ابزار CAD طراحی شده است. طراحان و مدیران علاقه مند به توسعه ابزارها، تکنیک ها و متدولوژی ها برای طراحی در سطح سیستم، اعتبارسنجی ریزپردازنده، اکتشاف فضای طراحی و تأیید عملکرد سیستم های تعبیه شده.


توضیحاتی درمورد کتاب به خارجی

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.



فهرست مطالب

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




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی