دانلود کتاب Assertion-Based Design (به فارسی: طراحی مبتنی بر ادعا) نوشته شده توسط «Harry D. Foster – Adam C. Krolnik – David J. Lacey»
اطلاعات کتاب طراحی مبتنی بر ادعا
موضوع اصلی: سیستم های اطلاعاتی
نوع: کتاب الکترونیکی
ناشر: Kluwer Academic
نویسنده: Harry D. Foster – Adam C. Krolnik – David J. Lacey
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2004
تعداد صفحه: 405
حجم کتاب: 5 مگابایت
کد کتاب: 1402080271 , 9781402080289 , 9781402080272
نوبت چاپ: 2nd
توضیحات کتاب طراحی مبتنی بر ادعا
تمرکز طراحی مبتنی بر ادعا، ویرایش دوم، سه مورد است: – نحوه مشخص کردن ادعاها، – نحوه ایجاد و اتخاذ روشی که از طراحی مبتنی بر ادعا (عمدتا برای طراحی RTL) پشتیبانی می کند، – با ادعاها چه باید کرد و روششناسی زمانی که آنها را داشته باشید. برای پشتیبانی از این سه هدف کلی، ما اشکال متعددی از مشخصات ادعا را به نمایش میگذاریم: کتابخانه تأیید باز Accellera (OVL)، Accellera Property Specification Language (PSL) و Accellera System Verilog. توصیهها و ادعاهایی که ارائه میکنیم. در این کتاب بر اساس تجربیات واقعی ترکیبی ما در به کارگیری روش شناسی مبتنی بر ادعا برای طراحی و تأیید واقعی و همچنین کار ما در توسعه استانداردهای ادعای صنعت است. تفاوت بین نسخه اول و ویرایش دوم شامل موارد زیر است: در نسخههای جدیدتر استانداردها، – تصحیح اشتباهات شناساییشده در طی بازخورد بازبین، – مطالب جدیدی که تکنیکهایی را در مورد چگونگی جلوگیری از خطاهای ابهام رایج ارائه میدهد، – مطالب جدیدی که مدلسازی الزامات سطح بالا برای مشخصات را مورد بحث قرار میدهد.
دانلود کتاب «طراحی مبتنی بر ادعا»