?? 　　�。保琙eniSE (Schematic Editor) 是層次化的原理圖設計工具，支持業界廣泛使用的EDIF格式數據，并支持HSPICE, Spice3, CDL, VHDL 和Verilog等多種格式的網表輸出。它同時提供了基本的底層單元庫，方便設計師的使用。

? ?? ?? ?ZeniPDT是新一代交互式版圖編輯器，它將版圖設計能力提升到百萬門級以上規模，其圖形編輯功能豐富，并具備層次化編輯和在線驗證功能。

? ?? ?? ， HSPICE是Synopsys 公司的模擬電路仿真工具。被稱為golden simulator, 多年來得到工業界的廣泛認可。HSPICE擁有先進的算法，并有好的仿真模型支持�？梢詫δ�擬電路進行精確的仿真驗證。

? ?? ?? ?２， Hercules是Synopsys的物理驗證工具�？梢酝瓿蒁RC,LVS,ERC的物理驗證。作為業界主要的物理驗證工具，主流Foundry廠商的主流工藝均對Hercules提供相應的runset文件支持。作為Synopsys Galaxy平臺的主要工具，Hercules與IC complier 有良好的接口。作為Synopsys sign-off工具之一，Hercules不僅具有極好的驗證精度并支持多CPU運行，大大減少了物理驗證所需的時間。

? ??? ZeniSE、ZeniPDT與Synopsys的HSPICE、Hercules等工具緊密結合，為用戶提供全流程IC設計解決方案。