picorv32/scripts/smtbmc/axicheck2.smtc

3 lines
35 B
Plaintext
Raw Permalink Normal View History

initial
assume (= [uut_0] [uut_1])