mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-07 19:51:23 +00:00
Code Activity

support repeat loops with constant repeat counts outside of constant functions

Browse source
This commit is contained in:
Zachary Snow 2019-04-09 12:28:32 -04:00
parent 22035c20ff
commit 5855024ccc
3 changed files with 68 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

10
tests/sat/counters-repeat.ys Normal file
View file

@ -0,0 +1,10 @@
read_verilog counters-repeat.v
proc; opt
expose -shared counter1 counter2
miter -equiv -make_assert -make_outputs counter1 counter2 miter
cd miter; flatten; opt
sat -verify -prove-asserts -tempinduct -set-at 1 in_rst 1 -seq 1 -show-inputs -show-outputs