edastudy:eda工具
差别
这里会显示出您选择的修订版和当前版本之间的差别。
| 两侧同时换到之前的修订记录前一修订版后一修订版 | 前一修订版 | ||
| edastudy:eda工具 [2020/01/08 11:04] – [cdc工具] zhangguo | edastudy:eda工具 [2026/10/13 22:06] (当前版本) – 外部编辑 127.0.0.1 | ||
|---|---|---|---|
| 行 1: | 行 1: | ||
| - | ====== | + | # 查看rtl |
| * verdi | * verdi | ||
| - | ====== | + | # rtl仿真 |
| + | * vcs (synopsys) | ||
| + | * irun & xrun | ||
| - | * vcs | ||
| - | * irun | ||
| - | |||
| - | |||
| - | ====== cdc工具 ====== | ||
| + | # cdc工具 | ||
| * cdc - questa cdc，用来查看cdc, | * cdc - questa cdc，用来查看cdc, | ||
| * spygalss | * spygalss | ||
| - | ====== | + | # 综合工具 |
| * dc | * dc | ||
| + | |||
| + | # 工具名词解释 | ||
| + | VCS_MX為mixed hdl仿真器，支持vhdl+verilog+sv的混合仿真。 VCS則是verilog+sv的 | ||
| + | VC LP // Low Power Signoff and Static Verification (rtl & post) | ||
| + | VC Forma l // Next-Generation Formal Verification | ||
| + | VC Formal DPV (Datapath Validation) // VC Formal Datapath Validation (DPV) App with integrated HECTOR™ | ||
edastudy/eda工具.1578452652.txt.gz · 最后更改: (外部编辑)