You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: readme.md
+1-1Lines changed: 1 addition & 1 deletion
Original file line number
Diff line number
Diff line change
@@ -37,7 +37,7 @@ It's build script is in `nix/gcd` folder, providing the below attributes:
37
37
*[{tb,formal}-]rtl: SystemVerilog generated from the lowered MLIR bytecode
38
38
* tb-dpi-lib: DPI library written in Rust for both Verilator and VCS
39
39
* verilated[-trace]: C++ simulation executable and libaray generated by Verilator with/without `fst` waveform trace
40
-
* vcs[-trace]: C simulation executable compiled by VCS with/without `fsdb` waveform trace
40
+
* vcs[-trace]: C simulation executable compiled by VCS with/without `fsdb` waveform trace and `urgReport` (coverage report) would be generated under `gcd-sim-result/result/`
41
41
* jg-fpv: Formal Property Verification report generated by JasperGold
42
42
43
43
To get the corresponding output, developers can use:
0 commit comments