initialize load-scm "helper.scm" random set GND 0 set Vdd 1 set Reset 1 mode reset cycle status U watchall set c.dly_cfg[0] 1 set c.dly_cfg[1] 1 set c.dly_cfg[2] 1 set c.dly_cfg[3] 1 set c.in[0].r 0 set c.in[1].r 0 set c.in[2].r 0 set c.in[3].r 0 set c.in[4].r 0 set c.in[5].r 0 set c.in[6].r 0 set c.out.a 0 set Reset 1 cycle status X system "echo '[] Set reset 0'" mode run set Reset 0 cycle system "echo '[] Reset finished'" status X assert-bd-channel-neutral "c.out" 3 assert c.in[0].a 0 assert c.in[1].a 0 assert c.in[2].a 0 assert c.in[3].a 0 assert c.in[4].a 0 assert c.in[5].a 0 assert c.in[6].a 0 system "echo '[] Spiking 3'" set c.in[3].r 1 cycle assert c.in[3].a 1 set c.in[3].r 0 cycle assert c.in[3].a 0 system "echo '[] Spiking 6'" set c.in[6].r 1 cycle assert c.in[6].a 1 set c.in[6].r 0 cycle assert c.in[6].a 0 system "echo '[] Receive 3'" assert-bd-channel-valid "c.out" 3 3 set c.out.a 1 cycle assert-bd-channel-neutral "c.out" 3 set c.out.a 0 cycle system "echo '[] Receive 6'" assert-bd-channel-valid "c.out" 3 6 set c.out.a 1 cycle assert-bd-channel-neutral "c.out" 6 set c.out.a 0 cycle