added tests for dynapse sadc hs

dataflow_neuro/dynapse.act

@@ -0,0 +1,66 @@
+/*************************************************************************
+ *
+ *  This file is part of ACT dataflow neuro library
+ *
+ *  Copyright (c) 2022 University of Groningen - Ole Richter
+ *  Copyright (c) 2022 University of Groningen - Michele Mastella
+ *  Copyright (c) 2022 University of Groningen - Hugh Greatorex
+ *  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/cell_lib_async.act";
+import "../../dataflow_neuro/cell_lib_std.act";
+import "../../dataflow_neuro/treegates.act";
+import "../../dataflow_neuro/primitives.act";
+import "../../dataflow_neuro/registers.act";
+import "../../dataflow_neuro/coders.act";
+import "../../dataflow_neuro/interfaces.act";
+// import tmpl::dataflow_neuro;
+// import tmpl::dataflow_neuro;
+import std::channel;
+open std::channel;
+
+namespace tmpl {
+    namespace dataflow_neuro {
+
+
+export
+defproc sadc_hs (a1of1 in, out; bool? reset_B; power supply) {
+	bool _en;
+	bool _out_a_B;
+
+	INV_X1 ack_inv(.a = out.a, .y = _out_a_B, .vdd = supply.vdd, .vss = supply.vss);
+
+	A_2C1N_RB_X1 A_ack(.c1 = _en, .c2 = in.r, .n1 = out.r, .y = in.a,
+		.pr_B = reset_B, .sr_B = reset_B, .vss = supply.vss, .vdd = supply.vdd);
+
+	A_2C1N_RB_X1 A_req(.c1 = _en, .c2 = _out_a_B, .n1 = in.r, .y = out.r,
+		.pr_B = reset_B, .sr_B = reset_B, .vss = supply.vss, .vdd = supply.vdd);
+
+	A_1C1P_X1 A_en(.c1 = in.a, .p1 =  out.r, .y = _en,
+		.vdd = supply.vdd, .vss = supply.vss);
+
+}
+
+}
+}
+

test/unit_tests/sadc_hs/test.act

@@ -0,0 +1,67 @@
+/*************************************************************************
+ *
+ *  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; 

test/unit_tests/sadc_hs/test.prsim

@@ -0,0 +1,72 @@
+watchall
+
+set c.reset_B 0
+
+set c.in[0].r 0
+set c.in[1].r 0
+set c.in[2].r 0
+set c.in[3].r 0
+
+set c.out.a 0
+
+
+cycle
+status X
+system "echo '[] Set reset 0'"
+mode run
+set c.reset_B 1
+cycle
+system "echo '[] Reset finished'"
+status X
+
+
+system "echo '[] Setting all in reqs high'"
+set c.in[0].r 1
+set c.in[1].r 1
+set c.in[2].r 1
+set c.in[3].r 1
+cycle
+
+assert c.in[0].a 1
+assert c.in[1].a 1
+assert c.in[2].a 1
+assert c.in[3].a 1
+
+set c.in[0].r 0
+set c.in[1].r 0
+set c.in[2].r 0
+set c.in[3].r 0
+cycle
+
+assert c.in[0].a 0
+assert c.in[1].a 0
+assert c.in[2].a 0
+assert c.in[3].a 0
+
+assert c.out.r 1
+set c.out.a 1
+cycle
+assert c.out.r 0
+set c.out.a 0
+cycle
+
+assert c.out.r 1
+set c.out.a 1
+cycle
+assert c.out.r 0
+set c.out.a 0
+cycle
+
+assert c.out.r 1
+set c.out.a 1
+cycle
+assert c.out.r 0
+set c.out.a 0
+cycle
+
+assert c.out.r 1
+set c.out.a 1
+cycle
+assert c.out.r 0
+set c.out.a 0
+cycle