Do not inline layers in GCDFormal #69
unlsycnmain.yml
on: pull_request
Build Simulators
3m 15s
Run VCS
3m 11s
Run Verilator
2m 55s
Run Formal Verification
3m 5s
Annotations
4 errors
|
Run Verilator
Process completed with exit code 1.
|
|
Run Formal Verification
Process completed with exit code 1.
|
|
Run VCS
Process completed with exit code 1.
|
|
Build Simulators
Process completed with exit code 1.
|