دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب System-on-a-Chip Verification: Methodology and Techniques
دانلود کتاب تأیید سیستم روی تراشه: روش‌شناسی و تکنیک‌ها
مشخصات کتاب
System-on-a-Chip Verification: Methodology and Techniques
ویرایش: 1 نویسندگان: Prakash Rashinkar, Peter Paterson, Leena Singh سری: ISBN (شابک) : 0792372794, 9780306469954 ناشر: Springer سال نشر: 2000 تعداد صفحات: 393 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 47,000
در صورت تبدیل فایل کتاب System-on-a-Chip Verification: Methodology and Techniques به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید سیستم روی تراشه: روش‌شناسی و تکنیک‌ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید سیستم روی تراشه: روش‌شناسی و تکنیک‌ها
ترکیب عناصر قبلاً مجزا در یک تراشه تنها، مهندسان را با چالش‌هایی برای رویکردهای تأیید سنتی مواجه می‌کند. این راهنما مجموعه‌ای از ابزارها و تکنیک‌هایی را ارائه می‌کند که می‌توانند برای تأیید سیستم روی تراشه (SOC) و کاهش خطای طراحی استفاده شوند. نویسندگان، که برای سیستم‌های طراحی Cadence کار می‌کنند، از سطح سیستم عبور می‌کنند و تأیید، شبیه‌سازی، تأیید مشترک سخت‌افزار/نرم‌افزار، تأیید فهرست شبکه ایستا، و فناوری‌های تأیید فیزیکی را مسدود می‌کنند. توجه ویژه‌ای به تکنیک‌های جدیدتر شده است، از جمله مهاجرت به میز آزمایش، بررسی مدل رسمی و معادل‌سازی، پرده‌بندی، و پوشش کد و مطالب با نمونه‌هایی بر اساس طرح بلوتوث SOC نشان داده شده است.
توضیحاتی درمورد کتاب به خارجی
The combination of previously separate elements into one lone chip presents engineers with challenges to traditional verification approaches. This guide provides a series of tools and techniques that can be employed for system-on-chip (SOC) verification and design error reduction. The authors, who work for Cadence Design Systems, walk through system level and block verification, simulation, hardware/software co-verification, static netlist verification, and physical verification technologies. Particular attention is paid to newer techniques< - >such as testbench migration, formal model and equivalence checking, linting, and code coverage< - >and the material is illustrated by examples based on a Bluetooth SOC design.
فهرست مطالب
Introduction....Pages 1-43
System-level Verification....Pages 45-66
Block-level Verification....Pages 67-127
Analog/Mixed Signal Simulation....Pages 129-151
Simulation....Pages 153-234
Hardware/Software Co-verification....Pages 235-315
Static Netlist Verification....Pages 317-345
Physical Verification and Design Sign-off....Pages 347-358
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Progressive Revolution: Liberal Fascism through the Ages, Vol. II: 2009 Writings
دانلود کتاب Egirama Edo Nogbae (Intensive Edo Grammar)
دانلود کتاب Oracle Solaris 11.2 System Administration Handbook
