VC Formal

  • qianlong_hub
    了解作者
  • WORD
    开发工具
  • 174.7KB
    文件大小
  • rar
    文件格式
  • 0
    收藏次数
  • 5 积分
    下载积分
  • 0
    下载次数
  • 2022-05-20 14:12
    上传日期
VC Formal 新一代形式化验证 SoC 设计的复杂性要求快速全面的验证方式,以便加速验证和调试,缩短总进度周期,提高可预测性。VC Formal™ 新一代形式化验证解决方案拥有出色的容量、速度和灵活性,可验证某些最艰巨的 SoC 设计挑战,它包括全面的分析和调试技术,能够在 Verdi® 调试平台中快速地找到根本原因。VC Formal 解决方案始终如一地提供更高的性能和容量,发现更多缺陷,针对更大型设计提供更多证据,并通过与 VCS® 功能验证解决方案的本地集成实现更快的覆盖收敛。
VC Formal.rar
  • VC Formal.docx
    186.5KB
内容介绍
<html xmlns="http://www.w3.org/1999/xhtml"> <head> <meta charset="utf-8"> <meta name="generator" content="pdf2htmlEX"> <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1"> <link rel="stylesheet" href="https://static.pudn.com/base/css/base.min.css"> <link rel="stylesheet" href="https://static.pudn.com/base/css/fancy.min.css"> <link rel="stylesheet" href="https://static.pudn.com/prod/directory_preview_static/628738ce16e0ca7141d6e331/raw.css"> <script src="https://static.pudn.com/base/js/compatibility.min.js"></script> <script src="https://static.pudn.com/base/js/pdf2htmlEX.min.js"></script> <script> try{ pdf2htmlEX.defaultViewer = new pdf2htmlEX.Viewer({}); }catch(e){} </script> <title></title> </head> <body> <div id="sidebar" style="display: none"> <div id="outline"> </div> </div> <div id="pf1" class="pf w0 h0" data-page-no="1"><div class="pc pc1 w0 h0"><img class="bi x0 y0 w1 h1" alt="" src="https://static.pudn.com/prod/directory_preview_static/628738ce16e0ca7141d6e331/bg1.jpg"><div class="c x0 y1 w2 h2"><div class="t m0 x1 h3 y2 ff1 fs0 fc0 sc0 ls0 ws0">VC F<span class="_ _0"></span>or<span class="_ _0"></span>mal</div><div class="t m0 x1 h4 y3 ff2 fs1 fc0 sc0 ls0 ws0">&#26032;&#19968;&#20195;&#24418;&#24335;&#21270;&#39564;&#35777;</div><div class="t m0 x1 h5 y4 ff3 fs2 fc1 sc0 ls0 ws0">SoC <span class="ff2">&#35774;&#35745;&#30340;&#22797;&#26434;&#24615;&#35201;&#27714;&#24555;&#36895;&#20840;&#38754;&#30340;&#39564;&#35777;&#26041;&#24335;&#65292;&#20197;&#20415;&#21152;&#36895;&#39564;&#35777;&#21644;&#35843;&#35797;&#65292;&#32553;&#30701;&#24635;&#36827;&#24230;&#21608;&#26399;&#65292;&#25552;&#39640;&#21487;&#39044;&#27979;&#24615;&#12290;</span>VC Formal&#8482; <span class="ff2">&#26032;&#19968;&#20195;&#24418;&#24335;&#21270;&#39564;&#35777;&#35299;&#20915;&#26041;&#26696;</span></div><div class="t m0 x1 h5 y5 ff2 fs2 fc1 sc0 ls0 ws0">&#25317;&#26377;&#20986;&#33394;&#30340;&#23481;&#37327;&#12289;&#36895;&#24230;&#21644;&#28789;&#27963;&#24615;&#65292;&#21487;&#39564;&#35777;&#26576;&#20123;&#26368;&#33392;&#24040;&#30340; <span class="ff3">SoC </span>&#35774;&#35745;&#25361;&#25112;&#65292;&#23427;&#21253;&#25324;&#20840;&#38754;&#30340;&#20998;&#26512;&#21644;&#35843;&#35797;&#25216;&#26415;&#65292;&#33021;&#22815;&#22312; <span class="ff3">Verdi&#174; </span>&#35843;&#35797;&#24179;&#21488;&#20013;&#24555;&#36895;&#22320;&#25214;&#21040;&#26681;</div><div class="t m0 x1 h5 y6 ff2 fs2 fc1 sc0 ls0 ws0">&#26412;&#21407;&#22240;&#12290;<span class="ff3">VC Formal </span>&#35299;&#20915;&#26041;&#26696;&#22987;&#32456;&#22914;&#19968;&#22320;&#25552;&#20379;&#26356;&#39640;&#30340;&#24615;&#33021;&#21644;&#23481;&#37327;&#65292;&#21457;&#29616;&#26356;&#22810;&#32570;&#38519;&#65292;&#38024;&#23545;&#26356;&#22823;&#22411;&#35774;&#35745;&#25552;&#20379;&#26356;&#22810;&#35777;&#25454;&#65292;&#24182;&#36890;&#36807;&#19982; <span class="ff3">VCS&#174; </span>&#21151;&#33021;&#39564;&#35777;&#35299;&#20915;</div><div class="t m0 x1 h5 y7 ff2 fs2 fc1 sc0 ls0 ws0">&#26041;&#26696;&#30340;&#26412;&#22320;&#38598;&#25104;&#23454;&#29616;&#26356;&#24555;&#30340;&#35206;&#30422;&#25910;&#25947;&#12290;</div><div class="t m0 x1 h5 y8 ff3 fs2 fc1 sc0 ls0 ws0">VC Formal <span class="ff2">&#35299;&#20915;&#26041;&#26696;&#21253;&#25324;&#19968;&#25972;&#22871;&#27491;&#24335;&#24212;&#29992;&#31243;&#24207; </span>(App)<span class="ff2">&#65292;&#21253;&#25324;&#23646;&#24615;&#39564;&#35777; </span>(FPV)<span class="ff2">&#12289;&#33258;&#21160;&#25552;&#21462;&#23646;&#24615; </span>(AEP)<span class="ff2">&#12289;&#35206;&#30422;&#20998;&#26512;&#22120; </span>(FCA)<span class="ff2">&#12289;&#36830;&#25509;&#24615;&#26816;&#26597; </span>(CC)<span class="ff2">&#12289;&#26102;&#24207;</span></div><div class="t m0 x1 h5 y9 ff2 fs2 fc1 sc0 ls0 ws0">&#31561;&#25928;&#24615;&#26816;&#26597; <span class="ff3">(SEQ)</span>&#12289;&#23492;&#23384;&#22120;&#39564;&#35777; <span class="ff3">(FRV)</span>&#12289;&#27979;&#35797;&#24179;&#21488;&#20998;&#26512;&#20202; <span class="ff3">(FTA)</span>&#12289;&#24418;&#24335;&#23548;&#33322;&#22120; <span class="ff3">(NAV) </span>&#20197;&#21450;&#29992;&#20110;&#39564;&#35777;&#26631;&#20934;&#24635;&#32447;&#21327;&#35758;&#30340;&#19968;&#32452;&#26029;&#35328; <span class="ff3">IP (AIP</span>&#65289;&#12290;</div><div class="t m0 x1 h4 ya ff2 fs1 fc0 sc0 ls0 ws0">&#21151;&#33021;&#19982;&#20248;&#21183;</div><div class="t m0 x2 h6 yb ff4 fs3 fc1 sc0 ls0 ws0">&#61623;<span class="_ _1"> </span><span class="ff2 fs2 sc1">&#22522;&#20110;&#26029;&#35328;&#30340;&#23646;&#24615;&#39564;&#35777; <span class="ff5 sc0">(FPV)</span>&#65306;<span class="sc0">&#20351;&#29992;&#22522;&#20110;&#24418;&#24335;&#21270;&#35777;&#25454;&#30340;&#25216;&#26415;&#26469;&#39564;&#35777; <span class="ff3">SystemVerilog </span>&#26029;&#35328; <span class="ff3">(SVA) </span>&#23646;&#24615;&#65292;&#30830;&#20445;&#36328;&#25152;&#26377;&#21487;&#33021;&#30340;&#35774;&#35745;&#27963;&#21160;&#30340;&#27491;&#30830;</span></span></div><div class="t m0 x3 h5 yc ff2 fs2 fc1 sc0 ls0 ws0">&#25805;&#20316;&#65292;&#22312;&#20223;&#30495;&#29615;&#22659;&#21487;&#29992;&#20043;&#21069;&#23601;&#33021;&#23454;&#29616;&#39564;&#35777;&#12290;&#39640;&#32423;&#30340;&#26029;&#35328;&#21487;&#35270;&#21270;&#12289;&#23646;&#24615;&#27983;&#35272;&#12289;&#20998;&#32452;&#21644;&#31579;&#36873;&#65292;&#25903;&#25345;&#23545;&#32467;&#26524;&#30340;&#31616;&#21333;&#35775;&#38382;&#12290;</div><div class="t m0 x2 h6 yd ff4 fs3 fc1 sc0 ls0 ws0">&#61623;<span class="_ _1"> </span><span class="ff2 fs2 sc1">&#33258;&#21160;&#25552;&#21462;&#23646;&#24615;&#26816;&#26597; <span class="ff5 sc0">(AEP)</span>&#65306;<span class="sc0">&#33258;&#21160;&#21151;&#33021;&#20998;&#26512;&#65292;&#29992;&#20110;&#20986;&#30028;&#25968;&#32452;&#12289;&#31639;&#26415;&#28322;&#20986;&#12289;<span class="ff3">X </span>&#20998;&#37197;&#12289;&#21516;&#26102;&#35774;&#32622;<span class="ff3">/</span>&#37325;&#32622;&#12289;&#23436;&#20840;&#26696;&#20363;&#12289;&#24182;&#34892;&#24773;&#20917;&#12289;&#22810;&#39537;&#21160;&#22120;<span class="ff3">/</span>&#20914;</span></span></div><div class="t m0 x3 h5 ye ff2 fs2 fc1 sc0 ls0 ws0">&#31361;&#24635;&#32447;&#21644;&#28014;&#21160;&#24635;&#32447;&#26816;&#26597;&#65292;&#26080;&#38656;&#19987;&#38376;&#30340;&#27979;&#35797;&#12290;</div><div class="t m0 x2 h6 yf ff4 fs3 fc1 sc0 ls0 ws0">&#61623;<span class="_ _1"> </span><span class="ff5 fs2">Formal <span class="ff2 sc1">&#35206;&#30422;&#29575;&#20998;&#26512; </span>(FCA)<span class="ff2 sc1">&#65306;<span class="sc0">&#20316;&#20026;&#23545;&#20223;&#30495;&#27969;&#31243;&#30340;&#34917;&#20805;&#65292;<span class="ff3">VC Formal </span>&#25552;&#20379;&#30340;&#35777;&#25454;&#34920;&#26126;&#65292;&#35206;&#30422;&#30446;&#26631;&#20013;&#30340;&#26410;&#35206;&#30422;&#28857;&#23454;&#38469;&#19978;&#26159;&#19981;&#21487;&#36798;&#21040;&#30340;&#65292;&#20174;</span></span></span></div><div class="t m0 x3 h5 y10 ff2 fs2 fc1 sc0 ls0 ws0">&#32780;&#21487;&#20197;&#23558;&#23427;&#20204;&#20174;&#21518;&#32493;&#20998;&#26512;&#20013;&#31227;&#38500;&#65292;&#33410;&#30465;&#22823;&#37327;&#30340;&#20154;&#21147;&#12290;</div><div class="t m0 x2 h6 y11 ff4 fs3 fc1 sc0 ls0 ws0">&#61623;<span class="_ _1"> </span><span class="ff5 fs2">SoC <span class="ff2 sc1">&#32423;&#36830;&#25509;&#24615;&#26816;&#26597; </span>(CC)<span class="ff2 sc1">&#65306;</span><span class="ff3">SoC <span class="ff2">&#32423;&#30340;&#36830;&#25509;&#24615;&#39564;&#35777;&#12290;&#28789;&#27963;&#30340;&#36755;&#20837;&#26684;&#24335;&#26131;&#20110;&#38598;&#25104;&#12290;&#24378;&#22823;&#30340;&#35843;&#35797;&#33021;&#21147;&#65292;&#21253;&#25324;&#20540;&#27880;&#37322;&#12289;&#21407;&#29702;&#22270;&#26597;&#30475;&#12289;&#28304;&#20195;&#30721;&#27983;</span></span></span></div><div class="t m0 x3 h5 y12 ff2 fs2 fc1 sc0 ls0 ws0">&#35272;&#21644;&#20998;&#26512;&#25253;&#21578;&#36895;&#24230;&#20998;&#26512;&#12290;&#33258;&#21160;&#20998;&#26512;&#26410;&#36830;&#25509;&#30340;&#36830;&#25509;&#24615;&#26816;&#26597;&#30340;&#26681;&#26412;&#21407;&#22240;&#65292;&#21487;&#20197;&#22823;&#22823;&#33410;&#30465;&#35843;&#35797;&#26102;&#38388;&#12290;</div><div class="t m0 x2 h6 y13 ff4 fs3 fc1 sc0 ls0 ws0">&#61623;<span class="_ _1"> </span><span class="ff2 fs2 sc1">&#26102;&#24207;&#31561;&#25928;&#24615;&#26816;&#26597; <span class="ff5 sc0">(SEQ)</span>&#65306;<span class="sc0">&#27492;&#21151;&#33021;&#21487;&#20197;&#27604;&#36739;&#35774;&#35745;&#65292;&#22312;&#23492;&#23384;&#22120;&#37325;&#23450;&#26102;&#20043;&#21518;&#65292;&#25554;&#20837;&#29992;&#20110;&#21151;&#32791;&#20248;&#21270;&#25110;&#24494;&#26550;&#26500;&#26356;&#25913;&#30340;&#38376;&#25511;&#26102;&#38047;&#12290;</span></span></div><div class="t m0 x2 h6 y14 ff4 fs3 fc1 sc0 ls0 ws0">&#61623;<span class="_ _1"> </span><span class="ff2 fs2 sc1">&#24418;&#24335;&#23548;&#33322;&#22120; <span class="ff5 sc0">(HAB)</span>&#65306;<span class="sc0">&#20165;&#20351;&#29992;&#32479;&#19968; <span class="ff3">Verdi GUI </span>&#20013;&#30340; <span class="ff3">RTL </span>&#35774;&#35745;<span class="ff6">&#65288;</span>&#20351;&#29992;<span class="ff3">/</span>&#19981;&#20351;&#29992;&#26029;&#35328;&#25110;&#27979;&#35797;&#24179;&#21488;&#65289;<span class="ff6">&#21551;</span>&#29992;&#35843;&#35797;&#21644;<span class="ff6">&#8220;&#20551;</span>&#35774;&#20998;&#26512;<span class="ff6">&#8221;</span>&#12290;</span></span></div><div class="t m0 x2 h6 y15 ff4 fs3 fc1 sc0 ls0 ws0">&#61623;<span class="_ _1"> </span><span class="ff2 fs2 sc1">&#23492;&#23384;&#22120;&#39564;&#35777; <span class="ff5 sc0">(FRV)</span>&#65306;<span class="ff6 sc0">&#24110;&#21161;<span class="ff2">&#20174;&#24418;&#24335;&#19978;&#39564;&#35777;&#37197;&#32622;&#23492;&#23384;&#22120;&#30340;&#34892;&#20026;&#65292;&#22914;</span>&#8220;&#21482;&#35835;&#8221;<span class="ff2">&#12289;</span>&#8220;&#35835;<span class="ff3">/</span>&#20889;&#8221;<span class="ff2">&#25110;</span>&#8220;<span class="ff2">&#22797;</span>&#20301;<span class="ff2">&#20540;</span>&#8221;<span class="ff2">&#31561;</span>&#30456;&#20851;<span class="ff2">&#23646;&#24615;&#65292;</span>&#28040;<span class="ff2">&#38500;&#23450;</span>&#21521;<span class="ff2">&#27979;&#35797;&#38656;&#27714;&#12290;</span></span></span></div></div></div><div class="pi" data-data='{"ctm":[1.611850,0.000000,0.000000,1.611850,0.000000,0.000000]}'></div></div> </body> </html>
评论
    相关推荐