-
Notifications
You must be signed in to change notification settings - Fork 0
35 lines (32 loc) · 979 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
31
32
33
34
35
name: sby Formal Verification
on:
push:
pull_request:
workflow_dispatch:
schedule:
- cron: '0 0 * * 0' # weekly
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