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


import globals;
import std::data;

open std::data;

open tmpl::dataflow_neuro;

defproc decoder_2d_hybrid_2x4 (avMx1of2<3> in; a1of1 out[8]; bool? dly_cfg[4], hs_en, ack_disable){
    bool _reset_B; 
    prs {
        Reset => _reset_B-
    }
    power supply;
    supply.vdd = Vdd;
    supply.vss = GND;

    decoder_2d_hybrid<1,2,2,4,4> decoder(.in = in, .dly_cfg = dly_cfg, .hs_en = hs_en, .ack_disable = ack_disable,
        .reset_B = _reset_B, .supply = supply);

    // Dummy synapses to perform the handshaking.
    // They consist of a grid of ANDs and pulldowns, and have the "synapses" exposed,\
    // which would be the pulse extenders (which we thus short here)


    decoder_2d_synapse_hs<2,4> syn_hs(.in_req_x = decoder.out_req_x, .in_req_y = decoder.out_req_y,
        .out_ackB_decoder = decoder.in_ackB_decoder,
        .to_pu = decoder.to_pu,
        .synapses = out,
        .supply = supply);



    // (i:8: syn_hs.synapses[i].a = syn_hs.synapses[i].r;)

    // // model the synapse as having automatic pulldown of ack.
    // INV_X1 synapses[8];
    // AND2_X1 req_and2s[8];

    // pint index;

    // PULLDOWN_X4 synapses2[8];
    // (i:4:
    //     (j:2:
    //         index = i + 4*j;

    //         req_and2s[index].a = decoder.out_req_x[index];
    //         req_and2s[index].b = decoder.out_req_y[index];

    //         // synapses[index].a = decoder.out[index].r;
    //         synapses[index].a = req_and2s[index].y;
    //         synapses2[index].a = synapses[index].y; 
    //         synapses2[index].y = decoder.out[index].a;

    //         synapses[index].vss = supply.vss;
    //         synapses[index].vdd = supply.vdd;
    //         synapses2[index].vss = supply.vss;
    //         synapses2[index].vdd = supply.vdd;            
    //         req_and2s[index].vss = supply.vss;
    //         req_and2s[index].vdd = supply.vdd;

    //     )
        
    // )


}


// fifo_decoder_neurons_encoder_fifo e;
decoder_2d_hybrid_2x4 e;