actlib_dataflow_neuro/test/unit_tests/arbtree_5/test.act

/*************************************************************************
 *
 *  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 globals;
open tmpl::dataflow_neuro;
defproc arbtree (a1of1 in[5]; a1of1 out)
{
    a1of1 _in[5];
    power _supply
    _supply.vdd = Vdd;
    _supply.vss = GND;
    fifo_t<2> fifo_to_tree[5];
    (i:5:
        fifo_to_tree[i].in = in[i];
        fifo_to_tree[i].out = _in[i];
        fifo_to_tree.supply = _supply;
        fifo_to_tree.reset_B = _reset_B;
    )
    arbtree<5> at(.in=_in, .out = out);
    //Low active Reset
    bool _reset_B;
    prs {
        Reset => _reset_B-
    }
    at.supply = _supply;
    
}
arbtree t;