طراحی system on chip

کتاب Advanced Formal Verification آخرین تحولات در حوزه Verification از دیدگاه کاربر و توسعه دهنده را نشان می دهد. کارشناسان برجسته جهانی روشی اساسی از ابزار Verification امروزی و حالات عملی صنعتی را توصیف می کنند. در بخش اول کتاب به معرفی تکنیک های اصلی از ابزار verification رسمی امروزی، مانند SAT و BDDs پرداخته شده است. علاوه بر این، ضرب، که به مشکل بودن شناخته می شود، مورد مطالعه قرار گرفته است. بخش دوم بینشی در مورد ابزار حرفه ای و روش های اساسی، مانند property checking و پاسخ گویی بر مبنای verification را ارائه می دهد. در نهایت، قطعات آنالوگ در مقابل طرح سیستم بر روی تراشه (system on chip designs) مطرح می شود .