دانلود کتاب Applied Formal Verification: For Digital Circuit Design (به فارسی: تأیید رسمی کاربردی: برای طراحی مدار دیجیتال) نوشته شده توسط «Douglas Perry – Harry Foster»
اطلاعات کتاب تأیید رسمی کاربردی: برای طراحی مدار دیجیتال
موضوع اصلی: 1
نوع: کتاب الکترونیکی
ناشر: McGraw-Hill Professional
نویسنده: Douglas Perry – Harry Foster
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2005
تعداد صفحه: 259
حجم کتاب: 2 مگابایت
کد کتاب: 007144372X
نوبت چاپ: 1
توضیحات کتاب تأیید رسمی کاربردی: برای طراحی مدار دیجیتال
این کتاب که برای مهندسین طراحی سخت‌افزار در نظر گرفته شده است، تکنیک‌های تأیید عمومی را معرفی می‌کند، آنها را با تکنیک‌های تأیید رسمی مقایسه می‌کند و دستورالعمل‌هایی برای ایجاد نیازهای رسمی در سطح بالا ارائه می‌دهد. نویسندگان مفاهیم تأیید رسمی را برای تأیید اعتبار بولی و ترتیبی، بررسی رسمی دارایی، فرآیند ایجاد یک طرح آزمایشی رسمی و تکنیک‌های کاهش وضعیت مورد بحث قرار می‌دهند. ضمائم عبارات PSL رایج مورد استفاده را برای الزامات سطح بالا و الزامات مشابه مشخص شده در نحو سیستم Verilog فهرست می کنند.
دانلود کتاب «تأیید رسمی کاربردی: برای طراحی مدار دیجیتال»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.