axis_test.ys « PRESENTATION_ExOth « manual - yosys - Debian dgit repo for package yosys

summary refs log tree commit diff

path: root/manual/PRESENTATION_ExOth/axis_test.ys

blob: 19663ac7733257897c2631f37394340f093177e6 (plain)

read_verilog -sv axis_master.v axis_test.v
hierarchy -top axis_test

proc; flatten;;
sat -falsify -seq 50 -prove-asserts