picorv32/scripts/smtbmc/axicheck2.smtc

3 lines
35 B
Plaintext

initial
assume (= [uut_0] [uut_1])