initialize
load-scm "helper.scm"
random
set GND 0
set Vdd 1
set Reset 1

mode reset
cycle
status U
# watchall
set c.c1_syn_a[0] 0
set c.c2_syn_a[0] 0
set c.c1_nrn_r[0] 0
set c.c2_nrn_r[0] 0
set c.c1_syn_a[1] 0
set c.c2_syn_a[1] 0
set c.c1_nrn_r[1] 0
set c.c2_nrn_r[1] 0
set c.c1_syn_a[2] 0
set c.c2_syn_a[2] 0
set c.c1_nrn_r[2] 0
set c.c2_nrn_r[2] 0
set c.c1_syn_a[3] 0
set c.c2_syn_a[3] 0
set c.c1_nrn_r[3] 0
set c.c2_nrn_r[3] 0
set c.c1_syn_a[4] 0
set c.c2_syn_a[4] 0
set c.c1_nrn_r[4] 0
set c.c2_nrn_r[4] 0
set c.c1_syn_a[5] 0
set c.c2_syn_a[5] 0
set c.c1_nrn_r[5] 0
set c.c2_nrn_r[5] 0
set c.c1_syn_a[6] 0
set c.c2_syn_a[6] 0
set c.c1_nrn_r[6] 0
set c.c2_nrn_r[6] 0
set c.c1_syn_a[7] 0
set c.c2_syn_a[7] 0
set c.c1_nrn_r[7] 0
set c.c2_nrn_r[7] 0
set c.c1_syn_a[8] 0
set c.c2_syn_a[8] 0
set c.c1_nrn_r[8] 0
set c.c2_nrn_r[8] 0
set c.c1_syn_a[9] 0
set c.c2_syn_a[9] 0
set c.c1_nrn_r[9] 0
set c.c2_nrn_r[9] 0
set c.c1_syn_a[10] 0
set c.c2_syn_a[10] 0
set c.c1_nrn_r[10] 0
set c.c2_nrn_r[10] 0
set c.c1_syn_a[11] 0
set c.c2_syn_a[11] 0
set c.c1_nrn_r[11] 0
set c.c2_nrn_r[11] 0
set c.c1_syn_a[12] 0
set c.c2_syn_a[12] 0
set c.c1_nrn_r[12] 0
set c.c2_nrn_r[12] 0
set c.c1_syn_a[13] 0
set c.c2_syn_a[13] 0
set c.c1_nrn_r[13] 0
set c.c2_nrn_r[13] 0
set c.c1_syn_a[14] 0
set c.c2_syn_a[14] 0
set c.c1_nrn_r[14] 0
set c.c2_nrn_r[14] 0
set c.c1_syn_a[15] 0
set c.c2_syn_a[15] 0
set c.c1_nrn_r[15] 0
set c.c2_nrn_r[15] 0
set c.c1_syn_a[16] 0
set c.c2_syn_a[16] 0
set c.c1_nrn_r[16] 0
set c.c2_nrn_r[16] 0
set c.c1_syn_a[17] 0
set c.c2_syn_a[17] 0
set c.c1_nrn_r[17] 0
set c.c2_nrn_r[17] 0
set c.c1_syn_a[18] 0
set c.c2_syn_a[18] 0
set c.c1_nrn_r[18] 0
set c.c2_nrn_r[18] 0
set c.c1_syn_a[19] 0
set c.c2_syn_a[19] 0
set c.c1_nrn_r[19] 0
set c.c2_nrn_r[19] 0
set c.c1_syn_a[20] 0
set c.c2_syn_a[20] 0
set c.c1_nrn_r[20] 0
set c.c2_nrn_r[20] 0
set c.c1_syn_a[21] 0
set c.c2_syn_a[21] 0
set c.c1_nrn_r[21] 0
set c.c2_nrn_r[21] 0
set c.c1_syn_a[22] 0
set c.c2_syn_a[22] 0
set c.c1_nrn_r[22] 0
set c.c2_nrn_r[22] 0
set c.c1_syn_a[23] 0
set c.c2_syn_a[23] 0
set c.c1_nrn_r[23] 0
set c.c2_nrn_r[23] 0
set c.c1_syn_a[24] 0
set c.c2_syn_a[24] 0
set c.c1_nrn_r[24] 0
set c.c2_nrn_r[24] 0
set c.c1_syn_a[25] 0
set c.c2_syn_a[25] 0
set c.c1_nrn_r[25] 0
set c.c2_nrn_r[25] 0
set c.c1_syn_a[26] 0
set c.c2_syn_a[26] 0
set c.c1_nrn_r[26] 0
set c.c2_nrn_r[26] 0
set c.c1_syn_a[27] 0
set c.c2_syn_a[27] 0
set c.c1_nrn_r[27] 0
set c.c2_nrn_r[27] 0
set c.c1_syn_a[28] 0
set c.c2_syn_a[28] 0
set c.c1_nrn_r[28] 0
set c.c2_nrn_r[28] 0
set c.c1_syn_a[29] 0
set c.c2_syn_a[29] 0
set c.c1_nrn_r[29] 0
set c.c2_nrn_r[29] 0
set c.c1_syn_a[30] 0
set c.c2_syn_a[30] 0
set c.c1_nrn_r[30] 0
set c.c2_nrn_r[30] 0
set c.c1_syn_a[31] 0
set c.c2_syn_a[31] 0
set c.c1_nrn_r[31] 0
set c.c2_nrn_r[31] 0
set c.c1_syn_a[32] 0
set c.c2_syn_a[32] 0
set c.c1_nrn_r[32] 0
set c.c2_nrn_r[32] 0
set c.c1_syn_a[33] 0
set c.c2_syn_a[33] 0
set c.c1_nrn_r[33] 0
set c.c2_nrn_r[33] 0
set c.c1_syn_a[34] 0
set c.c2_syn_a[34] 0
set c.c1_nrn_r[34] 0
set c.c2_nrn_r[34] 0
set c.c1_syn_a[35] 0
set c.c2_syn_a[35] 0
set c.c1_nrn_r[35] 0
set c.c2_nrn_r[35] 0
set c.c1_syn_a[36] 0
set c.c2_syn_a[36] 0
set c.c1_nrn_r[36] 0
set c.c2_nrn_r[36] 0
set c.c1_syn_a[37] 0
set c.c2_syn_a[37] 0
set c.c1_nrn_r[37] 0
set c.c2_nrn_r[37] 0
set c.c1_syn_a[38] 0
set c.c2_syn_a[38] 0
set c.c1_nrn_r[38] 0
set c.c2_nrn_r[38] 0
set c.c1_syn_a[39] 0
set c.c2_syn_a[39] 0
set c.c1_nrn_r[39] 0
set c.c2_nrn_r[39] 0
set c.c1_syn_a[40] 0
set c.c2_syn_a[40] 0
set c.c1_nrn_r[40] 0
set c.c2_nrn_r[40] 0
set c.c1_syn_a[41] 0
set c.c2_syn_a[41] 0
set c.c1_nrn_r[41] 0
set c.c2_nrn_r[41] 0
set c.c1_syn_a[42] 0
set c.c2_syn_a[42] 0
set c.c1_nrn_r[42] 0
set c.c2_nrn_r[42] 0
set c.c1_syn_a[43] 0
set c.c2_syn_a[43] 0
set c.c1_nrn_r[43] 0
set c.c2_nrn_r[43] 0
set c.c1_syn_a[44] 0
set c.c2_syn_a[44] 0
set c.c1_nrn_r[44] 0
set c.c2_nrn_r[44] 0
set c.c1_syn_a[45] 0
set c.c2_syn_a[45] 0
set c.c1_nrn_r[45] 0
set c.c2_nrn_r[45] 0
set c.c1_syn_a[46] 0
set c.c2_syn_a[46] 0
set c.c1_nrn_r[46] 0
set c.c2_nrn_r[46] 0
set c.c1_syn_a[47] 0
set c.c2_syn_a[47] 0
set c.c1_nrn_r[47] 0
set c.c2_nrn_r[47] 0
set c.c1_syn_a[48] 0
set c.c2_syn_a[48] 0
set c.c1_nrn_r[48] 0
set c.c2_nrn_r[48] 0
set c.c1_syn_a[49] 0
set c.c2_syn_a[49] 0
set c.c1_nrn_r[49] 0
set c.c2_nrn_r[49] 0
set c.c1_syn_a[50] 0
set c.c2_syn_a[50] 0
set c.c1_nrn_r[50] 0
set c.c2_nrn_r[50] 0
set c.c1_syn_a[51] 0
set c.c2_syn_a[51] 0
set c.c1_nrn_r[51] 0
set c.c2_nrn_r[51] 0
set c.c1_syn_a[52] 0
set c.c2_syn_a[52] 0
set c.c1_nrn_r[52] 0
set c.c2_nrn_r[52] 0
set c.c1_syn_a[53] 0
set c.c2_syn_a[53] 0
set c.c1_nrn_r[53] 0
set c.c2_nrn_r[53] 0
set c.c1_syn_a[54] 0
set c.c2_syn_a[54] 0
set c.c1_nrn_r[54] 0
set c.c2_nrn_r[54] 0
set c.c1_syn_a[55] 0
set c.c2_syn_a[55] 0
set c.c1_nrn_r[55] 0
set c.c2_nrn_r[55] 0
set c.c1_syn_a[56] 0
set c.c2_syn_a[56] 0
set c.c1_nrn_r[56] 0
set c.c2_nrn_r[56] 0
set c.c1_syn_a[57] 0
set c.c2_syn_a[57] 0
set c.c1_nrn_r[57] 0
set c.c2_nrn_r[57] 0
set c.c1_syn_a[58] 0
set c.c2_syn_a[58] 0
set c.c1_nrn_r[58] 0
set c.c2_nrn_r[58] 0
set c.c1_syn_a[59] 0
set c.c2_syn_a[59] 0
set c.c1_nrn_r[59] 0
set c.c2_nrn_r[59] 0
set c.c1_syn_a[60] 0
set c.c2_syn_a[60] 0
set c.c1_nrn_r[60] 0
set c.c2_nrn_r[60] 0
set c.c1_syn_a[61] 0
set c.c2_syn_a[61] 0
set c.c1_nrn_r[61] 0
set c.c2_nrn_r[61] 0
set c.c1_syn_a[62] 0
set c.c2_syn_a[62] 0
set c.c1_nrn_r[62] 0
set c.c2_nrn_r[62] 0
set c.c1_syn_a[63] 0
set c.c2_syn_a[63] 0
set c.c1_nrn_r[63] 0
set c.c2_nrn_r[63] 0
set c.c1_syn_a[64] 0
set c.c2_syn_a[64] 0
set c.c1_nrn_r[64] 0
set c.c2_nrn_r[64] 0
set c.c1_syn_a[65] 0
set c.c2_syn_a[65] 0
set c.c1_nrn_r[65] 0
set c.c2_nrn_r[65] 0
set c.c1_syn_a[66] 0
set c.c2_syn_a[66] 0
set c.c1_nrn_r[66] 0
set c.c2_nrn_r[66] 0
set c.c1_syn_a[67] 0
set c.c2_syn_a[67] 0
set c.c1_nrn_r[67] 0
set c.c2_nrn_r[67] 0
set c.c1_syn_a[68] 0
set c.c2_syn_a[68] 0
set c.c1_nrn_r[68] 0
set c.c2_nrn_r[68] 0
set c.c1_syn_a[69] 0
set c.c2_syn_a[69] 0
set c.c1_nrn_r[69] 0
set c.c2_nrn_r[69] 0
set c.c1_syn_a[70] 0
set c.c2_syn_a[70] 0
set c.c1_nrn_r[70] 0
set c.c2_nrn_r[70] 0
set c.c1_syn_a[71] 0
set c.c2_syn_a[71] 0
set c.c1_nrn_r[71] 0
set c.c2_nrn_r[71] 0
set c.c1_syn_a[72] 0
set c.c2_syn_a[72] 0
set c.c1_nrn_r[72] 0
set c.c2_nrn_r[72] 0
set c.c1_syn_a[73] 0
set c.c2_syn_a[73] 0
set c.c1_nrn_r[73] 0
set c.c2_nrn_r[73] 0
set c.c1_syn_a[74] 0
set c.c2_syn_a[74] 0
set c.c1_nrn_r[74] 0
set c.c2_nrn_r[74] 0
set c.c1_syn_a[75] 0
set c.c2_syn_a[75] 0
set c.c1_nrn_r[75] 0
set c.c2_nrn_r[75] 0
set c.c1_syn_a[76] 0
set c.c2_syn_a[76] 0
set c.c1_nrn_r[76] 0
set c.c2_nrn_r[76] 0
set c.c1_syn_a[77] 0
set c.c2_syn_a[77] 0
set c.c1_nrn_r[77] 0
set c.c2_nrn_r[77] 0
set c.c1_syn_a[78] 0
set c.c2_syn_a[78] 0
set c.c1_nrn_r[78] 0
set c.c2_nrn_r[78] 0
set c.c1_syn_a[79] 0
set c.c2_syn_a[79] 0
set c.c1_nrn_r[79] 0
set c.c2_nrn_r[79] 0
set c.c1_syn_a[80] 0
set c.c2_syn_a[80] 0
set c.c1_nrn_r[80] 0
set c.c2_nrn_r[80] 0
set c.c1_syn_a[81] 0
set c.c2_syn_a[81] 0
set c.c1_nrn_r[81] 0
set c.c2_nrn_r[81] 0
set c.c1_syn_a[82] 0
set c.c2_syn_a[82] 0
set c.c1_nrn_r[82] 0
set c.c2_nrn_r[82] 0
set c.c1_syn_a[83] 0
set c.c2_syn_a[83] 0
set c.c1_nrn_r[83] 0
set c.c2_nrn_r[83] 0
set c.c1_syn_a[84] 0
set c.c2_syn_a[84] 0
set c.c1_nrn_r[84] 0
set c.c2_nrn_r[84] 0
set c.c1_syn_a[85] 0
set c.c2_syn_a[85] 0
set c.c1_nrn_r[85] 0
set c.c2_nrn_r[85] 0
set c.c1_syn_a[86] 0
set c.c2_syn_a[86] 0
set c.c1_nrn_r[86] 0
set c.c2_nrn_r[86] 0
set c.c1_syn_a[87] 0
set c.c2_syn_a[87] 0
set c.c1_nrn_r[87] 0
set c.c2_nrn_r[87] 0
set c.c1_syn_a[88] 0
set c.c2_syn_a[88] 0
set c.c1_nrn_r[88] 0
set c.c2_nrn_r[88] 0
set c.c1_syn_a[89] 0
set c.c2_syn_a[89] 0
set c.c1_nrn_r[89] 0
set c.c2_nrn_r[89] 0


set c.bd_dly_cfg[0] 1
set c.bd_dly_cfg[1] 1
set c.bd_dly_cfg[2] 1
set c.bd_dly_cfg[3] 1

set c.bd_dly_cfg2[0] 1
set c.bd_dly_cfg2[1] 1

# set-bool-array "c.c1_syn_a" 90 0
# set-bool-array "c.c1_nrn_r"  90 0

# set-bool-array "c.c2_syn_a" 90 0
# set-bool-array "c.c2_nrn_r"  90 0

set-bd-channel-neutral "c.in" 32
set c.out.a 0
set c.loopback_en 1
# set c.loopback_en 0
set Reset 1

cycle

mode run
status X
system "echo '[] Set reset 0'"
status X
set Reset 0
cycle

assert-bd-channel-neutral "c.out" 32


# Writing 5 to core 0 address 2
set-bd-data-valid "c.in" 32 1610613058
cycle
set c.in.r 1
cycle
assert c.in.a 1


# Remove input
set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0


    
# Expect register read packet to arrive
# Receiving output 0 from register 0
assert-bd-channel-valid "c.out" 32 1610613058
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

# Disable loopback cus it's annoying
set c.loopback_en 0
cycle



system "echo '[]  Writing 30 to core 1 address 2'"
set-bd-data-valid "c.in" 32 3758098306
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Reading core 1 address 2'"
set-bd-data-valid "c.in" 32 3221225474
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 30 from core 1 register 2'"
assert-bd-channel-valid "c.out" 32 3221227394
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

############ REGISTER READ WRITE MADNESS ##########


system "echo '[]  Writing 6408920 to core 0 address 0'"
set-bd-data-valid "c.in" 32 2020783616
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 3765103 to core 0 address 1'"
set-bd-data-valid "c.in" 32 1851579329
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1599066 to core 0 address 2'"
set-bd-data-valid "c.in" 32 1712952962
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 6209994 to core 0 address 3'"
set-bd-data-valid "c.in" 32 2008052355
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 3869017 to core 0 address 4'"
set-bd-data-valid "c.in" 32 1858229828
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 4194016 to core 0 address 5'"
set-bd-data-valid "c.in" 32 1879029765
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 4328621 to core 0 address 6'"
set-bd-data-valid "c.in" 32 1887644486
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1261935 to core 0 address 7'"
set-bd-data-valid "c.in" 32 1691376583
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 2000611 to core 0 address 8'"
set-bd-data-valid "c.in" 32 1738651848
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 3302177 to core 0 address 9'"
set-bd-data-valid "c.in" 32 1821952073
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1844302 to core 0 address 10'"
set-bd-data-valid "c.in" 32 1728648074
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1045614 to core 0 address 11'"
set-bd-data-valid "c.in" 32 1677532043
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 2086984 to core 0 address 12'"
set-bd-data-valid "c.in" 32 1744179724
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 6215204 to core 0 address 13'"
set-bd-data-valid "c.in" 32 2008385805
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 299518 to core 0 address 14'"
set-bd-data-valid "c.in" 32 1629781902
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 6307472 to core 0 address 15'"
set-bd-data-valid "c.in" 32 2014290959
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 4523524 to core 0 address 16'"
set-bd-data-valid "c.in" 32 1900118288
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 7832943 to core 0 address 17'"
set-bd-data-valid "c.in" 32 2111921105
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 6747353 to core 0 address 18'"
set-bd-data-valid "c.in" 32 2042443346
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 524742 to core 0 address 19'"
set-bd-data-valid "c.in" 32 1644196243
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 3424695 to core 0 address 20'"
set-bd-data-valid "c.in" 32 1829793236
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 4441827 to core 0 address 21'"
set-bd-data-valid "c.in" 32 1894889685
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 94091 to core 0 address 22'"
set-bd-data-valid "c.in" 32 1616634582
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 5799164 to core 0 address 23'"
set-bd-data-valid "c.in" 32 1981759255
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 3352912 to core 0 address 24'"
set-bd-data-valid "c.in" 32 1825199128
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 6181841 to core 0 address 25'"
set-bd-data-valid "c.in" 32 2006250585
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 5915273 to core 0 address 26'"
set-bd-data-valid "c.in" 32 1989190234
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 7910415 to core 0 address 27'"
set-bd-data-valid "c.in" 32 2116879323
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 5461476 to core 0 address 28'"
set-bd-data-valid "c.in" 32 1960147228
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 6198901 to core 0 address 29'"
set-bd-data-valid "c.in" 32 2007342429
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 2681558 to core 0 address 30'"
set-bd-data-valid "c.in" 32 1782232478
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 2011100 to core 0 address 31'"
set-bd-data-valid "c.in" 32 1739323167
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1766022 to core 0 address 32'"
set-bd-data-valid "c.in" 32 1723638176
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 4777116 to core 0 address 33'"
set-bd-data-valid "c.in" 32 1916348193
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 7332919 to core 0 address 34'"
set-bd-data-valid "c.in" 32 2079919586
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 7881362 to core 0 address 35'"
set-bd-data-valid "c.in" 32 2115019939
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 3352305 to core 0 address 36'"
set-bd-data-valid "c.in" 32 1825160292
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 708607 to core 0 address 37'"
set-bd-data-valid "c.in" 32 1655963621
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 7852776 to core 0 address 38'"
set-bd-data-valid "c.in" 32 2113190438
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 4654042 to core 0 address 39'"
set-bd-data-valid "c.in" 32 1908471463
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 8047941 to core 0 address 40'"
set-bd-data-valid "c.in" 32 2125681000
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 2356710 to core 0 address 41'"
set-bd-data-valid "c.in" 32 1761442217
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1490805 to core 0 address 42'"
set-bd-data-valid "c.in" 32 1706024298
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 5840107 to core 0 address 43'"
set-bd-data-valid "c.in" 32 1984379627
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 4612067 to core 0 address 44'"
set-bd-data-valid "c.in" 32 1905785068
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 2356890 to core 0 address 45'"
set-bd-data-valid "c.in" 32 1761453741
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 4150607 to core 0 address 46'"
set-bd-data-valid "c.in" 32 1876251630
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 3677767 to core 0 address 47'"
set-bd-data-valid "c.in" 32 1845989871
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 5610065 to core 0 address 48'"
set-bd-data-valid "c.in" 32 1969656944
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 2716239 to core 0 address 49'"
set-bd-data-valid "c.in" 32 1784452081
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 5394492 to core 0 address 50'"
set-bd-data-valid "c.in" 32 1955860274
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 4937489 to core 0 address 51'"
set-bd-data-valid "c.in" 32 1926612083
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 4304831 to core 0 address 52'"
set-bd-data-valid "c.in" 32 1886121972
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 8092217 to core 0 address 53'"
set-bd-data-valid "c.in" 32 2128514677
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1796782 to core 0 address 54'"
set-bd-data-valid "c.in" 32 1725606838
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 3704126 to core 0 address 55'"
set-bd-data-valid "c.in" 32 1847676855
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 7019592 to core 0 address 56'"
set-bd-data-valid "c.in" 32 2059866680
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 7008470 to core 0 address 57'"
set-bd-data-valid "c.in" 32 2059154873
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 2845373 to core 0 address 58'"
set-bd-data-valid "c.in" 32 1792716666
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 356722 to core 0 address 59'"
set-bd-data-valid "c.in" 32 1633443003
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 276406 to core 0 address 60'"
set-bd-data-valid "c.in" 32 1628302780
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1238748 to core 0 address 61'"
set-bd-data-valid "c.in" 32 1689892669
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 4618950 to core 0 address 62'"
set-bd-data-valid "c.in" 32 1906225598
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 7728738 to core 0 address 63'"
set-bd-data-valid "c.in" 32 2105252031
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1504173 to core 1 address 0'"
set-bd-data-valid "c.in" 32 3854363456
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1021893 to core 1 address 1'"
set-bd-data-valid "c.in" 32 3823497537
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 7109610 to core 1 address 2'"
set-bd-data-valid "c.in" 32 4213111426
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 6937942 to core 1 address 3'"
set-bd-data-valid "c.in" 32 4202124675
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1852966 to core 1 address 4'"
set-bd-data-valid "c.in" 32 3876686212
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 8349090 to core 1 address 5'"
set-bd-data-valid "c.in" 32 4292438149
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1472410 to core 1 address 6'"
set-bd-data-valid "c.in" 32 3852330630
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1733791 to core 1 address 7'"
set-bd-data-valid "c.in" 32 3869059015
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 279622 to core 1 address 8'"
set-bd-data-valid "c.in" 32 3775992200
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 4203827 to core 1 address 9'"
set-bd-data-valid "c.in" 32 4027141321
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 7147640 to core 1 address 10'"
set-bd-data-valid "c.in" 32 4215545354
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 2315900 to core 1 address 11'"
set-bd-data-valid "c.in" 32 3906313995
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 5885805 to core 1 address 12'"
set-bd-data-valid "c.in" 32 4134787916
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 5676797 to core 1 address 13'"
set-bd-data-valid "c.in" 32 4121411405
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 3693747 to core 1 address 14'"
set-bd-data-valid "c.in" 32 3994496206
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1619171 to core 1 address 15'"
set-bd-data-valid "c.in" 32 3861723343
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 3919645 to core 1 address 16'"
set-bd-data-valid "c.in" 32 4008953680
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1708825 to core 1 address 17'"
set-bd-data-valid "c.in" 32 3867461201
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 2975396 to core 1 address 18'"
set-bd-data-valid "c.in" 32 3948521746
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 753463 to core 1 address 19'"
set-bd-data-valid "c.in" 32 3806318035
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 6866223 to core 1 address 20'"
set-bd-data-valid "c.in" 32 4197534676
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1508957 to core 1 address 21'"
set-bd-data-valid "c.in" 32 3854669653
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 6659664 to core 1 address 22'"
set-bd-data-valid "c.in" 32 4184314902
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 6874607 to core 1 address 23'"
set-bd-data-valid "c.in" 32 4198071255
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 5711803 to core 1 address 24'"
set-bd-data-valid "c.in" 32 4123651800
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 5145132 to core 1 address 25'"
set-bd-data-valid "c.in" 32 4087384857
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 190818 to core 1 address 26'"
set-bd-data-valid "c.in" 32 3770308762
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 7760922 to core 1 address 27'"
set-bd-data-valid "c.in" 32 4254795419
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 5670224 to core 1 address 28'"
set-bd-data-valid "c.in" 32 4120990748
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1313371 to core 1 address 29'"
set-bd-data-valid "c.in" 32 3842152157
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1161556 to core 1 address 30'"
set-bd-data-valid "c.in" 32 3832435998
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 8366148 to core 1 address 31'"
set-bd-data-valid "c.in" 32 4293529887
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 6860350 to core 1 address 32'"
set-bd-data-valid "c.in" 32 4197158816
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 88361 to core 1 address 33'"
set-bd-data-valid "c.in" 32 3763751521
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 5554412 to core 1 address 34'"
set-bd-data-valid "c.in" 32 4113578786
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 3327330 to core 1 address 35'"
set-bd-data-valid "c.in" 32 3971045539
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 2792301 to core 1 address 36'"
set-bd-data-valid "c.in" 32 3936803684
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 7291409 to core 1 address 37'"
set-bd-data-valid "c.in" 32 4224746597
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 5442962 to core 1 address 38'"
set-bd-data-valid "c.in" 32 4106445990
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 3090484 to core 1 address 39'"
set-bd-data-valid "c.in" 32 3955887399
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 3677305 to core 1 address 40'"
set-bd-data-valid "c.in" 32 3993443944
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1931800 to core 1 address 41'"
set-bd-data-valid "c.in" 32 3881731625
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 4647837 to core 1 address 42'"
set-bd-data-valid "c.in" 32 4055557994
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 2748771 to core 1 address 43'"
set-bd-data-valid "c.in" 32 3934017771
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1853701 to core 1 address 44'"
set-bd-data-valid "c.in" 32 3876733292
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 7542420 to core 1 address 45'"
set-bd-data-valid "c.in" 32 4240811309
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 4701564 to core 1 address 46'"
set-bd-data-valid "c.in" 32 4058996526
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 7150520 to core 1 address 47'"
set-bd-data-valid "c.in" 32 4215729711
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 2436447 to core 1 address 48'"
set-bd-data-valid "c.in" 32 3914029040
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 2974030 to core 1 address 49'"
set-bd-data-valid "c.in" 32 3948434353
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 2999015 to core 1 address 50'"
set-bd-data-valid "c.in" 32 3950033394
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 6741461 to core 1 address 51'"
set-bd-data-valid "c.in" 32 4189549939
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 6473162 to core 1 address 52'"
set-bd-data-valid "c.in" 32 4172378804
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1045613 to core 1 address 53'"
set-bd-data-valid "c.in" 32 3825015669
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 3002225 to core 1 address 54'"
set-bd-data-valid "c.in" 32 3950238838
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 5399719 to core 1 address 55'"
set-bd-data-valid "c.in" 32 4103678455
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 559188 to core 1 address 56'"
set-bd-data-valid "c.in" 32 3793884472
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 3622321 to core 1 address 57'"
set-bd-data-valid "c.in" 32 3989924985
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 2330967 to core 1 address 58'"
set-bd-data-valid "c.in" 32 3907278330
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1861155 to core 1 address 59'"
set-bd-data-valid "c.in" 32 3877210363
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 5442382 to core 1 address 60'"
set-bd-data-valid "c.in" 32 4106408892
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 8112402 to core 1 address 61'"
set-bd-data-valid "c.in" 32 4277290173
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 3261765 to core 1 address 62'"
set-bd-data-valid "c.in" 32 3966849406
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 7896780 to core 1 address 63'"
set-bd-data-valid "c.in" 32 4263490367
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Reading core 0 address 0'"
set-bd-data-valid "c.in" 32 1073741824
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 6408920 from core 0 register 0'"
assert-bd-channel-valid "c.out" 32 1483912704
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 1'"
set-bd-data-valid "c.in" 32 1073741825
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 3765103 from core 0 register 1'"
assert-bd-channel-valid "c.out" 32 1314708417
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 2'"
set-bd-data-valid "c.in" 32 1073741826
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 1599066 from core 0 register 2'"
assert-bd-channel-valid "c.out" 32 1176082050
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 3'"
set-bd-data-valid "c.in" 32 1073741827
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 6209994 from core 0 register 3'"
assert-bd-channel-valid "c.out" 32 1471181443
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 4'"
set-bd-data-valid "c.in" 32 1073741828
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 3869017 from core 0 register 4'"
assert-bd-channel-valid "c.out" 32 1321358916
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 5'"
set-bd-data-valid "c.in" 32 1073741829
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 4194016 from core 0 register 5'"
assert-bd-channel-valid "c.out" 32 1342158853
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 6'"
set-bd-data-valid "c.in" 32 1073741830
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 4328621 from core 0 register 6'"
assert-bd-channel-valid "c.out" 32 1350773574
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 7'"
set-bd-data-valid "c.in" 32 1073741831
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 1261935 from core 0 register 7'"
assert-bd-channel-valid "c.out" 32 1154505671
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 8'"
set-bd-data-valid "c.in" 32 1073741832
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 2000611 from core 0 register 8'"
assert-bd-channel-valid "c.out" 32 1201780936
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 9'"
set-bd-data-valid "c.in" 32 1073741833
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 3302177 from core 0 register 9'"
assert-bd-channel-valid "c.out" 32 1285081161
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 10'"
set-bd-data-valid "c.in" 32 1073741834
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 1844302 from core 0 register 10'"
assert-bd-channel-valid "c.out" 32 1191777162
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 11'"
set-bd-data-valid "c.in" 32 1073741835
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 1045614 from core 0 register 11'"
assert-bd-channel-valid "c.out" 32 1140661131
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 12'"
set-bd-data-valid "c.in" 32 1073741836
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 2086984 from core 0 register 12'"
assert-bd-channel-valid "c.out" 32 1207308812
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 13'"
set-bd-data-valid "c.in" 32 1073741837
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 6215204 from core 0 register 13'"
assert-bd-channel-valid "c.out" 32 1471514893
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 14'"
set-bd-data-valid "c.in" 32 1073741838
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 299518 from core 0 register 14'"
assert-bd-channel-valid "c.out" 32 1092910990
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 15'"
set-bd-data-valid "c.in" 32 1073741839
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 6307472 from core 0 register 15'"
assert-bd-channel-valid "c.out" 32 1477420047
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 16'"
set-bd-data-valid "c.in" 32 1073741840
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 4523524 from core 0 register 16'"
assert-bd-channel-valid "c.out" 32 1363247376
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 17'"
set-bd-data-valid "c.in" 32 1073741841
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 7832943 from core 0 register 17'"
assert-bd-channel-valid "c.out" 32 1575050193
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 18'"
set-bd-data-valid "c.in" 32 1073741842
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 6747353 from core 0 register 18'"
assert-bd-channel-valid "c.out" 32 1505572434
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 19'"
set-bd-data-valid "c.in" 32 1073741843
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 524742 from core 0 register 19'"
assert-bd-channel-valid "c.out" 32 1107325331
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 20'"
set-bd-data-valid "c.in" 32 1073741844
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 3424695 from core 0 register 20'"
assert-bd-channel-valid "c.out" 32 1292922324
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 21'"
set-bd-data-valid "c.in" 32 1073741845
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 4441827 from core 0 register 21'"
assert-bd-channel-valid "c.out" 32 1358018773
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 22'"
set-bd-data-valid "c.in" 32 1073741846
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 94091 from core 0 register 22'"
assert-bd-channel-valid "c.out" 32 1079763670
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 23'"
set-bd-data-valid "c.in" 32 1073741847
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 5799164 from core 0 register 23'"
assert-bd-channel-valid "c.out" 32 1444888343
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 24'"
set-bd-data-valid "c.in" 32 1073741848
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 3352912 from core 0 register 24'"
assert-bd-channel-valid "c.out" 32 1288328216
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 25'"
set-bd-data-valid "c.in" 32 1073741849
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 6181841 from core 0 register 25'"
assert-bd-channel-valid "c.out" 32 1469379673
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 26'"
set-bd-data-valid "c.in" 32 1073741850
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 5915273 from core 0 register 26'"
assert-bd-channel-valid "c.out" 32 1452319322
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 27'"
set-bd-data-valid "c.in" 32 1073741851
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 7910415 from core 0 register 27'"
assert-bd-channel-valid "c.out" 32 1580008411
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 28'"
set-bd-data-valid "c.in" 32 1073741852
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 5461476 from core 0 register 28'"
assert-bd-channel-valid "c.out" 32 1423276316
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 29'"
set-bd-data-valid "c.in" 32 1073741853
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 6198901 from core 0 register 29'"
assert-bd-channel-valid "c.out" 32 1470471517
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 30'"
set-bd-data-valid "c.in" 32 1073741854
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 2681558 from core 0 register 30'"
assert-bd-channel-valid "c.out" 32 1245361566
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 31'"
set-bd-data-valid "c.in" 32 1073741855
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 2011100 from core 0 register 31'"
assert-bd-channel-valid "c.out" 32 1202452255
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 32'"
set-bd-data-valid "c.in" 32 1073741856
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 1766022 from core 0 register 32'"
assert-bd-channel-valid "c.out" 32 1186767264
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 33'"
set-bd-data-valid "c.in" 32 1073741857
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 4777116 from core 0 register 33'"
assert-bd-channel-valid "c.out" 32 1379477281
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 34'"
set-bd-data-valid "c.in" 32 1073741858
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 7332919 from core 0 register 34'"
assert-bd-channel-valid "c.out" 32 1543048674
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 35'"
set-bd-data-valid "c.in" 32 1073741859
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 7881362 from core 0 register 35'"
assert-bd-channel-valid "c.out" 32 1578149027
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 36'"
set-bd-data-valid "c.in" 32 1073741860
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 3352305 from core 0 register 36'"
assert-bd-channel-valid "c.out" 32 1288289380
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 37'"
set-bd-data-valid "c.in" 32 1073741861
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 708607 from core 0 register 37'"
assert-bd-channel-valid "c.out" 32 1119092709
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 38'"
set-bd-data-valid "c.in" 32 1073741862
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 7852776 from core 0 register 38'"
assert-bd-channel-valid "c.out" 32 1576319526
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 39'"
set-bd-data-valid "c.in" 32 1073741863
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 4654042 from core 0 register 39'"
assert-bd-channel-valid "c.out" 32 1371600551
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 40'"
set-bd-data-valid "c.in" 32 1073741864
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 8047941 from core 0 register 40'"
assert-bd-channel-valid "c.out" 32 1588810088
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 41'"
set-bd-data-valid "c.in" 32 1073741865
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 2356710 from core 0 register 41'"
assert-bd-channel-valid "c.out" 32 1224571305
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 42'"
set-bd-data-valid "c.in" 32 1073741866
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 1490805 from core 0 register 42'"
assert-bd-channel-valid "c.out" 32 1169153386
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 43'"
set-bd-data-valid "c.in" 32 1073741867
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 5840107 from core 0 register 43'"
assert-bd-channel-valid "c.out" 32 1447508715
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 44'"
set-bd-data-valid "c.in" 32 1073741868
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 4612067 from core 0 register 44'"
assert-bd-channel-valid "c.out" 32 1368914156
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 45'"
set-bd-data-valid "c.in" 32 1073741869
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 2356890 from core 0 register 45'"
assert-bd-channel-valid "c.out" 32 1224582829
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 46'"
set-bd-data-valid "c.in" 32 1073741870
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 4150607 from core 0 register 46'"
assert-bd-channel-valid "c.out" 32 1339380718
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 47'"
set-bd-data-valid "c.in" 32 1073741871
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 3677767 from core 0 register 47'"
assert-bd-channel-valid "c.out" 32 1309118959
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 48'"
set-bd-data-valid "c.in" 32 1073741872
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 5610065 from core 0 register 48'"
assert-bd-channel-valid "c.out" 32 1432786032
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 49'"
set-bd-data-valid "c.in" 32 1073741873
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 2716239 from core 0 register 49'"
assert-bd-channel-valid "c.out" 32 1247581169
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 50'"
set-bd-data-valid "c.in" 32 1073741874
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 5394492 from core 0 register 50'"
assert-bd-channel-valid "c.out" 32 1418989362
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 51'"
set-bd-data-valid "c.in" 32 1073741875
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 4937489 from core 0 register 51'"
assert-bd-channel-valid "c.out" 32 1389741171
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 52'"
set-bd-data-valid "c.in" 32 1073741876
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 4304831 from core 0 register 52'"
assert-bd-channel-valid "c.out" 32 1349251060
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 53'"
set-bd-data-valid "c.in" 32 1073741877
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 8092217 from core 0 register 53'"
assert-bd-channel-valid "c.out" 32 1591643765
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 54'"
set-bd-data-valid "c.in" 32 1073741878
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 1796782 from core 0 register 54'"
assert-bd-channel-valid "c.out" 32 1188735926
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 55'"
set-bd-data-valid "c.in" 32 1073741879
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 3704126 from core 0 register 55'"
assert-bd-channel-valid "c.out" 32 1310805943
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 56'"
set-bd-data-valid "c.in" 32 1073741880
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 7019592 from core 0 register 56'"
assert-bd-channel-valid "c.out" 32 1522995768
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 57'"
set-bd-data-valid "c.in" 32 1073741881
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 7008470 from core 0 register 57'"
assert-bd-channel-valid "c.out" 32 1522283961
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 58'"
set-bd-data-valid "c.in" 32 1073741882
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 2845373 from core 0 register 58'"
assert-bd-channel-valid "c.out" 32 1255845754
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 59'"
set-bd-data-valid "c.in" 32 1073741883
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 356722 from core 0 register 59'"
assert-bd-channel-valid "c.out" 32 1096572091
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 60'"
set-bd-data-valid "c.in" 32 1073741884
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 276406 from core 0 register 60'"
assert-bd-channel-valid "c.out" 32 1091431868
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 61'"
set-bd-data-valid "c.in" 32 1073741885
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 1238748 from core 0 register 61'"
assert-bd-channel-valid "c.out" 32 1153021757
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 62'"
set-bd-data-valid "c.in" 32 1073741886
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 4618950 from core 0 register 62'"
assert-bd-channel-valid "c.out" 32 1369354686
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 0 address 63'"
set-bd-data-valid "c.in" 32 1073741887
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 7728738 from core 0 register 63'"
assert-bd-channel-valid "c.out" 32 1568381119
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 0'"
set-bd-data-valid "c.in" 32 3221225472
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 1504173 from core 1 register 0'"
assert-bd-channel-valid "c.out" 32 3317492544
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 1'"
set-bd-data-valid "c.in" 32 3221225473
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 1021893 from core 1 register 1'"
assert-bd-channel-valid "c.out" 32 3286626625
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 2'"
set-bd-data-valid "c.in" 32 3221225474
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 7109610 from core 1 register 2'"
assert-bd-channel-valid "c.out" 32 3676240514
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 3'"
set-bd-data-valid "c.in" 32 3221225475
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 6937942 from core 1 register 3'"
assert-bd-channel-valid "c.out" 32 3665253763
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 4'"
set-bd-data-valid "c.in" 32 3221225476
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 1852966 from core 1 register 4'"
assert-bd-channel-valid "c.out" 32 3339815300
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 5'"
set-bd-data-valid "c.in" 32 3221225477
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 8349090 from core 1 register 5'"
assert-bd-channel-valid "c.out" 32 3755567237
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 6'"
set-bd-data-valid "c.in" 32 3221225478
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 1472410 from core 1 register 6'"
assert-bd-channel-valid "c.out" 32 3315459718
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 7'"
set-bd-data-valid "c.in" 32 3221225479
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 1733791 from core 1 register 7'"
assert-bd-channel-valid "c.out" 32 3332188103
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 8'"
set-bd-data-valid "c.in" 32 3221225480
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 279622 from core 1 register 8'"
assert-bd-channel-valid "c.out" 32 3239121288
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 9'"
set-bd-data-valid "c.in" 32 3221225481
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 4203827 from core 1 register 9'"
assert-bd-channel-valid "c.out" 32 3490270409
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 10'"
set-bd-data-valid "c.in" 32 3221225482
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 7147640 from core 1 register 10'"
assert-bd-channel-valid "c.out" 32 3678674442
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 11'"
set-bd-data-valid "c.in" 32 3221225483
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 2315900 from core 1 register 11'"
assert-bd-channel-valid "c.out" 32 3369443083
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 12'"
set-bd-data-valid "c.in" 32 3221225484
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 5885805 from core 1 register 12'"
assert-bd-channel-valid "c.out" 32 3597917004
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 13'"
set-bd-data-valid "c.in" 32 3221225485
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 5676797 from core 1 register 13'"
assert-bd-channel-valid "c.out" 32 3584540493
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 14'"
set-bd-data-valid "c.in" 32 3221225486
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 3693747 from core 1 register 14'"
assert-bd-channel-valid "c.out" 32 3457625294
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 15'"
set-bd-data-valid "c.in" 32 3221225487
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 1619171 from core 1 register 15'"
assert-bd-channel-valid "c.out" 32 3324852431
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 16'"
set-bd-data-valid "c.in" 32 3221225488
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 3919645 from core 1 register 16'"
assert-bd-channel-valid "c.out" 32 3472082768
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 17'"
set-bd-data-valid "c.in" 32 3221225489
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 1708825 from core 1 register 17'"
assert-bd-channel-valid "c.out" 32 3330590289
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 18'"
set-bd-data-valid "c.in" 32 3221225490
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 2975396 from core 1 register 18'"
assert-bd-channel-valid "c.out" 32 3411650834
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 19'"
set-bd-data-valid "c.in" 32 3221225491
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 753463 from core 1 register 19'"
assert-bd-channel-valid "c.out" 32 3269447123
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 20'"
set-bd-data-valid "c.in" 32 3221225492
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 6866223 from core 1 register 20'"
assert-bd-channel-valid "c.out" 32 3660663764
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 21'"
set-bd-data-valid "c.in" 32 3221225493
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 1508957 from core 1 register 21'"
assert-bd-channel-valid "c.out" 32 3317798741
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 22'"
set-bd-data-valid "c.in" 32 3221225494
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 6659664 from core 1 register 22'"
assert-bd-channel-valid "c.out" 32 3647443990
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 23'"
set-bd-data-valid "c.in" 32 3221225495
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 6874607 from core 1 register 23'"
assert-bd-channel-valid "c.out" 32 3661200343
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 24'"
set-bd-data-valid "c.in" 32 3221225496
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 5711803 from core 1 register 24'"
assert-bd-channel-valid "c.out" 32 3586780888
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 25'"
set-bd-data-valid "c.in" 32 3221225497
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 5145132 from core 1 register 25'"
assert-bd-channel-valid "c.out" 32 3550513945
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 26'"
set-bd-data-valid "c.in" 32 3221225498
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 190818 from core 1 register 26'"
assert-bd-channel-valid "c.out" 32 3233437850
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 27'"
set-bd-data-valid "c.in" 32 3221225499
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 7760922 from core 1 register 27'"
assert-bd-channel-valid "c.out" 32 3717924507
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 28'"
set-bd-data-valid "c.in" 32 3221225500
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 5670224 from core 1 register 28'"
assert-bd-channel-valid "c.out" 32 3584119836
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 29'"
set-bd-data-valid "c.in" 32 3221225501
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 1313371 from core 1 register 29'"
assert-bd-channel-valid "c.out" 32 3305281245
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 30'"
set-bd-data-valid "c.in" 32 3221225502
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 1161556 from core 1 register 30'"
assert-bd-channel-valid "c.out" 32 3295565086
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 31'"
set-bd-data-valid "c.in" 32 3221225503
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 8366148 from core 1 register 31'"
assert-bd-channel-valid "c.out" 32 3756658975
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 32'"
set-bd-data-valid "c.in" 32 3221225504
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 6860350 from core 1 register 32'"
assert-bd-channel-valid "c.out" 32 3660287904
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 33'"
set-bd-data-valid "c.in" 32 3221225505
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 88361 from core 1 register 33'"
assert-bd-channel-valid "c.out" 32 3226880609
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 34'"
set-bd-data-valid "c.in" 32 3221225506
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 5554412 from core 1 register 34'"
assert-bd-channel-valid "c.out" 32 3576707874
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 35'"
set-bd-data-valid "c.in" 32 3221225507
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 3327330 from core 1 register 35'"
assert-bd-channel-valid "c.out" 32 3434174627
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 36'"
set-bd-data-valid "c.in" 32 3221225508
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 2792301 from core 1 register 36'"
assert-bd-channel-valid "c.out" 32 3399932772
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 37'"
set-bd-data-valid "c.in" 32 3221225509
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 7291409 from core 1 register 37'"
assert-bd-channel-valid "c.out" 32 3687875685
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 38'"
set-bd-data-valid "c.in" 32 3221225510
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 5442962 from core 1 register 38'"
assert-bd-channel-valid "c.out" 32 3569575078
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 39'"
set-bd-data-valid "c.in" 32 3221225511
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 3090484 from core 1 register 39'"
assert-bd-channel-valid "c.out" 32 3419016487
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 40'"
set-bd-data-valid "c.in" 32 3221225512
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 3677305 from core 1 register 40'"
assert-bd-channel-valid "c.out" 32 3456573032
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 41'"
set-bd-data-valid "c.in" 32 3221225513
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 1931800 from core 1 register 41'"
assert-bd-channel-valid "c.out" 32 3344860713
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 42'"
set-bd-data-valid "c.in" 32 3221225514
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 4647837 from core 1 register 42'"
assert-bd-channel-valid "c.out" 32 3518687082
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 43'"
set-bd-data-valid "c.in" 32 3221225515
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 2748771 from core 1 register 43'"
assert-bd-channel-valid "c.out" 32 3397146859
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 44'"
set-bd-data-valid "c.in" 32 3221225516
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 1853701 from core 1 register 44'"
assert-bd-channel-valid "c.out" 32 3339862380
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 45'"
set-bd-data-valid "c.in" 32 3221225517
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 7542420 from core 1 register 45'"
assert-bd-channel-valid "c.out" 32 3703940397
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 46'"
set-bd-data-valid "c.in" 32 3221225518
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 4701564 from core 1 register 46'"
assert-bd-channel-valid "c.out" 32 3522125614
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 47'"
set-bd-data-valid "c.in" 32 3221225519
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 7150520 from core 1 register 47'"
assert-bd-channel-valid "c.out" 32 3678858799
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 48'"
set-bd-data-valid "c.in" 32 3221225520
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 2436447 from core 1 register 48'"
assert-bd-channel-valid "c.out" 32 3377158128
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 49'"
set-bd-data-valid "c.in" 32 3221225521
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 2974030 from core 1 register 49'"
assert-bd-channel-valid "c.out" 32 3411563441
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 50'"
set-bd-data-valid "c.in" 32 3221225522
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 2999015 from core 1 register 50'"
assert-bd-channel-valid "c.out" 32 3413162482
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 51'"
set-bd-data-valid "c.in" 32 3221225523
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 6741461 from core 1 register 51'"
assert-bd-channel-valid "c.out" 32 3652679027
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 52'"
set-bd-data-valid "c.in" 32 3221225524
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 6473162 from core 1 register 52'"
assert-bd-channel-valid "c.out" 32 3635507892
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 53'"
set-bd-data-valid "c.in" 32 3221225525
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 1045613 from core 1 register 53'"
assert-bd-channel-valid "c.out" 32 3288144757
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 54'"
set-bd-data-valid "c.in" 32 3221225526
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 3002225 from core 1 register 54'"
assert-bd-channel-valid "c.out" 32 3413367926
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 55'"
set-bd-data-valid "c.in" 32 3221225527
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 5399719 from core 1 register 55'"
assert-bd-channel-valid "c.out" 32 3566807543
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 56'"
set-bd-data-valid "c.in" 32 3221225528
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 559188 from core 1 register 56'"
assert-bd-channel-valid "c.out" 32 3257013560
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 57'"
set-bd-data-valid "c.in" 32 3221225529
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 3622321 from core 1 register 57'"
assert-bd-channel-valid "c.out" 32 3453054073
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 58'"
set-bd-data-valid "c.in" 32 3221225530
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 2330967 from core 1 register 58'"
assert-bd-channel-valid "c.out" 32 3370407418
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 59'"
set-bd-data-valid "c.in" 32 3221225531
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 1861155 from core 1 register 59'"
assert-bd-channel-valid "c.out" 32 3340339451
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 60'"
set-bd-data-valid "c.in" 32 3221225532
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 5442382 from core 1 register 60'"
assert-bd-channel-valid "c.out" 32 3569537980
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 61'"
set-bd-data-valid "c.in" 32 3221225533
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 8112402 from core 1 register 61'"
assert-bd-channel-valid "c.out" 32 3740419261
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 62'"
set-bd-data-valid "c.in" 32 3221225534
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 3261765 from core 1 register 62'"
assert-bd-channel-valid "c.out" 32 3429978494
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[]  Reading core 1 address 63'"
set-bd-data-valid "c.in" 32 3221225535
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Receiving output 7896780 from core 1 register 63'"
assert-bd-channel-valid "c.out" 32 3726619455
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

###### SPIKE MADNESS ######
# But first turn handshaking off.

system "echo '[]  Writing 0 to core 0 address 0'"
set-bd-data-valid "c.in" 32 1610612736
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 0 to core 1 address 0'"
set-bd-data-valid "c.in" 32 3758096384
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
# SPIKKESSS

system "echo '[] Sending spike to core 0 synapse [10,1]'"
set-bd-data-valid "c.in" 32 26
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [10,1]'"
assert-bd-channel-valid "c.out" 32 26
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 1 synapse [13,5]'"
set-bd-data-valid "c.in" 32 2147483741
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [13,5]'"
assert-bd-channel-valid "c.out" 32 2147483741
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 0 synapse [14,0]'"
set-bd-data-valid "c.in" 32 14
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [14,0]'"
assert-bd-channel-valid "c.out" 32 14
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 1 synapse [5,2]'"
set-bd-data-valid "c.in" 32 2147483685
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [5,2]'"
assert-bd-channel-valid "c.out" 32 2147483685
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 0 synapse [0,1]'"
set-bd-data-valid "c.in" 32 16
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [0,1]'"
assert-bd-channel-valid "c.out" 32 16
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 1 synapse [9,0]'"
set-bd-data-valid "c.in" 32 2147483657
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [9,0]'"
assert-bd-channel-valid "c.out" 32 2147483657
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 0 synapse [13,2]'"
set-bd-data-valid "c.in" 32 45
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [13,2]'"
assert-bd-channel-valid "c.out" 32 45
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 1 synapse [7,4]'"
set-bd-data-valid "c.in" 32 2147483719
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [7,4]'"
assert-bd-channel-valid "c.out" 32 2147483719
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 0 synapse [10,3]'"
set-bd-data-valid "c.in" 32 58
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [10,3]'"
assert-bd-channel-valid "c.out" 32 58
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 1 synapse [7,0]'"
set-bd-data-valid "c.in" 32 2147483655
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [7,0]'"
assert-bd-channel-valid "c.out" 32 2147483655
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 0 synapse [11,1]'"
set-bd-data-valid "c.in" 32 27
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [11,1]'"
assert-bd-channel-valid "c.out" 32 27
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 1 synapse [6,7]'"
set-bd-data-valid "c.in" 32 2147483766
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [6,7]'"
assert-bd-channel-valid "c.out" 32 2147483766
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 0 synapse [1,0]'"
set-bd-data-valid "c.in" 32 1
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [1,0]'"
assert-bd-channel-valid "c.out" 32 1
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 1 synapse [11,4]'"
set-bd-data-valid "c.in" 32 2147483723
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [11,4]'"
assert-bd-channel-valid "c.out" 32 2147483723
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 0 synapse [12,3]'"
set-bd-data-valid "c.in" 32 60
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [12,3]'"
assert-bd-channel-valid "c.out" 32 60
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 1 synapse [3,5]'"
set-bd-data-valid "c.in" 32 2147483731
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [3,5]'"
assert-bd-channel-valid "c.out" 32 2147483731
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 0 synapse [8,5]'"
set-bd-data-valid "c.in" 32 88
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [8,5]'"
assert-bd-channel-valid "c.out" 32 88
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 1 synapse [13,7]'"
set-bd-data-valid "c.in" 32 2147483773
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [13,7]'"
assert-bd-channel-valid "c.out" 32 2147483773
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 0 synapse [2,4]'"
set-bd-data-valid "c.in" 32 66
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [2,4]'"
assert-bd-channel-valid "c.out" 32 66
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 1 synapse [14,1]'"
set-bd-data-valid "c.in" 32 2147483678
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [14,1]'"
assert-bd-channel-valid "c.out" 32 2147483678
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
### DO IT WITH HANDSHAKING NOW ###

system "echo '[]  Writing 1023 to core 0 address 0'"
set-bd-data-valid "c.in" 32 1610678208
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[]  Writing 1023 to core 1 address 0'"
set-bd-data-valid "c.in" 32 3758161856
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0


### SPIKES ###



system "echo '[] Sending spike to core 0 synapse [11,1]'"
set-bd-data-valid "c.in" 32 27
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [11,1]'"
assert-bd-channel-valid "c.out" 32 27
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 1 synapse [9,0]'"
set-bd-data-valid "c.in" 32 2147483657
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [9,0]'"
assert-bd-channel-valid "c.out" 32 2147483657
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 0 synapse [14,6]'"
set-bd-data-valid "c.in" 32 110
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [14,6]'"
assert-bd-channel-valid "c.out" 32 110
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 1 synapse [7,1]'"
set-bd-data-valid "c.in" 32 2147483671
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [7,1]'"
assert-bd-channel-valid "c.out" 32 2147483671
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 0 synapse [8,5]'"
set-bd-data-valid "c.in" 32 88
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [8,5]'"
assert-bd-channel-valid "c.out" 32 88
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 1 synapse [12,5]'"
set-bd-data-valid "c.in" 32 2147483740
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [12,5]'"
assert-bd-channel-valid "c.out" 32 2147483740
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 0 synapse [0,4]'"
set-bd-data-valid "c.in" 32 64
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [0,4]'"
assert-bd-channel-valid "c.out" 32 64
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 1 synapse [6,7]'"
set-bd-data-valid "c.in" 32 2147483766
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [6,7]'"
assert-bd-channel-valid "c.out" 32 2147483766
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 0 synapse [4,0]'"
set-bd-data-valid "c.in" 32 4
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [4,0]'"
assert-bd-channel-valid "c.out" 32 4
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 1 synapse [13,7]'"
set-bd-data-valid "c.in" 32 2147483773
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [13,7]'"
assert-bd-channel-valid "c.out" 32 2147483773
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 0 synapse [3,6]'"
set-bd-data-valid "c.in" 32 99
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [3,6]'"
assert-bd-channel-valid "c.out" 32 99
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 1 synapse [2,2]'"
set-bd-data-valid "c.in" 32 2147483682
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [2,2]'"
assert-bd-channel-valid "c.out" 32 2147483682
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 0 synapse [10,7]'"
set-bd-data-valid "c.in" 32 122
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [10,7]'"
assert-bd-channel-valid "c.out" 32 122
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 1 synapse [11,2]'"
set-bd-data-valid "c.in" 32 2147483691
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [11,2]'"
assert-bd-channel-valid "c.out" 32 2147483691
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 0 synapse [7,7]'"
set-bd-data-valid "c.in" 32 119
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [7,7]'"
assert-bd-channel-valid "c.out" 32 119
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 1 synapse [0,6]'"
set-bd-data-valid "c.in" 32 2147483744
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [0,6]'"
assert-bd-channel-valid "c.out" 32 2147483744
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 0 synapse [13,4]'"
set-bd-data-valid "c.in" 32 77
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [13,4]'"
assert-bd-channel-valid "c.out" 32 77
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 1 synapse [15,7]'"
set-bd-data-valid "c.in" 32 2147483775
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [15,7]'"
assert-bd-channel-valid "c.out" 32 2147483775
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 0 synapse [13,4]'"
set-bd-data-valid "c.in" 32 77
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [13,4]'"
assert-bd-channel-valid "c.out" 32 77
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Sending spike to core 1 synapse [9,2]'"
set-bd-data-valid "c.in" 32 2147483689
cycle
set c.in.r 1
cycle
assert c.in.a 1

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0

    
system "echo '[] Receiving output spike [9,2]'"
assert-bd-channel-valid "c.out" 32 2147483689
set c.out.a 1
cycle
assert-bd-channel-neutral "c.out" 32
set c.out.a 0
cycle

system "echo '[] Removing input'"

set-bd-channel-neutral "c.in" 32
cycle
assert c.in.a 0