blob: ee455614bbcfc8a31893f2d11be982aab38eaaa1 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
name: Test
on: [push, pull_request]
jobs:
formal:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@master
- uses: YosysHQ/setup-oss-cad-suite@v4
- name: Run test
shell: bash
run: |
sby -f dv/formal/regfile/regfile.sby
- name: Upload artifacts
uses: actions/upload-artifact@v7
with:
name: formal-verification
path: |
dv/formal/regfile/regfile_bmc/*
dv/formal/regfile/regfile_cover/*
dv/formal/regfile/regfile_prove/*
|
