91郭肱利

スタティックおよびフォ`マル編^

譜柴サイクルの壼豚粁Aでバグを奮し、功云圻咀盾裂を互堀晒する肝弊旗テクノロジ。

互業のスタティックおよびフォ`マル編^

譜柴サイクルの壼豚粁Aでバグを奮し、功云圻咀盾裂を互堀晒する肝弊旗テクノロジ。

肝弊旗侏スタティックおよびフォ`マル編^ソリュ`ション

皆霞稼看沿壊霞壊のVC Formal?、VC LP?、VC SpyGlass?、SpyGlass?ツ`ルをMみ栽わせることにより、譜柴宀や編^エンジニアは、}jなO協やテストベンチ、スティミュラスを聞喘せずRTLデザインの譜柴フロ`の掲械に壼い粁Aで儻堀に盾裂と_Jができます。これにより、シミュレ`ション念にバグの謹くを奮、俐屎できるため、互堀で森議なシミュレ`ションが辛嬬になり、コスト、rg、垢方をt栽議にpできます。皆霞稼看沿壊霞壊のSpyGlassおよびVC Formal編^ソリュ`ションは、肝弊旗デ`タベ`スとエンジンを児PとしてBされており、掲械に寄トで}jな譜柴の編^に駅勣な否楚とパフォ`マンスを戻工できます。また、VC FormalおよびVC LPでは、y栽されたデザインiみzみ、Design CompilerのTCLサポ`トのように、匯違議なルックアンドフィ`ルが聞喘されているため、すぐgに秘でき、れた聞いやすさとデバッグ來を戻工します。Synopsysはこれらのテクノロジの秘を儻堀晒するための淫凄議なコンサルティングサ`ビスやこれらのテクノロジを人のu瞳譜柴に叨羨てるためのT岑Rを戻工します。