From 200088fb0a5f9b5a52bf7bece2ba269065eb3e8c Mon Sep 17 00:00:00 2001 From: alexmadison Date: Tue, 21 Nov 2023 09:52:18 +0100 Subject: [PATCH] removed mapper test, never tested irl --- .../texel_dualcore_glue_mapper/test.act | 203 - .../texel_dualcore_glue_mapper/test.prsim | 8763 ----------------- 2 files changed, 8966 deletions(-) delete mode 100644 test/unit_tests/texel_dualcore_glue_mapper/test.act delete mode 100644 test/unit_tests/texel_dualcore_glue_mapper/test.prsim diff --git a/test/unit_tests/texel_dualcore_glue_mapper/test.act b/test/unit_tests/texel_dualcore_glue_mapper/test.act deleted file mode 100644 index 0287544..0000000 --- a/test/unit_tests/texel_dualcore_glue_mapper/test.act +++ /dev/null @@ -1,203 +0,0 @@ -/************************************************************************* - * - * This file is part of ACT dataflow neuro library. - * It's the testing facility for cell_lib_std.act - * - * Copyright (c) 2022 University of Groningen - Ole Richter - * Copyright (c) 2022 University of Groningen - Hugh Greatorex - * Copyright (c) 2022 University of Groningen - Michele Mastella - * Copyright (c) 2022 University of Groningen - Madison Cotteret - * - * This source describes Open Hardware and is licensed under the CERN-OHL-W v2 or later - * - * You may redistribute and modify this documentation and make products - * using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl). - * This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED - * WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY - * AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2 - * for applicable conditions. - * - * Source location: https://git.web.rug.nl/bics/actlib_dataflow_neuro - * - * As per CERN-OHL-W v2 section 4.1, should You produce hardware based on - * these sources, You must maintain the Source Location visible in its - * documentation. - * - ************************************************************************** - */ - -import "../../dataflow_neuro/coders.act"; -import "../../dataflow_neuro/primitives.act"; -import "../../dataflow_neuro/chips.act"; -import "../../dataflow_neuro/dummy.act"; - -import globals; -import std::data; - -open std::data; - - -open tmpl::dataflow_neuro; - - - -pint N_IN = 32; - -pint N_NRN_X = 15; -pint N_NRN_Y = 6; -pint NC_NRN_X = 4; -pint NC_NRN_Y = 3; - -pint N_SYN_X = 15; -pint N_SYN_Y = 348; -pint NC_SYN_X = 4; -pint NC_SYN_Y = 9; - -pint N_SYN_DLY_CFG = 4; -pint N_BD_DLY_CFG = 4; -pint N_BD_DLY_CFG2 = 2; - -pint N_NRN_MON_X = N_NRN_X*2; // [mon,kill]*N -pint N_NRN_MON_Y = N_NRN_Y; // [mon]*N - -pint N_SYN_MON_X = N_SYN_X*4; // [mon, dev_mon, set, reset]*N -pint N_SYN_MON_Y = N_SYN_Y; // [mon]*N - -pint N_MON_AMZO_PER_SYN = 5; -pint N_MON_AMZO_PER_NRN = 3; - -pint N_FLAGS_PER_SYN = 5; // Syn: Must be at least 3 (since those ones have special safety) -pint N_FLAGS_PER_NRN = 3; // and leq than the number of bits in a reg, since have presumed only needs one. - -pint N_BUFFERS = 3; - -pint N_LINE_PD_DLY = 3; - -pint REG_NCA = 6; -pint REG_M = 1< in, out; - - Mx1of2 c1_reg_data[REG_M]; - - a1of1 c1_synapses[N_SYN_X * N_SYN_Y]; - a1of1 c1_neurons[N_NRN_X * N_NRN_Y]; - - bool! c1_dec_req_x[N_SYN_X], c1_dec_req_y[N_SYN_Y]; - bool? c1_dec_ackB[N_SYN_X]; - a1of1 c1_syn_pu[N_SYN_X]; - - a1of1 c1_enc_inx[N_NRN_X], c1_enc_iny[N_NRN_Y]; - a1of1 c1_nrn_pd_x[N_NRN_X], c1_nrn_pd_y[N_NRN_Y]; - - bool! c1_nrn_mon_x[N_NRN_MON_X], c1_nrn_mon_y[N_NRN_MON_Y]; - bool! c1_syn_mon_x[N_SYN_MON_X], c1_syn_mon_y[N_SYN_MON_Y]; - bool? c1_syn_mon_AMZI[N_SYN_X * N_MON_AMZO_PER_SYN], c1_nrn_mon_AMZI[N_NRN_X * N_MON_AMZO_PER_NRN]; - bool! c1_syn_mon_AMZO[N_MON_AMZO_PER_SYN], c1_nrn_mon_AMZO[N_MON_AMZO_PER_NRN]; - bool! c1_syn_flags_EFO[N_FLAGS_PER_SYN], c1_nrn_flags_EFO[N_FLAGS_PER_NRN]; - - bool! c1_reset_nrn_hs_BO[N_NRN_X], c1_reset_syn_hs_BO[N_SYN_X], - c1_reset_nrn_stge_BO[N_NRN_X], c1_reset_syn_stge_BO[N_SYN_X]; - - Mx1of2 c2_reg_data[REG_M]; - - a1of1 c2_synapses[N_SYN_X * N_SYN_Y]; - a1of1 c2_neurons[N_NRN_X * N_NRN_Y]; - - bool! c2_dec_req_x[N_SYN_X], c2_dec_req_y[N_SYN_Y]; - bool? c2_dec_ackB[N_SYN_X]; - a1of1 c2_syn_pu[N_SYN_X]; - - a1of1 c2_enc_inx[N_NRN_X], c2_enc_iny[N_NRN_Y]; - a1of1 c2_nrn_pd_x[N_NRN_X], c2_nrn_pd_y[N_NRN_Y]; - - bool! c2_nrn_mon_x[N_NRN_MON_X], c2_nrn_mon_y[N_NRN_MON_Y]; - bool! c2_syn_mon_x[N_SYN_MON_X], c2_syn_mon_y[N_SYN_MON_Y]; - bool? c2_syn_mon_AMZI[N_SYN_X * N_MON_AMZO_PER_SYN], c2_nrn_mon_AMZI[N_NRN_X * N_MON_AMZO_PER_NRN]; - bool! c2_syn_mon_AMZO[N_MON_AMZO_PER_SYN], c2_nrn_mon_AMZO[N_MON_AMZO_PER_NRN]; - bool! c2_syn_flags_EFO[N_FLAGS_PER_SYN], c2_nrn_flags_EFO[N_FLAGS_PER_NRN]; - - bool! c2_reset_nrn_hs_BO[N_NRN_X], c2_reset_syn_hs_BO[N_SYN_X], - c2_reset_nrn_stge_BO[N_NRN_X], c2_reset_syn_stge_BO[N_SYN_X]; - - bool! reset_B, reset_reg_B, reset_syn_stge_BI; - - bool? bd_dly_cfg[N_BD_DLY_CFG], bd_dly_cfg2[N_BD_DLY_CFG2]; - bool? loopback_en; - - bool? mapper_en; - avMx1of2<30> out_sram_wr; // Input packets to go to SRAM (rw word addr) - avMx1of2<8> out_sram_spk; // Spike packets from enc to go to SRAM (core-nrn addr) - avMx1of2<29> in_sram_r; // Readout packets from SRAM (data only) - avMx1of2<14> in_sram_spk // Spike packets from SRAM (core-syn addr) - - - ){ - - bool _reset_B; - prs { - Reset => _reset_B- - } - power supply; - supply.vdd = Vdd; - supply.vss = GND; - - texel_dualcore_mapper c(.in = in, .out = out, - .c1_reg_data = c1_reg_data, .c1_dec_req_x = c1_dec_req_x, .c1_dec_req_y = c1_dec_req_y, .c1_dec_ackB = c1_dec_ackB, .c1_syn_pu = c1_syn_pu, .c1_enc_inx = c1_enc_inx, .c1_enc_iny = c1_enc_iny, .c1_nrn_pd_x = c1_nrn_pd_x, .c1_nrn_pd_y = c1_nrn_pd_y, .c1_nrn_mon_x = c1_nrn_mon_x, .c1_nrn_mon_y = c1_nrn_mon_y, .c1_syn_mon_x = c1_syn_mon_x, .c1_syn_mon_y = c1_syn_mon_y, .c1_syn_mon_AMZI = c1_syn_mon_AMZI, .c1_nrn_mon_AMZI = c1_nrn_mon_AMZI, .c1_syn_mon_AMZO = c1_syn_mon_AMZO, .c1_nrn_mon_AMZO = c1_nrn_mon_AMZO, .c1_syn_flags_EFO = c1_syn_flags_EFO, .c1_nrn_flags_EFO = c1_nrn_flags_EFO, .c1_reset_nrn_hs_BO = c1_reset_nrn_hs_BO, .c1_reset_syn_hs_BO = c1_reset_syn_hs_BO, .c1_reset_nrn_stge_BO = c1_reset_nrn_stge_BO, .c1_reset_syn_stge_BO = c1_reset_syn_stge_BO, .c2_reg_data = c2_reg_data, .c2_dec_req_x = c2_dec_req_x, .c2_dec_req_y = c2_dec_req_y, .c2_dec_ackB = c2_dec_ackB, .c2_syn_pu = c2_syn_pu, .c2_enc_inx = c2_enc_inx, .c2_enc_iny = c2_enc_iny, .c2_nrn_pd_x = c2_nrn_pd_x, .c2_nrn_pd_y = c2_nrn_pd_y, .c2_nrn_mon_x = c2_nrn_mon_x, .c2_nrn_mon_y = c2_nrn_mon_y, .c2_syn_mon_x = c2_syn_mon_x, .c2_syn_mon_y = c2_syn_mon_y, .c2_syn_mon_AMZI = c2_syn_mon_AMZI, .c2_nrn_mon_AMZI = c2_nrn_mon_AMZI, .c2_syn_mon_AMZO = c2_syn_mon_AMZO, .c2_nrn_mon_AMZO = c2_nrn_mon_AMZO, .c2_syn_flags_EFO = c2_syn_flags_EFO, .c2_nrn_flags_EFO = c2_nrn_flags_EFO, .c2_reset_nrn_hs_BO = c2_reset_nrn_hs_BO, .c2_reset_syn_hs_BO = c2_reset_syn_hs_BO, .c2_reset_nrn_stge_BO = c2_reset_nrn_stge_BO, .c2_reset_syn_stge_BO = c2_reset_syn_stge_BO, - .bd_dly_cfg = bd_dly_cfg, .bd_dly_cfg2 = bd_dly_cfg2, - .loopback_en = loopback_en, - .mapper_en = mapper_en, - .out_sram_wr = out_sram_wr, .out_sram_spk = out_sram_spk, - .in_sram_r = in_sram_r, .in_sram_spk = in_sram_spk, - .reset_B = reset_B, .reset_reg_B = reset_reg_B, .reset_syn_stge_BI = reset_syn_stge_BI, - .supply = supply); - - pint N_NRN = N_NRN_X * N_NRN_Y; - pint N_SYN_PER_NRN = (N_SYN_X * N_SYN_Y)/N_NRN; - dummy_neuron_core c1_dummy_neuron_core(.synapses = c1_synapses, .neurons = c1_neurons, - .supply = supply); - dummy_neuron_core c2_dummy_neuron_core(.synapses = c2_synapses, .neurons = c2_neurons, - .supply = supply); - - decoder_2d_synapse_hs c1_syn_grid( - .synapses = c1_synapses, - .in_req_x = c1_dec_req_x, .in_req_y = c1_dec_req_y, - .to_pu = c1_syn_pu, - .out_ackB_decoder = c1_dec_ackB, - .supply = supply); - - nrn_hs_2d_array c1_nrn_grid(.in = c1_neurons, - .outx = c1_enc_inx, .outy = c1_enc_iny, - .to_pd_x = c1_nrn_pd_x, .to_pd_y = c1_nrn_pd_y, - .supply = supply, .reset_B = _reset_B); - - decoder_2d_synapse_hs c2_syn_grid( - .synapses = c2_synapses, - .in_req_x = c2_dec_req_x, .in_req_y = c2_dec_req_y, - .to_pu = c2_syn_pu, - .out_ackB_decoder = c2_dec_ackB, - .supply = supply); - - nrn_hs_2d_array c2_nrn_grid(.in = c2_neurons, - .outx = c2_enc_inx, .outy = c2_enc_iny, - .to_pd_x = c2_nrn_pd_x, .to_pd_y = c2_nrn_pd_y, - .supply = supply, .reset_B = _reset_B); - - -} - - -// fifo_decoder_neurons_encoder_fifo e; -chip_texel_dualcore c; \ No newline at end of file diff --git a/test/unit_tests/texel_dualcore_glue_mapper/test.prsim b/test/unit_tests/texel_dualcore_glue_mapper/test.prsim deleted file mode 100644 index f6b28c8..0000000 --- a/test/unit_tests/texel_dualcore_glue_mapper/test.prsim +++ /dev/null @@ -1,8763 +0,0 @@ -# watchall -watch c.c1_synapses[0].r -watch c.c1_synapses[0].a -watch c.c1_neurons[0].r -watch c.c1_neurons[0].a - -# set-qdi-channel-neutral "c.out_sram_wr" 30 -# set-qdi-channel-neutral "c.out_sram_spk" 8 -set c.out_sram_wr.a 0 -set c.out_sram_wr.v 0 -set c.out_sram_spk.a 0 -set c.out_sram_spk.v 0 -set-qdi-channel-neutral "c.in_sram_r" 29 -set-qdi-channel-neutral "c.in_sram_spk" 14 -set c.mapper_en 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-bd-channel-neutral "c.in" 32 -set c.out.a 0 -set c.loopback_en 1 -# set c.loopback_en 0 -set Reset 1 -set c.reset_B 0 -set c.reset_reg_B 0 -set c.reset_syn_stge_BI 0 - -cycle - -mode run -status X -system "echo '[] Set reset 0'" -# status X -set Reset 0 -set c.reset_B 1 -set c.reset_reg_B 1 -set c.reset_syn_stge_BI 1 -cycle -status X - -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 300877 to core 0 address 7'" -set-bd-data-valid "c.in" 32 1629868871 -cycle -set c.in.r 1 -cycle -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 8168774 to core 0 address 8'" -set-bd-data-valid "c.in" 32 2133414280 -cycle -set c.in.r 1 -cycle -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 6819022 to core 0 address 9'" -set-bd-data-valid "c.in" 32 2047030153 -cycle -set c.in.r 1 -cycle -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 7066908 to core 0 address 10'" -set-bd-data-valid "c.in" 32 2062894858 -cycle -set c.in.r 1 -cycle -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 6007478 to core 0 address 11'" -set-bd-data-valid "c.in" 32 1995091339 -cycle -set c.in.r 1 -cycle -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 1796383 to core 0 address 12'" -set-bd-data-valid "c.in" 32 1725581260 -cycle -set c.in.r 1 -cycle -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 529499 to core 0 address 13'" -set-bd-data-valid "c.in" 32 1644500685 -cycle -set c.in.r 1 -cycle -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 8339184 to core 0 address 14'" -set-bd-data-valid "c.in" 32 2144320526 -cycle -set c.in.r 1 -cycle -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 4473171 to core 0 address 15'" -set-bd-data-valid "c.in" 32 1896895695 -cycle -set c.in.r 1 -cycle -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 4098327 to core 0 address 16'" -set-bd-data-valid "c.in" 32 1872905680 -cycle -set c.in.r 1 -cycle -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 7375816 to core 0 address 17'" -set-bd-data-valid "c.in" 32 2082664977 -cycle -set c.in.r 1 -cycle -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 1483731 to core 0 address 18'" -set-bd-data-valid "c.in" 32 1705571538 -cycle -set c.in.r 1 -cycle -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 124808 to core 0 address 19'" -set-bd-data-valid "c.in" 32 1618600467 -cycle -set c.in.r 1 -cycle -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 6345504 to core 0 address 20'" -set-bd-data-valid "c.in" 32 2016725012 -cycle -set c.in.r 1 -cycle -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 4703565 to core 0 address 21'" -set-bd-data-valid "c.in" 32 1911640917 -cycle -set c.in.r 1 -cycle -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 545667 to core 0 address 22'" -set-bd-data-valid "c.in" 32 1645535446 -cycle -set c.in.r 1 -cycle -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 2934273 to core 0 address 23'" -set-bd-data-valid "c.in" 32 1798406231 -cycle -set c.in.r 1 -cycle -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 8068256 to core 0 address 24'" -set-bd-data-valid "c.in" 32 2126981144 -cycle -set c.in.r 1 -cycle -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 362058 to core 0 address 25'" -set-bd-data-valid "c.in" 32 1633784473 -cycle -set c.in.r 1 -cycle -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 7133693 to core 0 address 26'" -set-bd-data-valid "c.in" 32 2067169114 -cycle -set c.in.r 1 -cycle -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 6208620 to core 0 address 27'" -set-bd-data-valid "c.in" 32 2007964443 -cycle -set c.in.r 1 -cycle -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 3246295 to core 0 address 28'" -set-bd-data-valid "c.in" 32 1818375644 -cycle -set c.in.r 1 -cycle -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 4950819 to core 0 address 29'" -set-bd-data-valid "c.in" 32 1927465181 -cycle -set c.in.r 1 -cycle -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 3427279 to core 0 address 30'" -set-bd-data-valid "c.in" 32 1829958622 -cycle -set c.in.r 1 -cycle -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 2161769 to core 0 address 31'" -set-bd-data-valid "c.in" 32 1748965983 -cycle -set c.in.r 1 -cycle -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 803373 to core 0 address 32'" -set-bd-data-valid "c.in" 32 1662028640 -cycle -set c.in.r 1 -cycle -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 3512045 to core 0 address 33'" -set-bd-data-valid "c.in" 32 1835383649 -cycle -set c.in.r 1 -cycle -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 5493302 to core 0 address 34'" -set-bd-data-valid "c.in" 32 1962184098 -cycle -set c.in.r 1 -cycle -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 8360505 to core 0 address 35'" -set-bd-data-valid "c.in" 32 2145685091 -cycle -set c.in.r 1 -cycle -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 3587872 to core 0 address 36'" -set-bd-data-valid "c.in" 32 1840236580 -cycle -set c.in.r 1 -cycle -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 2663456 to core 0 address 37'" -set-bd-data-valid "c.in" 32 1781073957 -cycle -set c.in.r 1 -cycle -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 7317802 to core 0 address 38'" -set-bd-data-valid "c.in" 32 2078952102 -cycle -set c.in.r 1 -cycle -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 7819386 to core 0 address 39'" -set-bd-data-valid "c.in" 32 2111053479 -cycle -set c.in.r 1 -cycle -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 4933143 to core 0 address 40'" -set-bd-data-valid "c.in" 32 1926333928 -cycle -set c.in.r 1 -cycle -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 977823 to core 0 address 41'" -set-bd-data-valid "c.in" 32 1673193449 -cycle -set c.in.r 1 -cycle -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 1264214 to core 0 address 42'" -set-bd-data-valid "c.in" 32 1691522474 -cycle -set c.in.r 1 -cycle -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 2486191 to core 0 address 43'" -set-bd-data-valid "c.in" 32 1769729003 -cycle -set c.in.r 1 -cycle -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 6442835 to core 0 address 44'" -set-bd-data-valid "c.in" 32 2022954220 -cycle -set c.in.r 1 -cycle -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 3170993 to core 0 address 45'" -set-bd-data-valid "c.in" 32 1813556333 -cycle -set c.in.r 1 -cycle -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 6668057 to core 0 address 46'" -set-bd-data-valid "c.in" 32 2037368430 -cycle -set c.in.r 1 -cycle -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 4318000 to core 0 address 47'" -set-bd-data-valid "c.in" 32 1886964783 -cycle -set c.in.r 1 -cycle -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 8011 to core 0 address 48'" -set-bd-data-valid "c.in" 32 1611125488 -cycle -set c.in.r 1 -cycle -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 7587516 to core 0 address 49'" -set-bd-data-valid "c.in" 32 2096213809 -cycle -set c.in.r 1 -cycle -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 7421115 to core 0 address 50'" -set-bd-data-valid "c.in" 32 2085564146 -cycle -set c.in.r 1 -cycle -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 1427337 to core 0 address 51'" -set-bd-data-valid "c.in" 32 1701962355 -cycle -set c.in.r 1 -cycle -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 5447713 to core 0 address 52'" -set-bd-data-valid "c.in" 32 1959266420 -cycle -set c.in.r 1 -cycle -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 4562783 to core 0 address 53'" -set-bd-data-valid "c.in" 32 1902630901 -cycle -set c.in.r 1 -cycle -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 129309 to core 0 address 54'" -set-bd-data-valid "c.in" 32 1618888566 -cycle -set c.in.r 1 -cycle -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 8162919 to core 0 address 55'" -set-bd-data-valid "c.in" 32 2133039607 -cycle -set c.in.r 1 -cycle -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 7209585 to core 0 address 56'" -set-bd-data-valid "c.in" 32 2072026232 -cycle -set c.in.r 1 -cycle -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 985012 to core 0 address 57'" -set-bd-data-valid "c.in" 32 1673653561 -cycle -set c.in.r 1 -cycle -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 269199 to core 0 address 58'" -set-bd-data-valid "c.in" 32 1627841530 -cycle -set c.in.r 1 -cycle -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 2817667 to core 0 address 59'" -set-bd-data-valid "c.in" 32 1790943483 -cycle -set c.in.r 1 -cycle -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 2771837 to core 0 address 60'" -set-bd-data-valid "c.in" 32 1788010364 -cycle -set c.in.r 1 -cycle -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 1588573 to core 0 address 61'" -set-bd-data-valid "c.in" 32 1712281469 -cycle -set c.in.r 1 -cycle -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 3092595 to core 0 address 62'" -set-bd-data-valid "c.in" 32 1808538878 -cycle -set c.in.r 1 -cycle -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 8138343 to core 0 address 63'" -set-bd-data-valid "c.in" 32 2131466751 -cycle -set c.in.r 1 -cycle -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 2993408 to core 1 address 7'" -set-bd-data-valid "c.in" 32 3949674503 -cycle -set c.in.r 1 -cycle -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 6012528 to core 1 address 8'" -set-bd-data-valid "c.in" 32 4142898184 -cycle -set c.in.r 1 -cycle -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 7667645 to core 1 address 9'" -set-bd-data-valid "c.in" 32 4248825673 -cycle -set c.in.r 1 -cycle -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 7943676 to core 1 address 10'" -set-bd-data-valid "c.in" 32 4266491658 -cycle -set c.in.r 1 -cycle -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 5944430 to core 1 address 11'" -set-bd-data-valid "c.in" 32 4138539915 -cycle -set c.in.r 1 -cycle -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 5096299 to core 1 address 12'" -set-bd-data-valid "c.in" 32 4084259532 -cycle -set c.in.r 1 -cycle -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 4202109 to core 1 address 13'" -set-bd-data-valid "c.in" 32 4027031373 -cycle -set c.in.r 1 -cycle -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 5685461 to core 1 address 14'" -set-bd-data-valid "c.in" 32 4121965902 -cycle -set c.in.r 1 -cycle -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 2770749 to core 1 address 15'" -set-bd-data-valid "c.in" 32 3935424335 -cycle -set c.in.r 1 -cycle -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 8059196 to core 1 address 16'" -set-bd-data-valid "c.in" 32 4273884944 -cycle -set c.in.r 1 -cycle -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 6488647 to core 1 address 17'" -set-bd-data-valid "c.in" 32 4173369809 -cycle -set c.in.r 1 -cycle -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 4471476 to core 1 address 18'" -set-bd-data-valid "c.in" 32 4044270866 -cycle -set c.in.r 1 -cycle -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 2326036 to core 1 address 19'" -set-bd-data-valid "c.in" 32 3906962707 -cycle -set c.in.r 1 -cycle -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 2198419 to core 1 address 20'" -set-bd-data-valid "c.in" 32 3898795220 -cycle -set c.in.r 1 -cycle -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 8031160 to core 1 address 21'" -set-bd-data-valid "c.in" 32 4272090645 -cycle -set c.in.r 1 -cycle -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 2158838 to core 1 address 22'" -set-bd-data-valid "c.in" 32 3896262038 -cycle -set c.in.r 1 -cycle -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 1621672 to core 1 address 23'" -set-bd-data-valid "c.in" 32 3861883415 -cycle -set c.in.r 1 -cycle -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 3819036 to core 1 address 24'" -set-bd-data-valid "c.in" 32 4002514712 -cycle -set c.in.r 1 -cycle -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 4857680 to core 1 address 25'" -set-bd-data-valid "c.in" 32 4068987929 -cycle -set c.in.r 1 -cycle -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 1164285 to core 1 address 26'" -set-bd-data-valid "c.in" 32 3832610650 -cycle -set c.in.r 1 -cycle -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 1816084 to core 1 address 27'" -set-bd-data-valid "c.in" 32 3874325787 -cycle -set c.in.r 1 -cycle -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 6794001 to core 1 address 28'" -set-bd-data-valid "c.in" 32 4192912476 -cycle -set c.in.r 1 -cycle -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 8055516 to core 1 address 29'" -set-bd-data-valid "c.in" 32 4273649437 -cycle -set c.in.r 1 -cycle -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 1903302 to core 1 address 30'" -set-bd-data-valid "c.in" 32 3879907742 -cycle -set c.in.r 1 -cycle -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 1512973 to core 1 address 31'" -set-bd-data-valid "c.in" 32 3854926687 -cycle -set c.in.r 1 -cycle -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 6365867 to core 1 address 32'" -set-bd-data-valid "c.in" 32 4165511904 -cycle -set c.in.r 1 -cycle -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 315176 to core 1 address 33'" -set-bd-data-valid "c.in" 32 3778267681 -cycle -set c.in.r 1 -cycle -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 5480951 to core 1 address 34'" -set-bd-data-valid "c.in" 32 4108877282 -cycle -set c.in.r 1 -cycle -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 6176549 to core 1 address 35'" -set-bd-data-valid "c.in" 32 4153395555 -cycle -set c.in.r 1 -cycle -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 360901 to core 1 address 36'" -set-bd-data-valid "c.in" 32 3781194084 -cycle -set c.in.r 1 -cycle -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 5805656 to core 1 address 37'" -set-bd-data-valid "c.in" 32 4129658405 -cycle -set c.in.r 1 -cycle -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 8079434 to core 1 address 38'" -set-bd-data-valid "c.in" 32 4275180198 -cycle -set c.in.r 1 -cycle -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 5656698 to core 1 address 39'" -set-bd-data-valid "c.in" 32 4120125095 -cycle -set c.in.r 1 -cycle -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 293288 to core 1 address 40'" -set-bd-data-valid "c.in" 32 3776866856 -cycle -set c.in.r 1 -cycle -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 618263 to core 1 address 41'" -set-bd-data-valid "c.in" 32 3797665257 -cycle -set c.in.r 1 -cycle -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 4764604 to core 1 address 42'" -set-bd-data-valid "c.in" 32 4063031082 -cycle -set c.in.r 1 -cycle -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 3710081 to core 1 address 43'" -set-bd-data-valid "c.in" 32 3995541611 -cycle -set c.in.r 1 -cycle -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 3568756 to core 1 address 44'" -set-bd-data-valid "c.in" 32 3986496812 -cycle -set c.in.r 1 -cycle -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 7975113 to core 1 address 45'" -set-bd-data-valid "c.in" 32 4268503661 -cycle -set c.in.r 1 -cycle -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 6975302 to core 1 address 46'" -set-bd-data-valid "c.in" 32 4204515758 -cycle -set c.in.r 1 -cycle -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 2858147 to core 1 address 47'" -set-bd-data-valid "c.in" 32 3941017839 -cycle -set c.in.r 1 -cycle -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 3333423 to core 1 address 48'" -set-bd-data-valid "c.in" 32 3971435504 -cycle -set c.in.r 1 -cycle -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 3592276 to core 1 address 49'" -set-bd-data-valid "c.in" 32 3988002097 -cycle -set c.in.r 1 -cycle -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 349968 to core 1 address 50'" -set-bd-data-valid "c.in" 32 3780494386 -cycle -set c.in.r 1 -cycle -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 244972 to core 1 address 51'" -set-bd-data-valid "c.in" 32 3773774643 -cycle -set c.in.r 1 -cycle -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 7010796 to core 1 address 52'" -set-bd-data-valid "c.in" 32 4206787380 -cycle -set c.in.r 1 -cycle -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 7204557 to core 1 address 53'" -set-bd-data-valid "c.in" 32 4219188085 -cycle -set c.in.r 1 -cycle -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 5858103 to core 1 address 54'" -set-bd-data-valid "c.in" 32 4133015030 -cycle -set c.in.r 1 -cycle -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 6909525 to core 1 address 55'" -set-bd-data-valid "c.in" 32 4200306039 -cycle -set c.in.r 1 -cycle -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 8130905 to core 1 address 56'" -set-bd-data-valid "c.in" 32 4278474360 -cycle -set c.in.r 1 -cycle -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 4877284 to core 1 address 57'" -set-bd-data-valid "c.in" 32 4070242617 -cycle -set c.in.r 1 -cycle -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 3384251 to core 1 address 58'" -set-bd-data-valid "c.in" 32 3974688506 -cycle -set c.in.r 1 -cycle -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 2819200 to core 1 address 59'" -set-bd-data-valid "c.in" 32 3938525243 -cycle -set c.in.r 1 -cycle -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 1126121 to core 1 address 60'" -set-bd-data-valid "c.in" 32 3830168188 -cycle -set c.in.r 1 -cycle -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 3722713 to core 1 address 61'" -set-bd-data-valid "c.in" 32 3996350077 -cycle -set c.in.r 1 -cycle -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 1683718 to core 1 address 62'" -set-bd-data-valid "c.in" 32 3865854398 -cycle -set c.in.r 1 -cycle -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 4969626 to core 1 address 63'" -set-bd-data-valid "c.in" 32 4076152511 -cycle -set c.in.r 1 -cycle -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 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 300877 from core 0 register 7'" -assert-bd-channel-valid "c.out" 32 1092997959 -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 8168774 from core 0 register 8'" -assert-bd-channel-valid "c.out" 32 1596543368 -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 6819022 from core 0 register 9'" -assert-bd-channel-valid "c.out" 32 1510159241 -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 7066908 from core 0 register 10'" -assert-bd-channel-valid "c.out" 32 1526023946 -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 6007478 from core 0 register 11'" -assert-bd-channel-valid "c.out" 32 1458220427 -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 1796383 from core 0 register 12'" -assert-bd-channel-valid "c.out" 32 1188710348 -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 529499 from core 0 register 13'" -assert-bd-channel-valid "c.out" 32 1107629773 -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 8339184 from core 0 register 14'" -assert-bd-channel-valid "c.out" 32 1607449614 -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 4473171 from core 0 register 15'" -assert-bd-channel-valid "c.out" 32 1360024783 -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 4098327 from core 0 register 16'" -assert-bd-channel-valid "c.out" 32 1336034768 -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 7375816 from core 0 register 17'" -assert-bd-channel-valid "c.out" 32 1545794065 -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 1483731 from core 0 register 18'" -assert-bd-channel-valid "c.out" 32 1168700626 -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 124808 from core 0 register 19'" -assert-bd-channel-valid "c.out" 32 1081729555 -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 6345504 from core 0 register 20'" -assert-bd-channel-valid "c.out" 32 1479854100 -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 4703565 from core 0 register 21'" -assert-bd-channel-valid "c.out" 32 1374770005 -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 545667 from core 0 register 22'" -assert-bd-channel-valid "c.out" 32 1108664534 -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 2934273 from core 0 register 23'" -assert-bd-channel-valid "c.out" 32 1261535319 -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 8068256 from core 0 register 24'" -assert-bd-channel-valid "c.out" 32 1590110232 -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 362058 from core 0 register 25'" -assert-bd-channel-valid "c.out" 32 1096913561 -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 7133693 from core 0 register 26'" -assert-bd-channel-valid "c.out" 32 1530298202 -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 6208620 from core 0 register 27'" -assert-bd-channel-valid "c.out" 32 1471093531 -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 3246295 from core 0 register 28'" -assert-bd-channel-valid "c.out" 32 1281504732 -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 4950819 from core 0 register 29'" -assert-bd-channel-valid "c.out" 32 1390594269 -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 3427279 from core 0 register 30'" -assert-bd-channel-valid "c.out" 32 1293087710 -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 2161769 from core 0 register 31'" -assert-bd-channel-valid "c.out" 32 1212095071 -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 803373 from core 0 register 32'" -assert-bd-channel-valid "c.out" 32 1125157728 -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 3512045 from core 0 register 33'" -assert-bd-channel-valid "c.out" 32 1298512737 -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 5493302 from core 0 register 34'" -assert-bd-channel-valid "c.out" 32 1425313186 -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 8360505 from core 0 register 35'" -assert-bd-channel-valid "c.out" 32 1608814179 -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 3587872 from core 0 register 36'" -assert-bd-channel-valid "c.out" 32 1303365668 -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 2663456 from core 0 register 37'" -assert-bd-channel-valid "c.out" 32 1244203045 -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 7317802 from core 0 register 38'" -assert-bd-channel-valid "c.out" 32 1542081190 -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 7819386 from core 0 register 39'" -assert-bd-channel-valid "c.out" 32 1574182567 -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 4933143 from core 0 register 40'" -assert-bd-channel-valid "c.out" 32 1389463016 -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 977823 from core 0 register 41'" -assert-bd-channel-valid "c.out" 32 1136322537 -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 1264214 from core 0 register 42'" -assert-bd-channel-valid "c.out" 32 1154651562 -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 2486191 from core 0 register 43'" -assert-bd-channel-valid "c.out" 32 1232858091 -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 6442835 from core 0 register 44'" -assert-bd-channel-valid "c.out" 32 1486083308 -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 3170993 from core 0 register 45'" -assert-bd-channel-valid "c.out" 32 1276685421 -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 6668057 from core 0 register 46'" -assert-bd-channel-valid "c.out" 32 1500497518 -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 4318000 from core 0 register 47'" -assert-bd-channel-valid "c.out" 32 1350093871 -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 8011 from core 0 register 48'" -assert-bd-channel-valid "c.out" 32 1074254576 -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 7587516 from core 0 register 49'" -assert-bd-channel-valid "c.out" 32 1559342897 -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 7421115 from core 0 register 50'" -assert-bd-channel-valid "c.out" 32 1548693234 -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 1427337 from core 0 register 51'" -assert-bd-channel-valid "c.out" 32 1165091443 -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 5447713 from core 0 register 52'" -assert-bd-channel-valid "c.out" 32 1422395508 -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 4562783 from core 0 register 53'" -assert-bd-channel-valid "c.out" 32 1365759989 -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 129309 from core 0 register 54'" -assert-bd-channel-valid "c.out" 32 1082017654 -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 8162919 from core 0 register 55'" -assert-bd-channel-valid "c.out" 32 1596168695 -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 7209585 from core 0 register 56'" -assert-bd-channel-valid "c.out" 32 1535155320 -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 985012 from core 0 register 57'" -assert-bd-channel-valid "c.out" 32 1136782649 -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 269199 from core 0 register 58'" -assert-bd-channel-valid "c.out" 32 1090970618 -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 2817667 from core 0 register 59'" -assert-bd-channel-valid "c.out" 32 1254072571 -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 2771837 from core 0 register 60'" -assert-bd-channel-valid "c.out" 32 1251139452 -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 1588573 from core 0 register 61'" -assert-bd-channel-valid "c.out" 32 1175410557 -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 3092595 from core 0 register 62'" -assert-bd-channel-valid "c.out" 32 1271667966 -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 8138343 from core 0 register 63'" -assert-bd-channel-valid "c.out" 32 1594595839 -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 2993408 from core 1 register 7'" -assert-bd-channel-valid "c.out" 32 3412803591 -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 6012528 from core 1 register 8'" -assert-bd-channel-valid "c.out" 32 3606027272 -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 7667645 from core 1 register 9'" -assert-bd-channel-valid "c.out" 32 3711954761 -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 7943676 from core 1 register 10'" -assert-bd-channel-valid "c.out" 32 3729620746 -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 5944430 from core 1 register 11'" -assert-bd-channel-valid "c.out" 32 3601669003 -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 5096299 from core 1 register 12'" -assert-bd-channel-valid "c.out" 32 3547388620 -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 4202109 from core 1 register 13'" -assert-bd-channel-valid "c.out" 32 3490160461 -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 5685461 from core 1 register 14'" -assert-bd-channel-valid "c.out" 32 3585094990 -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 2770749 from core 1 register 15'" -assert-bd-channel-valid "c.out" 32 3398553423 -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 8059196 from core 1 register 16'" -assert-bd-channel-valid "c.out" 32 3737014032 -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 6488647 from core 1 register 17'" -assert-bd-channel-valid "c.out" 32 3636498897 -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 4471476 from core 1 register 18'" -assert-bd-channel-valid "c.out" 32 3507399954 -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 2326036 from core 1 register 19'" -assert-bd-channel-valid "c.out" 32 3370091795 -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 2198419 from core 1 register 20'" -assert-bd-channel-valid "c.out" 32 3361924308 -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 8031160 from core 1 register 21'" -assert-bd-channel-valid "c.out" 32 3735219733 -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 2158838 from core 1 register 22'" -assert-bd-channel-valid "c.out" 32 3359391126 -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 1621672 from core 1 register 23'" -assert-bd-channel-valid "c.out" 32 3325012503 -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 3819036 from core 1 register 24'" -assert-bd-channel-valid "c.out" 32 3465643800 -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 4857680 from core 1 register 25'" -assert-bd-channel-valid "c.out" 32 3532117017 -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 1164285 from core 1 register 26'" -assert-bd-channel-valid "c.out" 32 3295739738 -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 1816084 from core 1 register 27'" -assert-bd-channel-valid "c.out" 32 3337454875 -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 6794001 from core 1 register 28'" -assert-bd-channel-valid "c.out" 32 3656041564 -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 8055516 from core 1 register 29'" -assert-bd-channel-valid "c.out" 32 3736778525 -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 1903302 from core 1 register 30'" -assert-bd-channel-valid "c.out" 32 3343036830 -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 1512973 from core 1 register 31'" -assert-bd-channel-valid "c.out" 32 3318055775 -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 6365867 from core 1 register 32'" -assert-bd-channel-valid "c.out" 32 3628640992 -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 315176 from core 1 register 33'" -assert-bd-channel-valid "c.out" 32 3241396769 -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 5480951 from core 1 register 34'" -assert-bd-channel-valid "c.out" 32 3572006370 -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 6176549 from core 1 register 35'" -assert-bd-channel-valid "c.out" 32 3616524643 -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 360901 from core 1 register 36'" -assert-bd-channel-valid "c.out" 32 3244323172 -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 5805656 from core 1 register 37'" -assert-bd-channel-valid "c.out" 32 3592787493 -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 8079434 from core 1 register 38'" -assert-bd-channel-valid "c.out" 32 3738309286 -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 5656698 from core 1 register 39'" -assert-bd-channel-valid "c.out" 32 3583254183 -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 293288 from core 1 register 40'" -assert-bd-channel-valid "c.out" 32 3239995944 -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 618263 from core 1 register 41'" -assert-bd-channel-valid "c.out" 32 3260794345 -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 4764604 from core 1 register 42'" -assert-bd-channel-valid "c.out" 32 3526160170 -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 3710081 from core 1 register 43'" -assert-bd-channel-valid "c.out" 32 3458670699 -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 3568756 from core 1 register 44'" -assert-bd-channel-valid "c.out" 32 3449625900 -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 7975113 from core 1 register 45'" -assert-bd-channel-valid "c.out" 32 3731632749 -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 6975302 from core 1 register 46'" -assert-bd-channel-valid "c.out" 32 3667644846 -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 2858147 from core 1 register 47'" -assert-bd-channel-valid "c.out" 32 3404146927 -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 3333423 from core 1 register 48'" -assert-bd-channel-valid "c.out" 32 3434564592 -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 3592276 from core 1 register 49'" -assert-bd-channel-valid "c.out" 32 3451131185 -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 349968 from core 1 register 50'" -assert-bd-channel-valid "c.out" 32 3243623474 -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 244972 from core 1 register 51'" -assert-bd-channel-valid "c.out" 32 3236903731 -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 7010796 from core 1 register 52'" -assert-bd-channel-valid "c.out" 32 3669916468 -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 7204557 from core 1 register 53'" -assert-bd-channel-valid "c.out" 32 3682317173 -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 5858103 from core 1 register 54'" -assert-bd-channel-valid "c.out" 32 3596144118 -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 6909525 from core 1 register 55'" -assert-bd-channel-valid "c.out" 32 3663435127 -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 8130905 from core 1 register 56'" -assert-bd-channel-valid "c.out" 32 3741603448 -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 4877284 from core 1 register 57'" -assert-bd-channel-valid "c.out" 32 3533371705 -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 3384251 from core 1 register 58'" -assert-bd-channel-valid "c.out" 32 3437817594 -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 2819200 from core 1 register 59'" -assert-bd-channel-valid "c.out" 32 3401654331 -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 1126121 from core 1 register 60'" -assert-bd-channel-valid "c.out" 32 3293297276 -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 3722713 from core 1 register 61'" -assert-bd-channel-valid "c.out" 32 3459479165 -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 1683718 from core 1 register 62'" -assert-bd-channel-valid "c.out" 32 3328983486 -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 4969626 from core 1 register 63'" -assert-bd-channel-valid "c.out" 32 3539281599 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - - -# Cool targetting jazz -# targeters should be disabled atm. -assert c.c1_nrn_mon_x[0] 0 -assert c.c1_nrn_mon_x[0] 0 - -assert c.c1_nrn_mon_x[0] 0 -assert c.c1_nrn_mon_x[1] 0 -assert c.c1_nrn_mon_x[2] 0 -assert c.c1_nrn_mon_x[3] 0 -assert c.c1_nrn_mon_x[4] 0 -assert c.c1_nrn_mon_x[5] 0 -assert c.c1_nrn_mon_x[6] 0 -assert c.c1_nrn_mon_x[7] 0 -assert c.c1_nrn_mon_x[8] 0 -assert c.c1_nrn_mon_x[9] 0 -assert c.c1_nrn_mon_x[10] 0 -assert c.c1_nrn_mon_x[11] 0 -assert c.c1_nrn_mon_x[12] 0 -assert c.c1_nrn_mon_x[13] 0 -assert c.c1_nrn_mon_x[14] 0 -assert c.c1_nrn_mon_x[15] 0 -assert c.c1_nrn_mon_x[16] 0 -assert c.c1_nrn_mon_x[17] 0 -assert c.c1_nrn_mon_x[18] 0 -assert c.c1_nrn_mon_x[19] 0 -assert c.c1_nrn_mon_x[20] 0 -assert c.c1_nrn_mon_x[21] 0 -assert c.c1_nrn_mon_x[22] 0 -assert c.c1_nrn_mon_x[23] 0 -assert c.c1_nrn_mon_x[24] 0 -assert c.c1_nrn_mon_x[25] 0 -assert c.c1_nrn_mon_x[26] 0 -assert c.c1_nrn_mon_x[27] 0 -assert c.c1_nrn_mon_x[28] 0 -assert c.c1_nrn_mon_x[29] 0 - -assert c.c1_nrn_mon_y[0] 0 -assert c.c1_nrn_mon_y[1] 0 -assert c.c1_nrn_mon_y[2] 0 -assert c.c1_nrn_mon_y[3] 0 -assert c.c1_nrn_mon_y[4] 0 -assert c.c1_nrn_mon_y[5] 0 - - -assert c.c1_syn_mon_x[0] 0 -assert c.c1_syn_mon_x[1] 0 -assert c.c1_syn_mon_x[2] 0 -assert c.c1_syn_mon_x[3] 1 -assert c.c1_syn_mon_x[4] 0 -assert c.c1_syn_mon_x[5] 0 -assert c.c1_syn_mon_x[6] 0 -assert c.c1_syn_mon_x[7] 1 -assert c.c1_syn_mon_x[8] 0 -assert c.c1_syn_mon_x[9] 0 -assert c.c1_syn_mon_x[10] 0 -assert c.c1_syn_mon_x[11] 1 -assert c.c1_syn_mon_x[12] 0 -assert c.c1_syn_mon_x[13] 0 -assert c.c1_syn_mon_x[14] 0 -assert c.c1_syn_mon_x[15] 1 -assert c.c1_syn_mon_x[16] 0 -assert c.c1_syn_mon_x[17] 0 -assert c.c1_syn_mon_x[18] 0 -assert c.c1_syn_mon_x[19] 1 -assert c.c1_syn_mon_x[20] 0 -assert c.c1_syn_mon_x[21] 0 -assert c.c1_syn_mon_x[22] 0 -assert c.c1_syn_mon_x[23] 1 -assert c.c1_syn_mon_x[24] 0 -assert c.c1_syn_mon_x[25] 0 -assert c.c1_syn_mon_x[26] 0 -assert c.c1_syn_mon_x[27] 1 -assert c.c1_syn_mon_x[28] 0 -assert c.c1_syn_mon_x[29] 0 -assert c.c1_syn_mon_x[30] 0 -assert c.c1_syn_mon_x[31] 1 -assert c.c1_syn_mon_x[32] 0 -assert c.c1_syn_mon_x[33] 0 -assert c.c1_syn_mon_x[34] 0 -assert c.c1_syn_mon_x[35] 1 -assert c.c1_syn_mon_x[36] 0 -assert c.c1_syn_mon_x[37] 0 -assert c.c1_syn_mon_x[38] 0 -assert c.c1_syn_mon_x[39] 1 -assert c.c1_syn_mon_x[40] 0 -assert c.c1_syn_mon_x[41] 0 -assert c.c1_syn_mon_x[42] 0 -assert c.c1_syn_mon_x[43] 1 -assert c.c1_syn_mon_x[44] 0 -assert c.c1_syn_mon_x[45] 0 -assert c.c1_syn_mon_x[46] 0 -assert c.c1_syn_mon_x[47] 1 -assert c.c1_syn_mon_x[48] 0 -assert c.c1_syn_mon_x[49] 0 -assert c.c1_syn_mon_x[50] 0 -assert c.c1_syn_mon_x[51] 1 -assert c.c1_syn_mon_x[52] 0 -assert c.c1_syn_mon_x[53] 0 -assert c.c1_syn_mon_x[54] 0 -assert c.c1_syn_mon_x[55] 1 -assert c.c1_syn_mon_x[56] 0 -assert c.c1_syn_mon_x[57] 0 -assert c.c1_syn_mon_x[58] 0 -assert c.c1_syn_mon_x[59] 1 - -# Target neuron mon [25,3] -system "echo '[] Writing 121 to core 0 address 2'" -set-bd-data-valid "c.in" 32 1610620482 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" - -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - -assert c.c1_nrn_mon_x[0] 0 -assert c.c1_nrn_mon_x[1] 0 -assert c.c1_nrn_mon_x[2] 0 -assert c.c1_nrn_mon_x[3] 0 -assert c.c1_nrn_mon_x[4] 0 -assert c.c1_nrn_mon_x[5] 0 -assert c.c1_nrn_mon_x[6] 0 -assert c.c1_nrn_mon_x[7] 0 -assert c.c1_nrn_mon_x[8] 0 -assert c.c1_nrn_mon_x[9] 0 -assert c.c1_nrn_mon_x[10] 0 -assert c.c1_nrn_mon_x[11] 0 -assert c.c1_nrn_mon_x[12] 0 -assert c.c1_nrn_mon_x[13] 0 -assert c.c1_nrn_mon_x[14] 0 -assert c.c1_nrn_mon_x[15] 0 -assert c.c1_nrn_mon_x[16] 0 -assert c.c1_nrn_mon_x[17] 0 -assert c.c1_nrn_mon_x[18] 0 -assert c.c1_nrn_mon_x[19] 0 -assert c.c1_nrn_mon_x[20] 0 -assert c.c1_nrn_mon_x[21] 0 -assert c.c1_nrn_mon_x[22] 0 -assert c.c1_nrn_mon_x[23] 0 -assert c.c1_nrn_mon_x[24] 0 -assert c.c1_nrn_mon_x[25] 0 -assert c.c1_nrn_mon_x[26] 0 -assert c.c1_nrn_mon_x[27] 0 -assert c.c1_nrn_mon_x[28] 0 -assert c.c1_nrn_mon_x[29] 0 - -assert c.c1_nrn_mon_y[0] 0 -assert c.c1_nrn_mon_y[1] 0 -assert c.c1_nrn_mon_y[2] 0 -assert c.c1_nrn_mon_y[3] 0 -assert c.c1_nrn_mon_y[4] 0 -assert c.c1_nrn_mon_y[5] 0 - -# enable neuron targeter -system "echo '[] Writing 1 to core 0 address 1'" -set-bd-data-valid "c.in" 32 1610612801 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" - -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -assert c.c1_nrn_mon_x[0] 0 -assert c.c1_nrn_mon_x[1] 0 -assert c.c1_nrn_mon_x[2] 0 -assert c.c1_nrn_mon_x[3] 0 -assert c.c1_nrn_mon_x[4] 0 -assert c.c1_nrn_mon_x[5] 0 -assert c.c1_nrn_mon_x[6] 0 -assert c.c1_nrn_mon_x[7] 0 -assert c.c1_nrn_mon_x[8] 0 -assert c.c1_nrn_mon_x[9] 0 -assert c.c1_nrn_mon_x[10] 0 -assert c.c1_nrn_mon_x[11] 0 -assert c.c1_nrn_mon_x[12] 0 -assert c.c1_nrn_mon_x[13] 0 -assert c.c1_nrn_mon_x[14] 0 -assert c.c1_nrn_mon_x[15] 0 -assert c.c1_nrn_mon_x[16] 0 -assert c.c1_nrn_mon_x[17] 0 -assert c.c1_nrn_mon_x[18] 0 -assert c.c1_nrn_mon_x[19] 0 -assert c.c1_nrn_mon_x[20] 0 -assert c.c1_nrn_mon_x[21] 0 -assert c.c1_nrn_mon_x[22] 0 -assert c.c1_nrn_mon_x[23] 0 -assert c.c1_nrn_mon_x[24] 0 -assert c.c1_nrn_mon_x[25] 1 -assert c.c1_nrn_mon_x[26] 0 -assert c.c1_nrn_mon_x[27] 0 -assert c.c1_nrn_mon_x[28] 0 -assert c.c1_nrn_mon_x[29] 0 - -assert c.c1_nrn_mon_y[0] 0 -assert c.c1_nrn_mon_y[1] 0 -assert c.c1_nrn_mon_y[2] 0 -assert c.c1_nrn_mon_y[3] 1 -assert c.c1_nrn_mon_y[4] 0 -assert c.c1_nrn_mon_y[5] 0 - -# check that the synapses aren't targetting - - -assert c.c1_syn_mon_x[0] 0 -assert c.c1_syn_mon_x[1] 0 -assert c.c1_syn_mon_x[2] 0 -assert c.c1_syn_mon_x[3] 1 -assert c.c1_syn_mon_x[4] 0 -assert c.c1_syn_mon_x[5] 0 -assert c.c1_syn_mon_x[6] 0 -assert c.c1_syn_mon_x[7] 1 -assert c.c1_syn_mon_x[8] 0 -assert c.c1_syn_mon_x[9] 0 -assert c.c1_syn_mon_x[10] 0 -assert c.c1_syn_mon_x[11] 1 -assert c.c1_syn_mon_x[12] 0 -assert c.c1_syn_mon_x[13] 0 -assert c.c1_syn_mon_x[14] 0 -assert c.c1_syn_mon_x[15] 1 -assert c.c1_syn_mon_x[16] 0 -assert c.c1_syn_mon_x[17] 0 -assert c.c1_syn_mon_x[18] 0 -assert c.c1_syn_mon_x[19] 1 -assert c.c1_syn_mon_x[20] 0 -assert c.c1_syn_mon_x[21] 0 -assert c.c1_syn_mon_x[22] 0 -assert c.c1_syn_mon_x[23] 1 -assert c.c1_syn_mon_x[24] 0 -assert c.c1_syn_mon_x[25] 0 -assert c.c1_syn_mon_x[26] 0 -assert c.c1_syn_mon_x[27] 1 -assert c.c1_syn_mon_x[28] 0 -assert c.c1_syn_mon_x[29] 0 -assert c.c1_syn_mon_x[30] 0 -assert c.c1_syn_mon_x[31] 1 -assert c.c1_syn_mon_x[32] 0 -assert c.c1_syn_mon_x[33] 0 -assert c.c1_syn_mon_x[34] 0 -assert c.c1_syn_mon_x[35] 1 -assert c.c1_syn_mon_x[36] 0 -assert c.c1_syn_mon_x[37] 0 -assert c.c1_syn_mon_x[38] 0 -assert c.c1_syn_mon_x[39] 1 -assert c.c1_syn_mon_x[40] 0 -assert c.c1_syn_mon_x[41] 0 -assert c.c1_syn_mon_x[42] 0 -assert c.c1_syn_mon_x[43] 1 -assert c.c1_syn_mon_x[44] 0 -assert c.c1_syn_mon_x[45] 0 -assert c.c1_syn_mon_x[46] 0 -assert c.c1_syn_mon_x[47] 1 -assert c.c1_syn_mon_x[48] 0 -assert c.c1_syn_mon_x[49] 0 -assert c.c1_syn_mon_x[50] 0 -assert c.c1_syn_mon_x[51] 1 -assert c.c1_syn_mon_x[52] 0 -assert c.c1_syn_mon_x[53] 0 -assert c.c1_syn_mon_x[54] 0 -assert c.c1_syn_mon_x[55] 1 -assert c.c1_syn_mon_x[56] 0 -assert c.c1_syn_mon_x[57] 0 -assert c.c1_syn_mon_x[58] 0 -assert c.c1_syn_mon_x[59] 1 - - -# disable targetting -system "echo '[] Writing 0 to core 0 address 1'" -set-bd-data-valid "c.in" 32 1610612737 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -# Set device write flags high (should go high cus dev_debug is low) -system "echo '[] Writing 7 to core 0 address 4'" -set-bd-data-valid "c.in" 32 1610613188 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - -assert c.c1_syn_flags_EFO[0] 1 -assert c.c1_syn_flags_EFO[1] 1 -assert c.c1_syn_flags_EFO[2] 1 -assert c.c1_syn_flags_EFO[3] 0 - - -# Try to target the device with mon (but shouldnt work cus dev_debug low) -system "echo '[] Writing 5 to core 0 address 3'" -set-bd-data-valid "c.in" 32 1610613059 -cycle -set c.in.r 1 -cycle -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 2 to core 0 address 1'" -set-bd-data-valid "c.in" 32 1610612865 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -assert c.c1_syn_mon_x[0] 0 -assert c.c1_syn_mon_x[1] 0 -assert c.c1_syn_mon_x[2] 0 -assert c.c1_syn_mon_x[3] 1 -assert c.c1_syn_mon_x[4] 0 -assert c.c1_syn_mon_x[5] 0 -assert c.c1_syn_mon_x[6] 0 -assert c.c1_syn_mon_x[7] 1 -assert c.c1_syn_mon_x[8] 0 -assert c.c1_syn_mon_x[9] 0 -assert c.c1_syn_mon_x[10] 0 -#etc - -assert c.c1_syn_mon_y[0] 1 -assert c.c1_syn_mon_y[1] 0 -assert c.c1_syn_mon_y[2] 0 -assert c.c1_syn_mon_y[3] 0 -assert c.c1_syn_mon_y[4] 0 -assert c.c1_syn_mon_y[5] 0 - -assert c.c1_syn_flags_EFO[0] 1 -assert c.c1_syn_flags_EFO[1] 1 -assert c.c1_syn_flags_EFO[2] 1 -assert c.c1_syn_flags_EFO[3] 0 - -# now flip the dev_debug bit -# and enable handshaking (for spikes in a mo) -system "echo '[] Writing 33 to core 0 address 0'" -set-bd-data-valid "c.in" 32 1610614848 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - -# dev mon target line wakes up -assert c.c1_syn_mon_x[0] 0 -assert c.c1_syn_mon_x[1] 0 -assert c.c1_syn_mon_x[2] 0 -assert c.c1_syn_mon_x[3] 1 -assert c.c1_syn_mon_x[4] 0 -assert c.c1_syn_mon_x[5] 1 -assert c.c1_syn_mon_x[6] 0 -assert c.c1_syn_mon_x[7] 1 -assert c.c1_syn_mon_x[8] 0 -assert c.c1_syn_mon_x[9] 0 -assert c.c1_syn_mon_x[10] 0 -#etc - -assert c.c1_syn_mon_y[0] 1 -assert c.c1_syn_mon_y[1] 0 -assert c.c1_syn_mon_y[2] 0 -assert c.c1_syn_mon_y[3] 0 -assert c.c1_syn_mon_y[4] 0 -assert c.c1_syn_mon_y[5] 0 - -# and the flags are disabled -assert c.c1_syn_flags_EFO[0] 0 -assert c.c1_syn_flags_EFO[1] 0 -assert c.c1_syn_flags_EFO[2] 0 -assert c.c1_syn_flags_EFO[3] 0 - -# disable the decoders ability to send back an ack for now -# system "echo '[] Writing 4 to core 0 address 1'" -# set-bd-data-valid "c.in" 32 1610612993 -# cycle -# set c.in.r 1 -# cycle -# assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - -# enable handshaking in both cores -system "echo '[] Writing 1 to core 0 address 0'" -set-bd-data-valid "c.in" 32 1610612800 -cycle -set c.in.r 1 -cycle -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 1 to core 1 address 0'" -set-bd-data-valid "c.in" 32 3758096448 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -# set Reset 1 -# cycle -# set Reset 0 -# cycle - -#### SPIKES #### - - -system "echo '[] Sending spike to core 0 synapse [0,0]'" -set-bd-data-valid "c.in" 32 0 -cycle -set c.in.r 1 -cycle -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,0]'" -assert-bd-channel-valid "c.out" 32 0 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - - -system "echo '[] Sending spike to core 0 synapse [9,40]'" -set-bd-data-valid "c.in" 32 649 -cycle -set c.in.r 1 -cycle -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 9 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [14,108]'" -set-bd-data-valid "c.in" 32 1742 -cycle -set c.in.r 1 -cycle -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 30 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [5,138]'" -set-bd-data-valid "c.in" 32 2147485861 -cycle -set c.in.r 1 -cycle -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 '[] Sending spike to core 0 synapse [3,334]'" -set-bd-data-valid "c.in" 32 5347 -cycle -set c.in.r 1 -cycle -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 83 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [6,44]'" -set-bd-data-valid "c.in" 32 2147484358 -cycle -set c.in.r 1 -cycle -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,0]'" -assert-bd-channel-valid "c.out" 32 2147483654 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [6,249]'" -set-bd-data-valid "c.in" 32 2147487638 -cycle -set c.in.r 1 -cycle -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,4]'" -assert-bd-channel-valid "c.out" 32 2147483718 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [14,174]'" -set-bd-data-valid "c.in" 32 2147486446 -cycle -set c.in.r 1 -cycle -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,3]'" -assert-bd-channel-valid "c.out" 32 2147483710 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [9,276]'" -set-bd-data-valid "c.in" 32 4425 -cycle -set c.in.r 1 -cycle -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,4]'" -assert-bd-channel-valid "c.out" 32 73 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [14,213]'" -set-bd-data-valid "c.in" 32 3422 -cycle -set c.in.r 1 -cycle -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,3]'" -assert-bd-channel-valid "c.out" 32 62 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [12,341]'" -set-bd-data-valid "c.in" 32 5468 -cycle -set c.in.r 1 -cycle -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 92 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [1,324]'" -set-bd-data-valid "c.in" 32 5185 -cycle -set c.in.r 1 -cycle -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,5]'" -assert-bd-channel-valid "c.out" 32 81 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [7,157]'" -set-bd-data-valid "c.in" 32 2147486167 -cycle -set c.in.r 1 -cycle -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,2]'" -assert-bd-channel-valid "c.out" 32 2147483687 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [5,250]'" -set-bd-data-valid "c.in" 32 4005 -cycle -set c.in.r 1 -cycle -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,4]'" -assert-bd-channel-valid "c.out" 32 69 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [4,24]'" -set-bd-data-valid "c.in" 32 388 -cycle -set c.in.r 1 -cycle -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 '[] Sending spike to core 0 synapse [1,17]'" -set-bd-data-valid "c.in" 32 273 -cycle -set c.in.r 1 -cycle -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 '[] Sending spike to core 1 synapse [10,67]'" -set-bd-data-valid "c.in" 32 2147484730 -cycle -set c.in.r 1 -cycle -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 2147483674 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [2,244]'" -set-bd-data-valid "c.in" 32 2147487554 -cycle -set c.in.r 1 -cycle -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 2147483714 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [3,267]'" -set-bd-data-valid "c.in" 32 2147487923 -cycle -set c.in.r 1 -cycle -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,4]'" -assert-bd-channel-valid "c.out" 32 2147483715 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [4,258]'" -set-bd-data-valid "c.in" 32 4132 -cycle -set c.in.r 1 -cycle -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,4]'" -assert-bd-channel-valid "c.out" 32 68 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [14,313]'" -set-bd-data-valid "c.in" 32 5022 -cycle -set c.in.r 1 -cycle -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,5]'" -assert-bd-channel-valid "c.out" 32 94 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [2,164]'" -set-bd-data-valid "c.in" 32 2626 -cycle -set c.in.r 1 -cycle -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 34 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [7,105]'" -set-bd-data-valid "c.in" 32 2147485335 -cycle -set c.in.r 1 -cycle -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 '[] Sending spike to core 0 synapse [2,229]'" -set-bd-data-valid "c.in" 32 3666 -cycle -set c.in.r 1 -cycle -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,3]'" -assert-bd-channel-valid "c.out" 32 50 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [9,298]'" -set-bd-data-valid "c.in" 32 2147488425 -cycle -set c.in.r 1 -cycle -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,5]'" -assert-bd-channel-valid "c.out" 32 2147483737 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [4,87]'" -set-bd-data-valid "c.in" 32 2147485044 -cycle -set c.in.r 1 -cycle -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,1]'" -assert-bd-channel-valid "c.out" 32 2147483668 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [14,313]'" -set-bd-data-valid "c.in" 32 5022 -cycle -set c.in.r 1 -cycle -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,5]'" -assert-bd-channel-valid "c.out" 32 94 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [4,98]'" -set-bd-data-valid "c.in" 32 2147485220 -cycle -set c.in.r 1 -cycle -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,1]'" -assert-bd-channel-valid "c.out" 32 2147483668 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [1,244]'" -set-bd-data-valid "c.in" 32 3905 -cycle -set c.in.r 1 -cycle -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,4]'" -assert-bd-channel-valid "c.out" 32 65 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [8,297]'" -set-bd-data-valid "c.in" 32 2147488408 -cycle -set c.in.r 1 -cycle -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 2147483736 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [13,303]'" -set-bd-data-valid "c.in" 32 4861 -cycle -set c.in.r 1 -cycle -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 93 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [9,28]'" -set-bd-data-valid "c.in" 32 2147484105 -cycle -set c.in.r 1 -cycle -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 '[] Sending spike to core 1 synapse [6,168]'" -set-bd-data-valid "c.in" 32 2147486342 -cycle -set c.in.r 1 -cycle -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,2]'" -assert-bd-channel-valid "c.out" 32 2147483686 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [4,343]'" -set-bd-data-valid "c.in" 32 2147489140 -cycle -set c.in.r 1 -cycle -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,5]'" -assert-bd-channel-valid "c.out" 32 2147483732 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [13,25]'" -set-bd-data-valid "c.in" 32 2147484061 -cycle -set c.in.r 1 -cycle -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,0]'" -assert-bd-channel-valid "c.out" 32 2147483661 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [7,120]'" -set-bd-data-valid "c.in" 32 2147485575 -cycle -set c.in.r 1 -cycle -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,2]'" -assert-bd-channel-valid "c.out" 32 2147483687 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [8,126]'" -set-bd-data-valid "c.in" 32 2024 -cycle -set c.in.r 1 -cycle -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,2]'" -assert-bd-channel-valid "c.out" 32 40 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [7,187]'" -set-bd-data-valid "c.in" 32 2147486647 -cycle -set c.in.r 1 -cycle -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,3]'" -assert-bd-channel-valid "c.out" 32 2147483703 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [6,211]'" -set-bd-data-valid "c.in" 32 3382 -cycle -set c.in.r 1 -cycle -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,3]'" -assert-bd-channel-valid "c.out" 32 54 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [11,217]'" -set-bd-data-valid "c.in" 32 3483 -cycle -set c.in.r 1 -cycle -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,3]'" -assert-bd-channel-valid "c.out" 32 59 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [5,291]'" -set-bd-data-valid "c.in" 32 2147488309 -cycle -set c.in.r 1 -cycle -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,5]'" -assert-bd-channel-valid "c.out" 32 2147483733 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [0,177]'" -set-bd-data-valid "c.in" 32 2832 -cycle -set c.in.r 1 -cycle -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,3]'" -assert-bd-channel-valid "c.out" 32 48 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [12,20]'" -set-bd-data-valid "c.in" 32 2147483980 -cycle -set c.in.r 1 -cycle -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,0]'" -assert-bd-channel-valid "c.out" 32 2147483660 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [13,117]'" -set-bd-data-valid "c.in" 32 1885 -cycle -set c.in.r 1 -cycle -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 '[] Sending spike to core 1 synapse [8,93]'" -set-bd-data-valid "c.in" 32 2147485144 -cycle -set c.in.r 1 -cycle -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,1]'" -assert-bd-channel-valid "c.out" 32 2147483672 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -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,0]'" -assert-bd-channel-valid "c.out" 32 2147483653 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [6,261]'" -set-bd-data-valid "c.in" 32 4182 -cycle -set c.in.r 1 -cycle -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,4]'" -assert-bd-channel-valid "c.out" 32 70 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [1,120]'" -set-bd-data-valid "c.in" 32 1921 -cycle -set c.in.r 1 -cycle -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,2]'" -assert-bd-channel-valid "c.out" 32 33 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [5,303]'" -set-bd-data-valid "c.in" 32 2147488501 -cycle -set c.in.r 1 -cycle -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,5]'" -assert-bd-channel-valid "c.out" 32 2147483733 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [8,283]'" -set-bd-data-valid "c.in" 32 2147488184 -cycle -set c.in.r 1 -cycle -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,4]'" -assert-bd-channel-valid "c.out" 32 2147483720 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [7,286]'" -set-bd-data-valid "c.in" 32 2147488231 -cycle -set c.in.r 1 -cycle -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 '[] Sending spike to core 1 synapse [14,337]'" -set-bd-data-valid "c.in" 32 2147489054 -cycle -set c.in.r 1 -cycle -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,5]'" -assert-bd-channel-valid "c.out" 32 2147483742 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [11,345]'" -set-bd-data-valid "c.in" 32 5531 -cycle -set c.in.r 1 -cycle -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,5]'" -assert-bd-channel-valid "c.out" 32 91 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [2,180]'" -set-bd-data-valid "c.in" 32 2882 -cycle -set c.in.r 1 -cycle -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,3]'" -assert-bd-channel-valid "c.out" 32 50 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [2,62]'" -set-bd-data-valid "c.in" 32 994 -cycle -set c.in.r 1 -cycle -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,1]'" -assert-bd-channel-valid "c.out" 32 18 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [13,0]'" -set-bd-data-valid "c.in" 32 2147483661 -cycle -set c.in.r 1 -cycle -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,0]'" -assert-bd-channel-valid "c.out" 32 2147483661 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [6,83]'" -set-bd-data-valid "c.in" 32 2147484982 -cycle -set c.in.r 1 -cycle -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,1]'" -assert-bd-channel-valid "c.out" 32 2147483670 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [7,273]'" -set-bd-data-valid "c.in" 32 4375 -cycle -set c.in.r 1 -cycle -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 71 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [12,171]'" -set-bd-data-valid "c.in" 32 2147486396 -cycle -set c.in.r 1 -cycle -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,2]'" -assert-bd-channel-valid "c.out" 32 2147483692 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [9,259]'" -set-bd-data-valid "c.in" 32 4153 -cycle -set c.in.r 1 -cycle -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,4]'" -assert-bd-channel-valid "c.out" 32 73 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [11,219]'" -set-bd-data-valid "c.in" 32 3515 -cycle -set c.in.r 1 -cycle -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,3]'" -assert-bd-channel-valid "c.out" 32 59 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [6,47]'" -set-bd-data-valid "c.in" 32 758 -cycle -set c.in.r 1 -cycle -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,0]'" -assert-bd-channel-valid "c.out" 32 6 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [13,34]'" -set-bd-data-valid "c.in" 32 2147484205 -cycle -set c.in.r 1 -cycle -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,0]'" -assert-bd-channel-valid "c.out" 32 2147483661 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [1,173]'" -set-bd-data-valid "c.in" 32 2147486417 -cycle -set c.in.r 1 -cycle -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,2]'" -assert-bd-channel-valid "c.out" 32 2147483681 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [0,73]'" -set-bd-data-valid "c.in" 32 2147484816 -cycle -set c.in.r 1 -cycle -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 2147483664 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [14,340]'" -set-bd-data-valid "c.in" 32 5454 -cycle -set c.in.r 1 -cycle -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,5]'" -assert-bd-channel-valid "c.out" 32 94 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [6,139]'" -set-bd-data-valid "c.in" 32 2147485878 -cycle -set c.in.r 1 -cycle -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,2]'" -assert-bd-channel-valid "c.out" 32 2147483686 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [14,80]'" -set-bd-data-valid "c.in" 32 2147484942 -cycle -set c.in.r 1 -cycle -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 '[] Sending spike to core 1 synapse [2,69]'" -set-bd-data-valid "c.in" 32 2147484754 -cycle -set c.in.r 1 -cycle -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,1]'" -assert-bd-channel-valid "c.out" 32 2147483666 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [12,255]'" -set-bd-data-valid "c.in" 32 4092 -cycle -set c.in.r 1 -cycle -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,4]'" -assert-bd-channel-valid "c.out" 32 76 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [1,23]'" -set-bd-data-valid "c.in" 32 2147484017 -cycle -set c.in.r 1 -cycle -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 2147483649 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [8,86]'" -set-bd-data-valid "c.in" 32 2147485032 -cycle -set c.in.r 1 -cycle -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,1]'" -assert-bd-channel-valid "c.out" 32 2147483672 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [8,153]'" -set-bd-data-valid "c.in" 32 2456 -cycle -set c.in.r 1 -cycle -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,2]'" -assert-bd-channel-valid "c.out" 32 40 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [6,324]'" -set-bd-data-valid "c.in" 32 2147488838 -cycle -set c.in.r 1 -cycle -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,5]'" -assert-bd-channel-valid "c.out" 32 2147483734 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [8,242]'" -set-bd-data-valid "c.in" 32 2147487528 -cycle -set c.in.r 1 -cycle -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,4]'" -assert-bd-channel-valid "c.out" 32 2147483720 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [1,310]'" -set-bd-data-valid "c.in" 32 2147488609 -cycle -set c.in.r 1 -cycle -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,5]'" -assert-bd-channel-valid "c.out" 32 2147483729 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [11,264]'" -set-bd-data-valid "c.in" 32 2147487883 -cycle -set c.in.r 1 -cycle -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 '[] Sending spike to core 0 synapse [4,334]'" -set-bd-data-valid "c.in" 32 5348 -cycle -set c.in.r 1 -cycle -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,5]'" -assert-bd-channel-valid "c.out" 32 84 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [2,62]'" -set-bd-data-valid "c.in" 32 2147484642 -cycle -set c.in.r 1 -cycle -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,1]'" -assert-bd-channel-valid "c.out" 32 2147483666 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [8,344]'" -set-bd-data-valid "c.in" 32 2147489160 -cycle -set c.in.r 1 -cycle -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 2147483736 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [6,197]'" -set-bd-data-valid "c.in" 32 2147486806 -cycle -set c.in.r 1 -cycle -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,3]'" -assert-bd-channel-valid "c.out" 32 2147483702 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [1,323]'" -set-bd-data-valid "c.in" 32 2147488817 -cycle -set c.in.r 1 -cycle -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,5]'" -assert-bd-channel-valid "c.out" 32 2147483729 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [10,247]'" -set-bd-data-valid "c.in" 32 3962 -cycle -set c.in.r 1 -cycle -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,4]'" -assert-bd-channel-valid "c.out" 32 74 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [1,88]'" -set-bd-data-valid "c.in" 32 2147485057 -cycle -set c.in.r 1 -cycle -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,1]'" -assert-bd-channel-valid "c.out" 32 2147483665 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [14,264]'" -set-bd-data-valid "c.in" 32 4238 -cycle -set c.in.r 1 -cycle -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,4]'" -assert-bd-channel-valid "c.out" 32 78 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [5,44]'" -set-bd-data-valid "c.in" 32 2147484357 -cycle -set c.in.r 1 -cycle -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,0]'" -assert-bd-channel-valid "c.out" 32 2147483653 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [14,223]'" -set-bd-data-valid "c.in" 32 2147487230 -cycle -set c.in.r 1 -cycle -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,3]'" -assert-bd-channel-valid "c.out" 32 2147483710 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [13,189]'" -set-bd-data-valid "c.in" 32 2147486685 -cycle -set c.in.r 1 -cycle -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,3]'" -assert-bd-channel-valid "c.out" 32 2147483709 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [0,273]'" -set-bd-data-valid "c.in" 32 2147488016 -cycle -set c.in.r 1 -cycle -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 2147483712 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [11,73]'" -set-bd-data-valid "c.in" 32 1179 -cycle -set c.in.r 1 -cycle -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 '[] Sending spike to core 0 synapse [9,56]'" -set-bd-data-valid "c.in" 32 905 -cycle -set c.in.r 1 -cycle -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 9 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [10,341]'" -set-bd-data-valid "c.in" 32 2147489114 -cycle -set c.in.r 1 -cycle -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,5]'" -assert-bd-channel-valid "c.out" 32 2147483738 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [4,94]'" -set-bd-data-valid "c.in" 32 2147485156 -cycle -set c.in.r 1 -cycle -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,1]'" -assert-bd-channel-valid "c.out" 32 2147483668 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [10,94]'" -set-bd-data-valid "c.in" 32 2147485162 -cycle -set c.in.r 1 -cycle -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 2147483674 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [5,268]'" -set-bd-data-valid "c.in" 32 2147487941 -cycle -set c.in.r 1 -cycle -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,4]'" -assert-bd-channel-valid "c.out" 32 2147483717 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [10,243]'" -set-bd-data-valid "c.in" 32 3898 -cycle -set c.in.r 1 -cycle -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,4]'" -assert-bd-channel-valid "c.out" 32 74 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [9,249]'" -set-bd-data-valid "c.in" 32 2147487641 -cycle -set c.in.r 1 -cycle -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,4]'" -assert-bd-channel-valid "c.out" 32 2147483721 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [13,202]'" -set-bd-data-valid "c.in" 32 3245 -cycle -set c.in.r 1 -cycle -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,3]'" -assert-bd-channel-valid "c.out" 32 61 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [0,209]'" -set-bd-data-valid "c.in" 32 2147486992 -cycle -set c.in.r 1 -cycle -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,3]'" -assert-bd-channel-valid "c.out" 32 2147483696 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [13,336]'" -set-bd-data-valid "c.in" 32 2147489037 -cycle -set c.in.r 1 -cycle -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 '[] Sending spike to core 0 synapse [14,299]'" -set-bd-data-valid "c.in" 32 4798 -cycle -set c.in.r 1 -cycle -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,5]'" -assert-bd-channel-valid "c.out" 32 94 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - - -# sram mapper io tests -set c.mapper_en 1 -cycle - -# Send rw packets to SRAM - -system "echo '[] Sending packet 2147483647 to SRAM, input = 0b10111111111111111111111111111111'" -set-bd-data-valid "c.in" 32 3221225471 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Checking sram rw packet received'" -assert-qdi-channel-valid "c.out_sram_wr" 30 2147483647 -set c.out_sram_wr.a 1 -set c.out_sram_wr.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_wr" 30 -set c.out_sram_wr.a 0 -set c.out_sram_wr.v 0 -cycle - - - -system "echo '[] Sending packet 992380055 to SRAM, input = 0b10111011001001101000010010010111'" -set-bd-data-valid "c.in" 32 3139863703 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Checking sram rw packet received'" -assert-qdi-channel-valid "c.out_sram_wr" 30 992380055 -set c.out_sram_wr.a 1 -set c.out_sram_wr.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_wr" 30 -set c.out_sram_wr.a 0 -set c.out_sram_wr.v 0 -cycle - -system "echo '[] Sending packet 2089788400 to SRAM, input = 0b10111100100011111010001111110000'" -set-bd-data-valid "c.in" 32 3163530224 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Checking sram rw packet received'" -assert-qdi-channel-valid "c.out_sram_wr" 30 2089788400 -set c.out_sram_wr.a 1 -set c.out_sram_wr.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_wr" 30 -set c.out_sram_wr.a 0 -set c.out_sram_wr.v 0 -cycle - -system "echo '[] Sending packet 98194987 to SRAM, input = 0b100101110110100101011000101011'" -set-bd-data-valid "c.in" 32 635065899 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Checking sram rw packet received'" -assert-qdi-channel-valid "c.out_sram_wr" 30 98194987 -set c.out_sram_wr.a 1 -set c.out_sram_wr.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_wr" 30 -set c.out_sram_wr.a 0 -set c.out_sram_wr.v 0 -cycle - -system "echo '[] Sending packet 661175428 to SRAM, input = 0b10100111011010001011110010000100'" -set-bd-data-valid "c.in" 32 2808659076 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Checking sram rw packet received'" -assert-qdi-channel-valid "c.out_sram_wr" 30 661175428 -set c.out_sram_wr.a 1 -set c.out_sram_wr.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_wr" 30 -set c.out_sram_wr.a 0 -set c.out_sram_wr.v 0 -cycle - -system "echo '[] Sending packet 678670619 to SRAM, input = 0b10101000011100111011000100011011'" -set-bd-data-valid "c.in" 32 2826154267 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Checking sram rw packet received'" -assert-qdi-channel-valid "c.out_sram_wr" 30 678670619 -set c.out_sram_wr.a 1 -set c.out_sram_wr.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_wr" 30 -set c.out_sram_wr.a 0 -set c.out_sram_wr.v 0 -cycle - -system "echo '[] Sending packet 1094726289 to SRAM, input = 0b100001010000000011001010010001'" -set-bd-data-valid "c.in" 32 557855377 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Checking sram rw packet received'" -assert-qdi-channel-valid "c.out_sram_wr" 30 1094726289 -set c.out_sram_wr.a 1 -set c.out_sram_wr.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_wr" 30 -set c.out_sram_wr.a 0 -set c.out_sram_wr.v 0 -cycle - -system "echo '[] Sending packet 79757788 to SRAM, input = 0b100100110000010000000111011100'" -set-bd-data-valid "c.in" 32 616628700 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Checking sram rw packet received'" -assert-qdi-channel-valid "c.out_sram_wr" 30 79757788 -set c.out_sram_wr.a 1 -set c.out_sram_wr.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_wr" 30 -set c.out_sram_wr.a 0 -set c.out_sram_wr.v 0 -cycle - -system "echo '[] Sending packet 217278680 to SRAM, input = 0b101100111100110110100011011000'" -set-bd-data-valid "c.in" 32 754149592 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Checking sram rw packet received'" -assert-qdi-channel-valid "c.out_sram_wr" 30 217278680 -set c.out_sram_wr.a 1 -set c.out_sram_wr.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_wr" 30 -set c.out_sram_wr.a 0 -set c.out_sram_wr.v 0 -cycle - -system "echo '[] Sending packet 1060621136 to SRAM, input = 0b10111111001101111100101101010000'" -set-bd-data-valid "c.in" 32 3208104784 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Checking sram rw packet received'" -assert-qdi-channel-valid "c.out_sram_wr" 30 1060621136 -set c.out_sram_wr.a 1 -set c.out_sram_wr.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_wr" 30 -set c.out_sram_wr.a 0 -set c.out_sram_wr.v 0 -cycle - -system "echo '[] Sending packet 786253442 to SRAM, input = 0b10101110110111010100011010000010'" -set-bd-data-valid "c.in" 32 2933737090 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Checking sram rw packet received'" -assert-qdi-channel-valid "c.out_sram_wr" 30 786253442 -set c.out_sram_wr.a 1 -set c.out_sram_wr.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_wr" 30 -set c.out_sram_wr.a 0 -set c.out_sram_wr.v 0 -cycle - -system "echo '[] Sending packet 973441044 to SRAM, input = 0b10111010000001011000100000010100'" -set-bd-data-valid "c.in" 32 3120924692 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Checking sram rw packet received'" -assert-qdi-channel-valid "c.out_sram_wr" 30 973441044 -set c.out_sram_wr.a 1 -set c.out_sram_wr.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_wr" 30 -set c.out_sram_wr.a 0 -set c.out_sram_wr.v 0 -cycle - -system "echo '[] Sending packet 2056336981 to SRAM, input = 0b10111010100100010011011001010101'" -set-bd-data-valid "c.in" 32 3130078805 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Checking sram rw packet received'" -assert-qdi-channel-valid "c.out_sram_wr" 30 2056336981 -set c.out_sram_wr.a 1 -set c.out_sram_wr.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_wr" 30 -set c.out_sram_wr.a 0 -set c.out_sram_wr.v 0 -cycle - -system "echo '[] Sending packet 354576334 to SRAM, input = 0b110101001000100110011111001110'" -set-bd-data-valid "c.in" 32 891447246 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Checking sram rw packet received'" -assert-qdi-channel-valid "c.out_sram_wr" 30 354576334 -set c.out_sram_wr.a 1 -set c.out_sram_wr.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_wr" 30 -set c.out_sram_wr.a 0 -set c.out_sram_wr.v 0 -cycle - -system "echo '[] Sending packet 900729561 to SRAM, input = 0b10110101101100000000101011011001'" -set-bd-data-valid "c.in" 32 3048213209 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Checking sram rw packet received'" -assert-qdi-channel-valid "c.out_sram_wr" 30 900729561 -set c.out_sram_wr.a 1 -set c.out_sram_wr.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_wr" 30 -set c.out_sram_wr.a 0 -set c.out_sram_wr.v 0 -cycle - -system "echo '[] Sending packet 1758190681 to SRAM, input = 0b10101000110010111101110001011001'" -set-bd-data-valid "c.in" 32 2831932505 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Checking sram rw packet received'" -assert-qdi-channel-valid "c.out_sram_wr" 30 1758190681 -set c.out_sram_wr.a 1 -set c.out_sram_wr.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_wr" 30 -set c.out_sram_wr.a 0 -set c.out_sram_wr.v 0 -cycle - -system "echo '[] Sending packet 2053675008 to SRAM, input = 0b10111010011010001001100000000000'" -set-bd-data-valid "c.in" 32 3127416832 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Checking sram rw packet received'" -assert-qdi-channel-valid "c.out_sram_wr" 30 2053675008 -set c.out_sram_wr.a 1 -set c.out_sram_wr.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_wr" 30 -set c.out_sram_wr.a 0 -set c.out_sram_wr.v 0 -cycle - -system "echo '[] Sending packet 597269325 to SRAM, input = 0b10100011100110011001101101001101'" -set-bd-data-valid "c.in" 32 2744752973 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Checking sram rw packet received'" -assert-qdi-channel-valid "c.out_sram_wr" 30 597269325 -set c.out_sram_wr.a 1 -set c.out_sram_wr.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_wr" 30 -set c.out_sram_wr.a 0 -set c.out_sram_wr.v 0 -cycle - -system "echo '[] Sending packet 63281016 to SRAM, input = 0b100011110001011001011101111000'" -set-bd-data-valid "c.in" 32 600151928 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Checking sram rw packet received'" -assert-qdi-channel-valid "c.out_sram_wr" 30 63281016 -set c.out_sram_wr.a 1 -set c.out_sram_wr.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_wr" 30 -set c.out_sram_wr.a 0 -set c.out_sram_wr.v 0 -cycle - -system "echo '[] Sending packet 1439738843 to SRAM, input = 0b110101110100001010101111011011'" -set-bd-data-valid "c.in" 32 902867931 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Checking sram rw packet received'" -assert-qdi-channel-valid "c.out_sram_wr" 30 1439738843 -set c.out_sram_wr.a 1 -set c.out_sram_wr.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_wr" 30 -set c.out_sram_wr.a 0 -set c.out_sram_wr.v 0 -cycle - -system "echo '[] Sending packet 763598892 to SRAM, input = 0b10101101100000111001100000101100'" -set-bd-data-valid "c.in" 32 2911082540 -cycle -set c.in.r 1 -cycle -assert c.in.a 1 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Checking sram rw packet received'" -assert-qdi-channel-valid "c.out_sram_wr" 30 763598892 -set c.out_sram_wr.a 1 -set c.out_sram_wr.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_wr" 30 -set c.out_sram_wr.a 0 -set c.out_sram_wr.v 0 -cycle - - -# Checking that neuron spikes end up goign to the sram - -system "echo '[] Sending spike to core 0 synapse [5,293]'" -set-bd-data-valid "c.in" 32 4693 -cycle -set c.in.r 1 -cycle -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,5]'" -assert-bd-channel-valid "c.out" 32 85 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Checking spike received at SRAM'" -assert-qdi-channel-valid "c.out_sram_spk" 8 85 -set c.out_sram_spk.a 1 -set c.out_sram_spk.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_spk" 8 -set c.out_sram_spk.a 0 -set c.out_sram_spk.v 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [1,58]'" -set-bd-data-valid "c.in" 32 929 -cycle -set c.in.r 1 -cycle -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,1]'" -assert-bd-channel-valid "c.out" 32 17 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Checking spike received at SRAM'" -assert-qdi-channel-valid "c.out_sram_spk" 8 17 -set c.out_sram_spk.a 1 -set c.out_sram_spk.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_spk" 8 -set c.out_sram_spk.a 0 -set c.out_sram_spk.v 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [8,198]'" -set-bd-data-valid "c.in" 32 2147486824 -cycle -set c.in.r 1 -cycle -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,3]'" -assert-bd-channel-valid "c.out" 32 2147483704 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Checking spike received at SRAM'" -assert-qdi-channel-valid "c.out_sram_spk" 8 184 -set c.out_sram_spk.a 1 -set c.out_sram_spk.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_spk" 8 -set c.out_sram_spk.a 0 -set c.out_sram_spk.v 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [0,10]'" -set-bd-data-valid "c.in" 32 2147483808 -cycle -set c.in.r 1 -cycle -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,0]'" -assert-bd-channel-valid "c.out" 32 2147483648 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Checking spike received at SRAM'" -assert-qdi-channel-valid "c.out_sram_spk" 8 128 -set c.out_sram_spk.a 1 -set c.out_sram_spk.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_spk" 8 -set c.out_sram_spk.a 0 -set c.out_sram_spk.v 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [2,303]'" -set-bd-data-valid "c.in" 32 2147488498 -cycle -set c.in.r 1 -cycle -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,5]'" -assert-bd-channel-valid "c.out" 32 2147483730 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Checking spike received at SRAM'" -assert-qdi-channel-valid "c.out_sram_spk" 8 210 -set c.out_sram_spk.a 1 -set c.out_sram_spk.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_spk" 8 -set c.out_sram_spk.a 0 -set c.out_sram_spk.v 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [0,184]'" -set-bd-data-valid "c.in" 32 2944 -cycle -set c.in.r 1 -cycle -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,3]'" -assert-bd-channel-valid "c.out" 32 48 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Checking spike received at SRAM'" -assert-qdi-channel-valid "c.out_sram_spk" 8 48 -set c.out_sram_spk.a 1 -set c.out_sram_spk.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_spk" 8 -set c.out_sram_spk.a 0 -set c.out_sram_spk.v 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [4,44]'" -set-bd-data-valid "c.in" 32 2147484356 -cycle -set c.in.r 1 -cycle -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 2147483652 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Checking spike received at SRAM'" -assert-qdi-channel-valid "c.out_sram_spk" 8 132 -set c.out_sram_spk.a 1 -set c.out_sram_spk.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_spk" 8 -set c.out_sram_spk.a 0 -set c.out_sram_spk.v 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [1,190]'" -set-bd-data-valid "c.in" 32 2147486689 -cycle -set c.in.r 1 -cycle -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,3]'" -assert-bd-channel-valid "c.out" 32 2147483697 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Checking spike received at SRAM'" -assert-qdi-channel-valid "c.out_sram_spk" 8 177 -set c.out_sram_spk.a 1 -set c.out_sram_spk.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_spk" 8 -set c.out_sram_spk.a 0 -set c.out_sram_spk.v 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [8,68]'" -set-bd-data-valid "c.in" 32 2147484744 -cycle -set c.in.r 1 -cycle -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,1]'" -assert-bd-channel-valid "c.out" 32 2147483672 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Checking spike received at SRAM'" -assert-qdi-channel-valid "c.out_sram_spk" 8 152 -set c.out_sram_spk.a 1 -set c.out_sram_spk.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_spk" 8 -set c.out_sram_spk.a 0 -set c.out_sram_spk.v 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [13,3]'" -set-bd-data-valid "c.in" 32 61 -cycle -set c.in.r 1 -cycle -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,0]'" -assert-bd-channel-valid "c.out" 32 13 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Checking spike received at SRAM'" -assert-qdi-channel-valid "c.out_sram_spk" 8 13 -set c.out_sram_spk.a 1 -set c.out_sram_spk.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_spk" 8 -set c.out_sram_spk.a 0 -set c.out_sram_spk.v 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [8,307]'" -set-bd-data-valid "c.in" 32 2147488568 -cycle -set c.in.r 1 -cycle -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 2147483736 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Checking spike received at SRAM'" -assert-qdi-channel-valid "c.out_sram_spk" 8 216 -set c.out_sram_spk.a 1 -set c.out_sram_spk.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_spk" 8 -set c.out_sram_spk.a 0 -set c.out_sram_spk.v 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [10,240]'" -set-bd-data-valid "c.in" 32 2147487498 -cycle -set c.in.r 1 -cycle -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,4]'" -assert-bd-channel-valid "c.out" 32 2147483722 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Checking spike received at SRAM'" -assert-qdi-channel-valid "c.out_sram_spk" 8 202 -set c.out_sram_spk.a 1 -set c.out_sram_spk.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_spk" 8 -set c.out_sram_spk.a 0 -set c.out_sram_spk.v 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [2,143]'" -set-bd-data-valid "c.in" 32 2147485938 -cycle -set c.in.r 1 -cycle -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 '[] Checking spike received at SRAM'" -assert-qdi-channel-valid "c.out_sram_spk" 8 162 -set c.out_sram_spk.a 1 -set c.out_sram_spk.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_spk" 8 -set c.out_sram_spk.a 0 -set c.out_sram_spk.v 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [2,62]'" -set-bd-data-valid "c.in" 32 2147484642 -cycle -set c.in.r 1 -cycle -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,1]'" -assert-bd-channel-valid "c.out" 32 2147483666 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Checking spike received at SRAM'" -assert-qdi-channel-valid "c.out_sram_spk" 8 146 -set c.out_sram_spk.a 1 -set c.out_sram_spk.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_spk" 8 -set c.out_sram_spk.a 0 -set c.out_sram_spk.v 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [14,173]'" -set-bd-data-valid "c.in" 32 2782 -cycle -set c.in.r 1 -cycle -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,2]'" -assert-bd-channel-valid "c.out" 32 46 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Checking spike received at SRAM'" -assert-qdi-channel-valid "c.out_sram_spk" 8 46 -set c.out_sram_spk.a 1 -set c.out_sram_spk.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_spk" 8 -set c.out_sram_spk.a 0 -set c.out_sram_spk.v 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [11,223]'" -set-bd-data-valid "c.in" 32 2147487227 -cycle -set c.in.r 1 -cycle -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,3]'" -assert-bd-channel-valid "c.out" 32 2147483707 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Checking spike received at SRAM'" -assert-qdi-channel-valid "c.out_sram_spk" 8 187 -set c.out_sram_spk.a 1 -set c.out_sram_spk.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_spk" 8 -set c.out_sram_spk.a 0 -set c.out_sram_spk.v 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [8,305]'" -set-bd-data-valid "c.in" 32 4888 -cycle -set c.in.r 1 -cycle -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 '[] Checking spike received at SRAM'" -assert-qdi-channel-valid "c.out_sram_spk" 8 88 -set c.out_sram_spk.a 1 -set c.out_sram_spk.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_spk" 8 -set c.out_sram_spk.a 0 -set c.out_sram_spk.v 0 -cycle - -system "echo '[] Sending spike to core 1 synapse [0,104]'" -set-bd-data-valid "c.in" 32 2147485312 -cycle -set c.in.r 1 -cycle -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 2147483664 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Checking spike received at SRAM'" -assert-qdi-channel-valid "c.out_sram_spk" 8 144 -set c.out_sram_spk.a 1 -set c.out_sram_spk.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_spk" 8 -set c.out_sram_spk.a 0 -set c.out_sram_spk.v 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [10,78]'" -set-bd-data-valid "c.in" 32 1258 -cycle -set c.in.r 1 -cycle -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 '[] Checking spike received at SRAM'" -assert-qdi-channel-valid "c.out_sram_spk" 8 26 -set c.out_sram_spk.a 1 -set c.out_sram_spk.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_spk" 8 -set c.out_sram_spk.a 0 -set c.out_sram_spk.v 0 -cycle - -system "echo '[] Sending spike to core 0 synapse [7,5]'" -set-bd-data-valid "c.in" 32 87 -cycle -set c.in.r 1 -cycle -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 7 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] Checking spike received at SRAM'" -assert-qdi-channel-valid "c.out_sram_spk" 8 7 -set c.out_sram_spk.a 1 -set c.out_sram_spk.v 1 -cycle -assert-qdi-channel-neutral "c.out_sram_spk" 8 -set c.out_sram_spk.a 0 -set c.out_sram_spk.v 0 -cycle - - -## Check that spikes in from the SRAM go to synapses - -# disable sram output of events for now cus it's annoying -set c.mapper_en 0 -cycle - - - - -system "echo '[] SRAM sending spike to core 0 synapse [10,254]'" -set-qdi-channel-valid "c.in_sram_spk" 14 4074 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [10,4]'" -assert-bd-channel-valid "c.out" 32 74 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 0 synapse [12,103]'" -set-qdi-channel-valid "c.in_sram_spk" 14 1660 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [12,1]'" -assert-bd-channel-valid "c.out" 32 28 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 0 synapse [8,168]'" -set-qdi-channel-valid "c.in_sram_spk" 14 2696 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [8,2]'" -assert-bd-channel-valid "c.out" 32 40 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 1 synapse [6,157]'" -set-qdi-channel-valid "c.in_sram_spk" 14 10710 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [6,2]'" -assert-bd-channel-valid "c.out" 32 2147483686 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 1 synapse [14,62]'" -set-qdi-channel-valid "c.in_sram_spk" 14 9198 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -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 '[] SRAM sending spike to core 0 synapse [7,108]'" -set-qdi-channel-valid "c.in_sram_spk" 14 1735 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -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 23 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 0 synapse [3,153]'" -set-qdi-channel-valid "c.in_sram_spk" 14 2451 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [3,2]'" -assert-bd-channel-valid "c.out" 32 35 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 0 synapse [12,90]'" -set-qdi-channel-valid "c.in_sram_spk" 14 1452 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [12,1]'" -assert-bd-channel-valid "c.out" 32 28 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 1 synapse [1,30]'" -set-qdi-channel-valid "c.in_sram_spk" 14 8673 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -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 2147483649 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 0 synapse [2,333]'" -set-qdi-channel-valid "c.in_sram_spk" 14 5330 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [2,5]'" -assert-bd-channel-valid "c.out" 32 82 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 0 synapse [11,249]'" -set-qdi-channel-valid "c.in_sram_spk" 14 3995 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -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 75 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 0 synapse [13,195]'" -set-qdi-channel-valid "c.in_sram_spk" 14 3133 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [13,3]'" -assert-bd-channel-valid "c.out" 32 61 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 0 synapse [2,172]'" -set-qdi-channel-valid "c.in_sram_spk" 14 2754 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -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 34 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 1 synapse [2,207]'" -set-qdi-channel-valid "c.in_sram_spk" 14 11506 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [2,3]'" -assert-bd-channel-valid "c.out" 32 2147483698 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 1 synapse [2,120]'" -set-qdi-channel-valid "c.in_sram_spk" 14 10114 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -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 '[] SRAM sending spike to core 0 synapse [7,47]'" -set-qdi-channel-valid "c.in_sram_spk" 14 759 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -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 7 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 0 synapse [8,253]'" -set-qdi-channel-valid "c.in_sram_spk" 14 4056 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [8,4]'" -assert-bd-channel-valid "c.out" 32 72 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 0 synapse [11,212]'" -set-qdi-channel-valid "c.in_sram_spk" 14 3403 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [11,3]'" -assert-bd-channel-valid "c.out" 32 59 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 1 synapse [14,219]'" -set-qdi-channel-valid "c.in_sram_spk" 14 11710 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [14,3]'" -assert-bd-channel-valid "c.out" 32 2147483710 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 1 synapse [12,105]'" -set-qdi-channel-valid "c.in_sram_spk" 14 9884 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [12,1]'" -assert-bd-channel-valid "c.out" 32 2147483676 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - - -### Checks that read packets from the SRAM are correctly merged - -system "echo '[] SRAM sending spike to core 0 synapse [3,330]'" -set-qdi-channel-valid "c.in_sram_spk" 14 5283 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -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 83 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 1 synapse [2,13]'" -set-qdi-channel-valid "c.in_sram_spk" 14 8402 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [2,0]'" -assert-bd-channel-valid "c.out" 32 2147483650 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 0 synapse [4,140]'" -set-qdi-channel-valid "c.in_sram_spk" 14 2244 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [4,2]'" -assert-bd-channel-valid "c.out" 32 36 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 1 synapse [14,182]'" -set-qdi-channel-valid "c.in_sram_spk" 14 11118 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [14,3]'" -assert-bd-channel-valid "c.out" 32 2147483710 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 1 synapse [11,333]'" -set-qdi-channel-valid "c.in_sram_spk" 14 13531 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [11,5]'" -assert-bd-channel-valid "c.out" 32 2147483739 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 1 synapse [4,119]'" -set-qdi-channel-valid "c.in_sram_spk" 14 10100 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [4,2]'" -assert-bd-channel-valid "c.out" 32 2147483684 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 0 synapse [13,200]'" -set-qdi-channel-valid "c.in_sram_spk" 14 3213 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [13,3]'" -assert-bd-channel-valid "c.out" 32 61 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 1 synapse [9,128]'" -set-qdi-channel-valid "c.in_sram_spk" 14 10249 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -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 '[] SRAM sending spike to core 0 synapse [14,220]'" -set-qdi-channel-valid "c.in_sram_spk" 14 3534 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [14,3]'" -assert-bd-channel-valid "c.out" 32 62 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 0 synapse [2,39]'" -set-qdi-channel-valid "c.in_sram_spk" 14 626 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [2,0]'" -assert-bd-channel-valid "c.out" 32 2 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 0 synapse [6,302]'" -set-qdi-channel-valid "c.in_sram_spk" 14 4838 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [6,5]'" -assert-bd-channel-valid "c.out" 32 86 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 0 synapse [7,144]'" -set-qdi-channel-valid "c.in_sram_spk" 14 2311 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [7,2]'" -assert-bd-channel-valid "c.out" 32 39 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 0 synapse [13,89]'" -set-qdi-channel-valid "c.in_sram_spk" 14 1437 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [13,1]'" -assert-bd-channel-valid "c.out" 32 29 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 0 synapse [7,273]'" -set-qdi-channel-valid "c.in_sram_spk" 14 4375 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -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 71 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 1 synapse [9,173]'" -set-qdi-channel-valid "c.in_sram_spk" 14 10969 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -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 '[] SRAM sending spike to core 0 synapse [12,276]'" -set-qdi-channel-valid "c.in_sram_spk" 14 4428 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [12,4]'" -assert-bd-channel-valid "c.out" 32 76 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 0 synapse [5,184]'" -set-qdi-channel-valid "c.in_sram_spk" 14 2949 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [5,3]'" -assert-bd-channel-valid "c.out" 32 53 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 1 synapse [8,251]'" -set-qdi-channel-valid "c.in_sram_spk" 14 12216 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [8,4]'" -assert-bd-channel-valid "c.out" 32 2147483720 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 0 synapse [7,177]'" -set-qdi-channel-valid "c.in_sram_spk" 14 2839 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [7,3]'" -assert-bd-channel-valid "c.out" 32 55 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle - -system "echo '[] SRAM sending spike to core 0 synapse [1,270]'" -set-qdi-channel-valid "c.in_sram_spk" 14 4321 -cycle -assert c.in_sram_spk.a 1 -set-qdi-channel-neutral "c.in_sram_spk" 14 -cycle -assert c.in_sram_spk.a 0 - -system "echo '[] Removing input'" -set-bd-channel-neutral "c.in" 32 -cycle -assert c.in.a 0 - - -system "echo '[] Receiving output spike [1,4]'" -assert-bd-channel-valid "c.out" 32 65 -set c.out.a 1 -cycle -assert-bd-channel-neutral "c.out" 32 -set c.out.a 0 -cycle \ No newline at end of file