Hardware/picorv32
1
0
Fork 0
mirror of https://github.com/YosysHQ/picorv32.git synced 2025-01-03 03:43:38 -05:00
Code Issues Projects Releases Packages Wiki Activity
picorv32/scripts/smtbmc/axicheck2.smtc
Clifford Wolf 51b1a88333 Added smtbmc axicheck2, improved axicheck
2016-10-01 17:08:19 +02:00

2 lines
35 B
Text
Raw Blame History

initial
assume (= [uut_0] [uut_1])
Reference in a new issue View git blame Copy permalink