-
Notifications
You must be signed in to change notification settings - Fork 0
30 lines (27 loc) · 896 Bytes
/
formal.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
name: sby Formal Verification
on: [push]
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Get latest sby sources
uses: actions/checkout@v3
with:
repository: YosysHQ/sby
- name: Setup test environment
uses: YosysHQ/setup-oss-cad-suite@v1
- uses: actions/checkout@v2
- name: Install dependencies
uses: ghdl/setup-ghdl-ci@nightly
with:
backend: llvm
- run: |
ghdl --version
$GHDL --version
- name: formal verification
run: |
cd formal/ && sby --yosys "yosys -m ghdl" -f fir_transposed.sby
- name: check results
run: |
cd formal/ && var=$(cat fir_transposed_task_bmc/fir_transposed_task_bmc.xml | grep -o -E 'failures.{0,3}' | head -1 | cut -f2- -d\")
if [ $var = 0 ]; then exit 0; else exit 1; fi