# "wchb_linear_fifo_init-e1of2-a-02.prsimrc"
# @haco@ wchb-linear_fifo_init-e1of2-a.haco-a
# @deps@ 1of2_values.txt

channel L e:0 :0 d:2
channel R e:0 :0 d:2

channel-source-loop L 1of2_values.txt
channel-sink R
# !rm wchb-linear_fifo_init-e1of2-a-02-R.txt
channel-log R wchb-linear_fifo_init-e1of2-a-02-R.txt
channel-show-all

# timing random
channel-watch R

mode reset
set _Reset 0
set Reset 1
channel-reset-all
channel-show-all
cycle

mode run
set _Reset 1
set Reset 0
channel-release-all
channel-show-all
step 555

channel-show-all
assert-queue

channel-close R
!cat wchb-linear_fifo_init-e1of2-a-02-R.txt
!rm wchb-linear_fifo_init-e1of2-a-02-R.txt

