Surelog parses more attributes for nets, modules, while at it support formal at… #5959
alaindargelasmain.yml
on: pull_request
Matrix: build-binaries
Build tools
11m 11s
Emit Workflow Info
0s
Style check
1m 47s
Verify README Correctness (Installation From Sources)
44m 0s
Matrix: Large Designs Tests / opentitan_parse_report
Matrix: Parsing Tests / parsing-tests
Large Designs Tests
/
Ibex (Vivado synthesis)
6m 41s
Large Designs Tests
/
Ibex (F4PGA synthesis)
11m 9s
Large Designs Tests
/
Opentitan 9d82960888 (synthesis)
29m 30s
Large Designs Tests
/
Opentitan (synthesis)
1h 4m
Large Designs Tests
/
VeeR-EH1 (synthesis)
5m 28s
Large Designs Tests
/
Black Parrot (AMD (Xilinx) FPGA synthesis)
14m 10s
Large Designs Tests
/
Black Parrot (ASIC synthesis)
39m 44s
Large Designs Tests
/
Black Parrot (AMD (Xilinx) with PySynlig)
33m 19s
Diff generated BSG Micro Designs tests
/
Parse and diff BSG Micro Designs
6m 50s
Matrix: Formal Verification Tests / tests-formal-verification
Parsing Tests
/
Generate AST diff
0s
Parsing Tests
/
Summary Generation
1m 43s
Verify README Correctness (Download And Run Release)
0s
Annotations
7 warnings
|
Large Designs Tests / VeeR-EH1 (synthesis)
No files were found with the provided path: tests/build/chipsalliance.org_cores_VeeR_EH1_1.9/synth-vivado/chipsalliance.org_cores_VeeR_EH1_1.9.edif. No artifacts will be uploaded.
|
|
Diff generated BSG Micro Designs tests / Parse and diff BSG Micro Designs
Some generated tests differ from the reference or were not generated at all. Check the test statuses in the workflow summary or `bsg_micro_designs_summary.md` in the artifacts.
|
|
Formal Verification Tests / yosys
No files were found with the provided path: yosys_formal_verification_logs.tar. No artifacts will be uploaded.
|
|
Formal Verification Tests / sv2v
No files were found with the provided path: sv2v_formal_verification_logs.tar. No artifacts will be uploaded.
|
|
Formal Verification Tests / simple
No files were found with the provided path: simple_formal_verification_logs.tar. No artifacts will be uploaded.
|
|
Large Designs Tests / Black Parrot (ASIC synthesis)
No files were found with the provided path: build
third_party/OpenROAD-flow-scripts/logs
third_party/OpenROAD-flow-scripts/reports
third_party/OpenROAD-flow-scripts/results. No artifacts will be uploaded.
|
|
Large Designs Tests / Opentitan (synthesis)
No files were found with the provided path: tests/build/lowrisc_systems_custom_tiny_chip_custom_tiny_nexysvideo_0.1/synth-yosys/lowrisc_systems_custom_tiny_chip_custom_tiny_nexysvideo_0.1.edif. No artifacts will be uploaded.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
binaries-asan
|
288 MB |
|
|
binaries-package
|
22.6 MB |
|
|
binaries-plugin
|
40.9 MB |
|
|
binaries-pysynlig
|
646 MB |
|
|
binaries-release
|
41.4 MB |
|
|
bp_e_bp_unicore_cfg.edif
|
3.9 MB |
|
|
bsg-logs
|
5.47 MB |
|
|
bsg-outputs
|
1.72 MB |
|
|
lowrisc_ibex_top_artya7_surelog_0.1.bit
|
107 KB |
|
|
lowrisc_systems_top_earlgrey_nexysvideo_0.1.bit
|
612 KB |
|
|
opentitan-logs-full
|
5.1 MB |
|
|
opentitan-logs-quick
|
1.52 MB |
|
|
plots_binaries-asan
|
53.7 KB |
|
|
plots_binaries-package
|
32 KB |
|
|
plots_binaries-plugin
|
30.5 KB |
|
|
plots_binaries-pysynlig
|
68 KB |
|
|
plots_binaries-release
|
34.8 KB |
|
|
plots_blackparrot_synth_asic
|
236 KB |
|
|
plots_blackparrot_synth_xilinx
|
92.7 KB |
|
|
plots_blackparrot_synth_xilinx_python
|
197 KB |
|
|
plots_build_tools
|
81.7 KB |
|
|
plots_formal_verification_simple
|
103 KB |
|
|
plots_formal_verification_sv2v
|
101 KB |
|
|
plots_formal_verification_yosys
|
87.5 KB |
|
|
plots_ibex_synth
|
47.9 KB |
|
|
plots_ibex_synth_f4pga
|
81.2 KB |
|
|
plots_opentitan_9d82960888_synth
|
169 KB |
|
|
plots_opentitan_parse_report_full
|
103 KB |
|
|
plots_opentitan_parse_report_quick
|
44.6 KB |
|
|
plots_opentitan_synth
|
337 KB |
|
|
plots_tests_asan_read_systemverilog
|
222 KB |
|
|
plots_tests_asan_read_uhdm
|
167 KB |
|
|
plots_tests_plugin_read_systemverilog
|
36 KB |
|
|
plots_tests_plugin_read_uhdm
|
33.1 KB |
|
|
plots_tests_release_read_systemverilog
|
34.5 KB |
|
|
plots_tests_release_read_uhdm
|
33 KB |
|
|
plots_veer_synth
|
38.4 KB |
|
|
python_bp_e_bp_unicore_cfg.edif
|
3.9 MB |
|
|
results_parsing_tests_asan_read_systemverilog
|
389 KB |
|
|
results_parsing_tests_asan_read_uhdm
|
1.82 MB |
|
|
results_parsing_tests_plugin_read_systemverilog
|
256 KB |
|
|
results_parsing_tests_plugin_read_uhdm
|
1.71 MB |
|
|
results_parsing_tests_release_read_systemverilog
|
255 KB |
|
|
results_parsing_tests_release_read_uhdm
|
1.7 MB |
|
|
tools
|
38.9 MB |
|
|
top_artya7.bit
|
121 KB |
|