edastudy:eda工具
差别
这里会显示出您选择的修订版和当前版本之间的差别。
| 两侧同时换到之前的修订记录前一修订版后一修订版 | 前一修订版 | ||
| edastudy:eda工具 [2020/01/08 11:04] – [cdc工具] zhangguo | edastudy:eda工具 [2023/03/17 10:12] (当前版本) – 外部编辑 127.0.0.1 | ||
|---|---|---|---|
| 行 5: | 行 5: | ||
| ====== rtl仿真 ====== | ====== rtl仿真 ====== | ||
| - | * vcs | + | * vcs |
| - | * irun | + | * irun & xrun |
| 行 18: | 行 18: | ||
| + | |||
| + | ====== 工具名词解释 ====== | ||
| + | |||
| + | 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 · 最后更改: 2023/03/17 10:12 (外部编辑)