edastudy:eda工具
差别
这里会显示出您选择的修订版和当前版本之间的差别。
| 后一修订版 | 前一修订版 | ||
| edastudy:eda工具 [2019/11/20 14:07] – 创建 zhangguo | edastudy:eda工具 [2023/03/17 10:12] (当前版本) – 外部编辑 127.0.0.1 | ||
|---|---|---|---|
| 行 1: | 行 1: | ||
| + | ====== 查看rtl ====== | ||
| - | * vcs | ||
| * verdi | * verdi | ||
| - | * cdc - questa cdc | + | |
| + | ====== rtl仿真 ====== | ||
| + | |||
| + | * vcs (synopsys) | ||
| + | * irun & xrun | ||
| + | |||
| + | |||
| + | ====== cdc工具 ====== | ||
| + | |||
| + | | ||
| + | * spygalss | ||
| + | |||
| + | ====== 综合工具 ====== | ||
| + | * 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工具.1574230075.txt.gz · 最后更改: 2023/03/17 10:12 (外部编辑)