1
0
Fork 0
mirror of https://github.com/YosysHQ/picorv32.git synced 2025-01-03 03:43:38 -05:00
picorv32/scripts/smtbmc/axicheck2.smtc
2016-10-01 17:08:19 +02:00

2 lines
35 B
Text

initial
assume (= [uut_0] [uut_1])