خرید و دانلود نسخه کامل کتاب Functional verification of programmable embedded architectures: a top-down approach

توضیحاتی در مورد کتاب

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