/*************************************************************************
 *
 *  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/dynapse.act";
import "../../dataflow_neuro/primitives.act";

import globals;
import std::data;

open std::data;


open tmpl::dataflow_neuro;

defproc _sadc_hs (a1of1 in[4], out; bool? reset_B) {

    power supply;
    supply.vdd = Vdd;
    supply.vss = GND;

    // pipe loads of inputs into the sadc handshake
    // to simulate a neuron going nuts
    fifo_t<3> in_fifos[4];
    arbtree<4> in_arbtree(.supply = supply);

    (i:4:
        in_fifos[i].in = in[i];
        in_fifos[i].reset_B = reset_B;
        in_fifos[i].out = in_arbtree.in[i];
        in_fifos[i].supply = supply;
    )

    sadc_hs c(.in = in_arbtree.out,
        .reset_B = reset_B, .supply = supply);

    fifo_t<8> out_fifo(.in = c.out, .out = out,
        .supply = supply, .reset_B = reset_B);
}


// fifo_decoder_neurons_encoder_fifo e;
_sadc_hs c;