Synopsys VC Static vW-2024.09 SP1 Linux
Synopsys VC Static Tools ، شرکت Synopsys, Inc. که بهعنوان رهبر فناوری در طراحی مدارهای مجتمع (IC) پیچیده شناخته میشود، نسخه VC Static Tools vS-2021.09 را بهعنوان بخشی از پلتفرم Synopsys Verification Continuum معرفی کرده است. این ابزارها به طراحان و مهندسان تأیید طراحی این امکان را میدهند که در مراحل بسیار ابتدایی جریان طراحی، کدهای RTL را بهسرعت تحلیل و بررسی کنند؛ بدون نیاز به پیکربندیهای پیچیده، تستبنچها یا محرکهای ورودی. پلتفرم Synopsys Verification Continuum که بر پایه ابزارهای سختافزاری و نرمافزاری پیشرو در حوزه تأیید طراحی ساخته شده است، یکپارچگیهای بومی جدیدی ارائه میدهد تا طراحان بتوانند روند دستیابی به تأیید نهایی را تسریع کنند. ابزارهای VC Formal، VC LP، VC SpyGlass، SpyGlass و Timing Constraints Manager از شرکت Synopsys این امکان را فراهم میکنند که طراحان و مهندسان تأیید طراحی بتوانند در مراحل بسیار ابتدایی جریان طراحی، کدهای RTL را بهسرعت تحلیل و بررسی کنند؛ بدون نیاز به پیکربندیهای پیچیده، تستبنچها یا محرکهای ورودی. این رویکرد باعث میشود بسیاری از خطاها پیش از شبیهسازی کشف و رفع شوند که در نتیجه شبیهسازیها سریعتر و کارآمدتر انجام گرفته و هزینه، زمان و تلاش کلی کاهش یابد. راهکارهای VC SpyGlass و VC Formal بر اساس پایگاههای داده و موتورهای نسل جدید ساخته شدهاند تا ظرفیت و کارایی لازم برای تأیید بزرگترین و پیچیدهترین طراحیها را فراهم کنند. علاوه بر این، ابزارهای VC Formal، VC SpyGlass و VC LP با پشتیبانی از خواندن یکپارچه طراحی و رابط کاربری هماهنگ مشابه با Synopsys Design Compiler (به همراه پشتیبانی از Tcl) تجربهای یکسان، پذیرش سریع، سهولت استفاده و اشکالزدایی مؤثر را ممکن میسازند.