Mentor Questa Formal 2021.1
Mentor Questa Formal، این نرم افزار از سوی زیمنس EDA، بخشی از نرم افزار صنایع دیجیتال زیمنس، در پاسخ به پیچیدگی رو به رشد طراحی های SoC همچنان در حال تکامل است. علاوه بر اندازه بزرگ طرح ها، گنجاندن چندین پردازنده تعبیه شده و سیستم های اتصال داخلی پیشرفته، افزایش محتوای نرم افزاری و قابلیت پیکربندی مورد نیاز طرح های مبتنی بر چند پلتفرم، نیازمند یک راه حل تایید کارکردی است که زرادخانه گسترده ای از راه حل های تایید را متحد می کند. Questa به شما اجازه می دهد تا تایید CDC، تایید رسمی، تایید سیگنال ترکیبی، محرک های قابل حمل و دیگر فناوری های قدرتمند را برای به حداکثر رساندن اثربخشی تایید شما در سطح بلاک و زیرسیستم به کار بگیرید تا تایید در سطح سیستم شما بتواند روی قابلیت های سطح سیستم از جمله نرم افزار تمرکز کند، بدون اینکه لازم باشد نگران باگ های سطح پایین که بهره وری شما را از بین می برند، باشید. هیچ کس نمی خواهد کیفیت محصول را به خطر بیندازد. با این حال فشارهای زمانی به بازار بر پروژه های SoC غالب است. ارائه کیفیت در برنامه مستلزم بهبود زمان برای دستیابی به اهداف پوشش و کیفیت و بهبود بهره وری است. Questa Formal به طور ایستا رفتار یک طرح را با توجه به یک مجموعه مشخص از ویژگی ها تجزیه و تحلیل می کند سپس به طور جامع تمام توالی های ورودی ممکن را به روش جستجوی اول گسترده بررسی می کند. این امر خطاهای طراحی را آشکار می کند که در غیر این صورت از دست خواهند رفت یا یافتن آن ها با روش های مبتنی بر شبیه سازی غیر عملی است.