diff --git a/dataflow_neuro/cell_lib_async.act b/dataflow_neuro/cell_lib_async.act index 1e424af..e6b8e6a 100644 --- a/dataflow_neuro/cell_lib_async.act +++ b/dataflow_neuro/cell_lib_async.act @@ -478,6 +478,24 @@ namespace tmpl { p_n_mode <- 1; y {-1}} } + export defcell arbiter_handshake(bool in1_r, in1_a,in2_r, in2_a out_r, out_a) + { + bool _u, _v; + A_2C_B_X1 cel1(.c1 = out_a,.c2 = v,.y = in1_a); + A_2C_B_X1 cel2(.c1 = out_a,.c2 = u,.y = in2_a); + prs { + [keeper=0] in1_v & _v -> _u- + [keeper=0] ~in1_v | ~_v -> _u+ + [keeper=0] in2_v & _u -> _v- + [keeper=0] ~in2_v | ~_u -> _v+ + [keeper=0] ~_u | ~in2_a => u+ + [keeper=0] ~_v | ~in1_a => v+ + [keeper=0] u | v => out_r + } + spec { + mk_excllo(_u, _v) + } + } }} diff --git a/dataflow_neuro/primitives.act b/dataflow_neuro/primitives.act index bf36c58..aac9eb3 100644 --- a/dataflow_neuro/primitives.act +++ b/dataflow_neuro/primitives.act @@ -112,7 +112,7 @@ namespace tmpl { BUF_X1 reset_buf(.a=reset_B, .y=_reset_BX,.vdd=supply.vdd,.vss=supply.vss); - sigbuf reset_bufarray(.in=_reset_BX, .out=_reset_BXX); + sigbuf reset_bufarray(.in=_reset_BX, .out=_reset_BXX); //validity bool _in_v; @@ -248,6 +248,7 @@ namespace tmpl { export template defproc fork (avMx1of2 in; avMx1of2 out1; avMx1of2 out2 ; bool? reset_B; power supply) { + // control bool _en, _reset_BX,_reset_BXX[N*2]; A_4C_RB_X4 inack_ctl(.c1=_en,.c2=in.v,.c3=out1.v,.c4=out2.v,.y=in.a,.pr_B=_reset_BX,.sr_B=_reset_BX,.vdd=supply.vdd,.vss=supply.vss); @@ -320,5 +321,16 @@ namespace tmpl { out2_f_buf_func[i].sr_B = _reset_BXX[i+N-1]; ) } + export template + defproc merge (avMx1of2 in1; avMx1of2 in2; avMx1of2 out ; bool? reset_B; power supply) { + + //control + + + //reset_buffers + + //validity + + //function } } diff --git a/test/prsim_plot.py b/test/prsim_plot.py index 4ca78a9..bc412c9 100755 --- a/test/prsim_plot.py +++ b/test/prsim_plot.py @@ -108,7 +108,7 @@ Use -exclude='regex' to specify signals to exclude (or -ex).""") colour_high = (252, 186, 3) colour_low = (20, 184, 186) - fig = plt.figure(figsize = (num_sigs/3,num_times/3)) + fig = plt.figure(figsize = (num_sigs/3+4,num_times/3+4), dpi = 100) image = np.zeros((num_sigs, num_times, 3), dtype = int) image[signals_matrix == 0] = colour_undefined @@ -159,7 +159,14 @@ Use -exclude='regex' to specify signals to exclude (or -ex).""") plt.arrow(t0, s1, 0, s0-s1 + 0.2*np.sign(s0-s1), head_width = 0, width = 0.2, ec = "none", lw = 0, fc = "black", length_includes_head = True) plt.scatter((t0),(s0), c = "black", s = 30) - file_out_path = file_path.replace(".out",".pdf") + + output_type = ".pdf" + for arg in argv: + if arg == "-png": output_type = ".png" + + file_out_path = file_path.replace(".out",output_type) + + plt.savefig(file_out_path, bbox_inches = "tight") diff --git a/test/unit_tests/arbiter_2/test.act b/test/unit_tests/arbiter_2/test.act new file mode 100644 index 0000000..1d0f676 --- /dev/null +++ b/test/unit_tests/arbiter_2/test.act @@ -0,0 +1,33 @@ +defproc arbiter (bool a, b, u, v) +{ + bool _u, _v; + prs { + [keeper=0] a & _v -> _u- + [keeper=0] ~a | ~_v -> _u+ + [keeper=0] b & _u -> _v- + [keeper=0] ~b | ~_u -> _v+ + [keeper=0] _u => u- + [keeper=0] _v => v- + } + spec { + mk_excllo(_u, _v) + } +} + +bool Reset; + +defproc driver(bool r, a) +{ + prs { + Reset | a => r- + } +} + + +defproc test() +{ + driver d1, d2; + arbiter a(d1.r, d2.r, d1.a, d2.a); +} + +test t; diff --git a/test/unit_tests/arbiter_2/test.prsim b/test/unit_tests/arbiter_2/test.prsim new file mode 100644 index 0000000..7192820 --- /dev/null +++ b/test/unit_tests/arbiter_2/test.prsim @@ -0,0 +1,8 @@ +watchall +cycle +set Reset 0 +cycle + +status X +mode run +system "echo 'finished'" \ No newline at end of file diff --git a/test/unit_tests/ctree_15/run/prsim.out b/test/unit_tests/ctree_15/run/prsim.out new file mode 100644 index 0000000..17cdbe6 --- /dev/null +++ b/test/unit_tests/ctree_15/run/prsim.out @@ -0,0 +1,3 @@ +t.ctree_test.tmp[22] t.ctree_test.C2Els[0]._y t.ctree_test.tmp[17] t.in[14] t.in[4] t.in[2] t.in[8] t.in[13] t.ctree_test.tmp[21] t.ctree_test.tmp[23] t.out t.in[12] t.in[6] t.in[7] t.in[10] t.in[5] t.ctree_test.tmp[19] t.ctree_test.tmp[18] t.ctree_test.C3Els[0]._y t.in[3] t.ctree_test.tmp[24] t.ctree_test.C3Els[2]._y t.ctree_test.C2Els[4]._y t.in[0] t.in[1] t.ctree_test.tmp[15] t.ctree_test.tmp[16] t.in[11] t.ctree_test.tmp[20] t.ctree_test.C2Els[7]._y t.in[9] t.ctree_test.C2Els[2]._y t.ctree_test.C2Els[1]._y t.ctree_test.C2Els[6]._y t.ctree_test.C2Els[5]._y t.ctree_test.C2Els[3]._y t.ctree_test.C3Els[1]._y +0 +1 diff --git a/test/unit_tests/fork_15/run/prsim.out b/test/unit_tests/fork_15/run/prsim.out index 0778d87..77e1092 100644 --- a/test/unit_tests/fork_15/run/prsim.out +++ b/test/unit_tests/fork_15/run/prsim.out @@ -1,6 +1,330 @@ my_fork.fork_test.out1_t_buf_func[4].n1 my_fork.fork_test._en2_X_f[0] my_fork.out2.v my_fork.fork_test._en1_X_f[0] my_fork.fork_test._out1_a_BX_t[0] my_fork.fork_test.vc.tmp[11] my_fork.fork_test.out1_f_buf_func[6].n1 my_fork.fork_test._out2_a_BX_t[0] my_fork.fork_test.out1_t_buf_func[5].n1 my_fork.fork_test.out1_t_buf_func[0].n1 my_fork.fork_test._out1_a_BX_f[0] my_fork.fork_test.out1_f_buf_func[3].n1 my_fork.fork_test.out1_f_buf_func[8].n1 my_fork.fork_test._out2_a_BX_f[0] my_fork.fork_test._in_v my_fork.fork_test.vc.tmp[2] my_fork.fork_test._en my_fork.fork_test.out1_f_buf_func[5].n1 my_fork.fork_test.vc.OR2_tf[3]._y my_fork.fork_test.out1_f_buf_func[7].n1 my_fork.fork_test.out1_f_buf_func[12].n1 my_fork.fork_test.out1_f_buf_func[1].n1 my_fork.fork_test.out1_f_buf_func[0].n1 my_fork.fork_test.out1_f_buf_func[13].n1 my_fork.fork_test.out1_t_buf_func[2].n1 my_fork.fork_test.vc.tmp[13] my_fork.fork_test.out1_f_buf_func[4].n1 my_fork.fork_test.out1_t_buf_func[11].n1 my_fork.fork_test._en2_X_t[0] my_fork.fork_test._en1_X_t[0] my_fork.fork_test.vc.tmp[1] my_fork.fork_test.vc.tmp[9] my_fork.fork_test.vc.tmp[20] my_fork.fork_test.vc.C2Els[0]._y my_fork.fork_test.out1_t_buf_func[6].n1 my_fork.fork_test.out1_t_buf_func[8].n1 my_fork.fork_test.out1_en_buf_t.buf6._y my_fork.fork_test.out1_f_buf_func[2].n1 my_fork.fork_test.out1_f_buf_func[10].n1 my_fork.fork_test._out1_a_B my_fork.fork_test.out1_t_buf_func[14].n1 my_fork.fork_test.out1_t_buf_func[12].n1 my_fork.fork_test.vc.C2Els[6]._y my_fork.fork_test.vc.tmp[0] my_fork.fork_test.vc.tmp[4] my_fork.fork_test.out1_t_buf_func[3].n1 my_fork.fork_test.vc.tmp[16] my_fork.fork_test.out1_t_buf_func[1].n1 my_fork.fork_test.vc.tmp[24] my_fork.fork_test.vc.tmp[8] my_fork.fork_test._out2_a_B my_fork.fork_test.out1_t_buf_func[10].n1 my_fork.fork_test.out1_a_B_buf_f.buf6._y my_fork.fork_test.vc.tmp[18] my_fork.fork_test.vc.C3Els[2]._y my_fork.fork_test.out1_t_buf_func[13].n1 my_fork.fork_test.vc.OR2_tf[8]._y my_fork.fork_test.out1_f_buf_func[14].n1 my_fork.fork_test.vc.tmp[12] my_fork.fork_test.vc.tmp[3] my_fork.fork_test.vc.tmp[21] my_fork.fork_test.vc.tmp[7] my_fork.fork_test.out1_t_buf_func[7].n1 my_fork.fork_test.out1_f_buf_func[11].n1 my_fork.fork_test.vc.C2Els[3]._y my_fork.fork_test.vc.tmp[23] my_fork.fork_test.out1_f_buf_func[9].n1 my_fork.fork_test.vc.tmp[17] my_fork.fork_test.vc.OR2_tf[13]._y my_fork.fork_test.vc.OR2_tf[0]._y my_fork.fork_test.vc.C3Els[1]._y my_fork.fork_test.vc.tmp[5] my_fork.fork_test.out1_t_buf_func[9].n1 my_fork.out1.a my_fork.fork_test.vc.OR2_tf[9]._y my_fork.out1.v my_fork.out2.a my_fork.fork_test.vc.tmp[22] my_fork.in.v my_fork.fork_test.vc.tmp[6] my_fork.fork_test.vc.C2Els[1]._y my_fork.fork_test.vc.tmp[10] my_fork.fork_test.vc.tmp[14] my_fork.fork_test.out2_en_buf_f.buf6._y my_fork.fork_test.vc.OR2_tf[7]._y my_fork.fork_test.vc.OR2_tf[11]._y my_fork.fork_test.vc.C3Els[0]._y my_fork.fork_test.vc.tmp[19] my_fork.fork_test.vc.OR2_tf[1]._y my_fork.fork_test.vc.C2Els[7]._y my_fork.fork_test.vc.C2Els[4]._y my_fork.fork_test.out1_en_buf_f.buf6._y my_fork.fork_test.vc.OR2_tf[2]._y my_fork.fork_test.out2_en_buf_t.buf6._y my_fork.fork_test.vc.OR2_tf[14]._y my_fork.fork_test.vc.C2Els[5]._y my_fork.fork_test.vc.tmp[15] my_fork.fork_test.vc.OR2_tf[6]._y my_fork.fork_test.vc.OR2_tf[4]._y my_fork.fork_test.out2_a_B_buf_t.buf6._y my_fork.fork_test.out2_a_B_buf_f.buf6._y my_fork.fork_test.vc.OR2_tf[5]._y my_fork.fork_test.vc.C2Els[2]._y my_fork.fork_test.vc.OR2_tf[12]._y my_fork.fork_test.vc.OR2_tf[10]._y my_fork.fork_test.out1_a_B_buf_t.buf6._y my_fork.fork_test.in_v_buf._y + 105864 my_fork.fork_test.out1_f_buf_func[0].n1 : 0 + 105864 my_fork.out2.v : 0 + 105864 my_fork.out2.a : 0 + 105864 my_fork.out1.v : 0 + 105864 my_fork.fork_test.out1_f_buf_func[1].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[3].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[7].n1 : 0 + 105864 my_fork.out1.a : 0 + 105864 my_fork.fork_test.out1_t_buf_func[14].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[6].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[14].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[13].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[13].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[2].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[6].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[12].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[5].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[12].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[11].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[11].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[10].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[0].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[10].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[2].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[5].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[4].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[9].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[1].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[4].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[9].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[8].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[3].n1 : 0 + 105864 my_fork.fork_test.out1_f_buf_func[8].n1 : 0 + 105864 my_fork.fork_test.out1_t_buf_func[7].n1 : 0 + 105865 my_fork.fork_test.vc.OR2_tf[8]._y : 1 [by my_fork.fork_test.out1_f_buf_func[8].n1:=0] + 105866 my_fork.fork_test.vc.OR2_tf[12]._y : 1 [by my_fork.fork_test.out1_f_buf_func[12].n1:=0] + 105867 my_fork.fork_test.vc.OR2_tf[0]._y : 1 [by my_fork.fork_test.out1_t_buf_func[0].n1:=0] + 105867 my_fork.fork_test.vc.tmp[12] : 0 [by my_fork.fork_test.vc.OR2_tf[12]._y:=1] + 105887 my_fork.fork_test.vc.tmp[8] : 0 [by my_fork.fork_test.vc.OR2_tf[8]._y:=1] + 105893 my_fork.fork_test.vc.OR2_tf[10]._y : 1 [by my_fork.fork_test.out1_f_buf_func[10].n1:=0] + 105908 my_fork.fork_test.vc.OR2_tf[4]._y : 1 [by my_fork.fork_test.out1_f_buf_func[4].n1:=0] + 106017 my_fork.fork_test.vc.OR2_tf[1]._y : 1 [by my_fork.fork_test.out1_t_buf_func[1].n1:=0] + 106067 my_fork.fork_test.vc.tmp[4] : 0 [by my_fork.fork_test.vc.OR2_tf[4]._y:=1] + 106081 my_fork.fork_test.vc.OR2_tf[7]._y : 1 [by my_fork.fork_test.out1_t_buf_func[7].n1:=0] + 106181 my_fork.fork_test.vc.OR2_tf[2]._y : 1 [by my_fork.fork_test.out1_f_buf_func[2].n1:=0] + 106392 my_fork.fork_test._en : 1 [by my_fork.out1.v:=0] + 106393 my_fork.fork_test.out1_en_buf_f.buf6._y : 0 [by my_fork.fork_test._en:=1] + 106537 my_fork.fork_test.out2_en_buf_f.buf6._y : 0 [by my_fork.fork_test._en:=1] + 106699 my_fork.fork_test._en2_X_f[0] : 1 [by my_fork.fork_test.out2_en_buf_f.buf6._y:=0] + 107368 my_fork.fork_test.vc.tmp[7] : 0 [by my_fork.fork_test.vc.OR2_tf[7]._y:=1] + 107448 my_fork.fork_test.vc.tmp[0] : 0 [by my_fork.fork_test.vc.OR2_tf[0]._y:=1] + 107465 my_fork.fork_test.vc.OR2_tf[5]._y : 1 [by my_fork.fork_test.out1_f_buf_func[5].n1:=0] + 108299 my_fork.fork_test._out1_a_B : 1 [by my_fork.out1.a:=0] + 108306 my_fork.fork_test.out1_a_B_buf_t.buf6._y : 0 [by my_fork.fork_test._out1_a_B:=1] + 108313 my_fork.fork_test.out1_a_B_buf_f.buf6._y : 0 [by my_fork.fork_test._out1_a_B:=1] + 108413 my_fork.fork_test.vc.tmp[2] : 0 [by my_fork.fork_test.vc.OR2_tf[2]._y:=1] + 108466 my_fork.fork_test._out1_a_BX_f[0] : 1 [by my_fork.fork_test.out1_a_B_buf_t.buf6._y:=0] + 108625 my_fork.fork_test.vc.OR2_tf[9]._y : 1 [by my_fork.fork_test.out1_f_buf_func[9].n1:=0] + 108626 my_fork.fork_test.vc.tmp[9] : 0 [by my_fork.fork_test.vc.OR2_tf[9]._y:=1] + 108627 my_fork.fork_test.vc.C2Els[4]._y : 1 [by my_fork.fork_test.vc.tmp[9]:=0] + 108628 my_fork.fork_test.vc.tmp[19] : 0 [by my_fork.fork_test.vc.C2Els[4]._y:=1] + 109224 my_fork.fork_test.out1_en_buf_t.buf6._y : 0 [by my_fork.fork_test._en:=1] + 110426 my_fork.fork_test._out2_a_B : 1 [by my_fork.out2.a:=0] + 110427 my_fork.fork_test.out2_a_B_buf_f.buf6._y : 0 [by my_fork.fork_test._out2_a_B:=1] + 110613 my_fork.fork_test.out2_a_B_buf_t.buf6._y : 0 [by my_fork.fork_test._out2_a_B:=1] + 111467 my_fork.fork_test._en1_X_t[0] : 1 [by my_fork.fork_test.out1_en_buf_t.buf6._y:=0] + 112746 my_fork.fork_test.out2_en_buf_t.buf6._y : 0 [by my_fork.fork_test._en:=1] + 112747 my_fork.fork_test._en2_X_t[0] : 1 [by my_fork.fork_test.out2_en_buf_t.buf6._y:=0] + 114609 my_fork.fork_test._out2_a_BX_t[0] : 1 [by my_fork.fork_test.out2_a_B_buf_f.buf6._y:=0] + 114834 my_fork.fork_test.vc.tmp[5] : 0 [by my_fork.fork_test.vc.OR2_tf[5]._y:=1] + 115238 my_fork.fork_test.vc.tmp[10] : 0 [by my_fork.fork_test.vc.OR2_tf[10]._y:=1] + 115687 my_fork.fork_test.vc.C2Els[2]._y : 1 [by my_fork.fork_test.vc.tmp[5]:=0] + 115692 my_fork.fork_test.vc.tmp[17] : 0 [by my_fork.fork_test.vc.C2Els[2]._y:=1] + 118905 my_fork.fork_test.vc.OR2_tf[6]._y : 1 [by my_fork.fork_test.out1_f_buf_func[6].n1:=0] + 119547 my_fork.fork_test.vc.OR2_tf[3]._y : 1 [by my_fork.fork_test.out1_t_buf_func[3].n1:=0] + 119548 my_fork.fork_test.vc.tmp[3] : 0 [by my_fork.fork_test.vc.OR2_tf[3]._y:=1] + 119565 my_fork.fork_test.vc.C2Els[1]._y : 1 [by my_fork.fork_test.vc.tmp[3]:=0] + 119796 my_fork.fork_test.vc.tmp[6] : 0 [by my_fork.fork_test.vc.OR2_tf[6]._y:=1] + 122138 my_fork.fork_test.vc.tmp[16] : 0 [by my_fork.fork_test.vc.C2Els[1]._y:=1] + 125693 my_fork.fork_test.vc.tmp[1] : 0 [by my_fork.fork_test.vc.OR2_tf[1]._y:=1] + 125696 my_fork.fork_test.vc.C2Els[0]._y : 1 [by my_fork.fork_test.vc.tmp[1]:=0] + 126637 my_fork.fork_test.vc.tmp[15] : 0 [by my_fork.fork_test.vc.C2Els[0]._y:=1] + 128157 my_fork.fork_test.vc.C2Els[3]._y : 1 [by my_fork.fork_test.vc.tmp[6]:=0] + 128158 my_fork.fork_test.vc.tmp[18] : 0 [by my_fork.fork_test.vc.C2Els[3]._y:=1] + 128200 my_fork.fork_test.vc.C2Els[7]._y : 1 [by my_fork.fork_test.vc.tmp[18]:=0] + 129789 my_fork.fork_test.vc.OR2_tf[13]._y : 1 [by my_fork.fork_test.out1_t_buf_func[13].n1:=0] + 129870 my_fork.fork_test._out1_a_BX_t[0] : 1 [by my_fork.fork_test.out1_a_B_buf_f.buf6._y:=0] + 131017 my_fork.fork_test.vc.tmp[23] : 0 [by my_fork.fork_test.vc.C2Els[7]._y:=1] + 132744 my_fork.fork_test.vc.OR2_tf[14]._y : 1 [by my_fork.fork_test.out1_f_buf_func[14].n1:=0] + 132839 my_fork.fork_test.vc.tmp[14] : 0 [by my_fork.fork_test.vc.OR2_tf[14]._y:=1] + 143522 my_fork.fork_test.vc.tmp[13] : 0 [by my_fork.fork_test.vc.OR2_tf[13]._y:=1] + 143857 my_fork.fork_test.vc.C3Els[0]._y : 1 [by my_fork.fork_test.vc.tmp[13]:=0] + 143865 my_fork.fork_test.vc.tmp[21] : 0 [by my_fork.fork_test.vc.C3Els[0]._y:=1] + 145395 my_fork.fork_test._out2_a_BX_f[0] : 1 [by my_fork.fork_test.out2_a_B_buf_t.buf6._y:=0] + 145677 my_fork.fork_test._en1_X_f[0] : 1 [by my_fork.fork_test.out1_en_buf_f.buf6._y:=0] + 166822 my_fork.fork_test.vc.OR2_tf[11]._y : 1 [by my_fork.fork_test.out1_t_buf_func[11].n1:=0] + 166856 my_fork.fork_test.vc.tmp[11] : 0 [by my_fork.fork_test.vc.OR2_tf[11]._y:=1] + 180743 my_fork.fork_test.vc.C2Els[5]._y : 1 [by my_fork.fork_test.vc.tmp[11]:=0] + 181661 my_fork.fork_test.vc.tmp[20] : 0 [by my_fork.fork_test.vc.C2Els[5]._y:=1] + 181665 my_fork.fork_test.vc.C3Els[1]._y : 1 [by my_fork.fork_test.vc.tmp[20]:=0] + 185599 my_fork.fork_test.vc.C2Els[6]._y : 1 [by my_fork.fork_test.vc.tmp[15]:=0] + 187997 my_fork.fork_test.vc.tmp[22] : 0 [by my_fork.fork_test.vc.C2Els[6]._y:=1] + 228043 my_fork.fork_test.vc.tmp[24] : 0 [by my_fork.fork_test.vc.C3Els[1]._y:=1] + 231258 my_fork.fork_test.vc.C3Els[2]._y : 1 [by my_fork.fork_test.vc.tmp[24]:=0] + 278377 my_fork.fork_test._in_v : 0 [by my_fork.fork_test.vc.C3Els[2]._y:=1] + 278425 my_fork.fork_test.in_v_buf._y : 1 [by my_fork.fork_test._in_v:=0] + 278428 my_fork.in.v : 0 [by my_fork.fork_test.in_v_buf._y:=1] System initialized + 278428 Reset : 0 + 278606 my_fork._reset_B : 1 [by Reset:=0] + 299583 my_fork.fork_test.reset_buf._y : 0 [by my_fork._reset_B:=1] + 311482 my_fork.fork_test._reset_BX : 1 [by my_fork.fork_test.reset_buf._y:=0] + 317433 my_fork.fork_test.reset_bufarray.buf12._y : 0 [by my_fork.fork_test._reset_BX:=1] + 356918 my_fork.fork_test._reset_BXX[0] : 1 [by my_fork.fork_test.reset_bufarray.buf12._y:=0] System reset completed Output neutral checked + 356918 my_fork.fork_test.out1_t_buf_func[0].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[14].n1 : 1 + 356918 my_fork.fork_test.out1_t_buf_func[2].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[6].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[13].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[5].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[12].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[11].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[1].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[4].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[10].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[9].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[3].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[8].n1 : 1 + 356918 my_fork.fork_test.out1_f_buf_func[7].n1 : 1 + 356919 my_fork.fork_test.vc.OR2_tf[5]._y : 0 [by my_fork.fork_test.out1_f_buf_func[5].n1:=1] + 356919 my_fork.fork_test.vc.OR2_tf[12]._y : 0 [by my_fork.fork_test.out1_f_buf_func[12].n1:=1] + 356919 my_fork.fork_test.vc.OR2_tf[11]._y : 0 [by my_fork.fork_test.out1_f_buf_func[11].n1:=1] + 356919 my_fork.fork_test.out2_f_buf_func[6]._y : 0 [by my_fork.fork_test.out1_f_buf_func[6].n1:=1] + 356919 my_fork.fork_test.out1_f_buf_func[10]._y : 0 [by my_fork.fork_test.out1_f_buf_func[10].n1:=1] + 356919 my_fork.fork_test.out2_f_buf_func[9]._y : 0 [by my_fork.fork_test.out1_f_buf_func[9].n1:=1] + 356919 my_fork.fork_test.out2_f_buf_func[14]._y : 0 [by my_fork.fork_test.out1_f_buf_func[14].n1:=1] + 356919 my_fork.fork_test.out2_f_buf_func[10]._y : 0 [by my_fork.fork_test.out1_f_buf_func[10].n1:=1] + 356922 my_fork.fork_test.out1_f_buf_func[14]._y : 0 [by my_fork.fork_test.out1_f_buf_func[14].n1:=1] + 356922 my_fork.fork_test.vc.OR2_tf[7]._y : 0 [by my_fork.fork_test.out1_f_buf_func[7].n1:=1] + 356923 my_fork.fork_test.out2_f_buf_func[3]._y : 0 [by my_fork.fork_test.out1_f_buf_func[3].n1:=1] + 356925 my_fork.fork_test.vc.tmp[7] : 1 [by my_fork.fork_test.vc.OR2_tf[7]._y:=0] + 356929 my_fork.fork_test.out2_f_buf_func[8]._y : 0 [by my_fork.fork_test.out1_f_buf_func[8].n1:=1] + 356930 my_fork.fork_test.vc.OR2_tf[13]._y : 0 [by my_fork.fork_test.out1_f_buf_func[13].n1:=1] + 356931 my_fork.fork_test.vc.OR2_tf[1]._y : 0 [by my_fork.fork_test.out1_f_buf_func[1].n1:=1] + 356932 my_fork.fork_test.out1_f_buf_func[8]._y : 0 [by my_fork.fork_test.out1_f_buf_func[8].n1:=1] + 356933 my_fork.fork_test.out1_f_buf_func[14].y : 1 [by my_fork.fork_test.out1_f_buf_func[14]._y:=0] + 356936 my_fork.fork_test.out2_f_buf_func[7]._y : 0 [by my_fork.fork_test.out1_f_buf_func[7].n1:=1] + 356939 my_fork.fork_test.out1_f_buf_func[4]._y : 0 [by my_fork.fork_test.out1_f_buf_func[4].n1:=1] + 356943 my_fork.fork_test.vc.OR2_tf[4]._y : 0 [by my_fork.fork_test.out1_f_buf_func[4].n1:=1] + 356955 my_fork.fork_test.out1_f_buf_func[12]._y : 0 [by my_fork.fork_test.out1_f_buf_func[12].n1:=1] + 356974 my_fork.fork_test.out1_f_buf_func[5]._y : 0 [by my_fork.fork_test.out1_f_buf_func[5].n1:=1] + 356977 my_fork.fork_test.out2_f_buf_func[3].y : 1 [by my_fork.fork_test.out2_f_buf_func[3]._y:=0] + 356989 my_fork.fork_test.out2_f_buf_func[14].y : 1 [by my_fork.fork_test.out2_f_buf_func[14]._y:=0] + 356991 my_fork.fork_test.vc.OR2_tf[14]._y : 0 [by my_fork.fork_test.out1_f_buf_func[14].n1:=1] + 357013 my_fork.fork_test.out1_f_buf_func[8].y : 1 [by my_fork.fork_test.out1_f_buf_func[8]._y:=0] + 357014 my_fork.fork_test.vc.OR2_tf[2]._y : 0 [by my_fork.fork_test.out1_t_buf_func[2].n1:=1] + 357022 my_fork.fork_test.out1_f_buf_func[7]._y : 0 [by my_fork.fork_test.out1_f_buf_func[7].n1:=1] + 357035 my_fork.fork_test.vc.tmp[4] : 1 [by my_fork.fork_test.vc.OR2_tf[4]._y:=0] + 357054 my_fork.fork_test.out1_t_buf_func[2]._y : 0 [by my_fork.fork_test.out1_t_buf_func[2].n1:=1] + 357067 my_fork.fork_test.out1_f_buf_func[7].y : 1 [by my_fork.fork_test.out1_f_buf_func[7]._y:=0] + 357079 my_fork.fork_test.vc.OR2_tf[9]._y : 0 [by my_fork.fork_test.out1_f_buf_func[9].n1:=1] + 357091 my_fork.fork_test.vc.OR2_tf[0]._y : 0 [by my_fork.fork_test.out1_t_buf_func[0].n1:=1] + 357102 my_fork.fork_test.out1_t_buf_func[0]._y : 0 [by my_fork.fork_test.out1_t_buf_func[0].n1:=1] + 357147 my_fork.fork_test.out2_f_buf_func[6].y : 1 [by my_fork.fork_test.out2_f_buf_func[6]._y:=0] + 357159 my_fork.fork_test.out1_f_buf_func[6]._y : 0 [by my_fork.fork_test.out1_f_buf_func[6].n1:=1] + 357211 my_fork.fork_test.out1_f_buf_func[6].y : 1 [by my_fork.fork_test.out1_f_buf_func[6]._y:=0] + 357275 my_fork.fork_test.out2_f_buf_func[4]._y : 0 [by my_fork.fork_test.out1_f_buf_func[4].n1:=1] + 357282 my_fork.fork_test.out2_f_buf_func[4].y : 1 [by my_fork.fork_test.out2_f_buf_func[4]._y:=0] + 357326 my_fork.fork_test.out1_f_buf_func[3]._y : 0 [by my_fork.fork_test.out1_f_buf_func[3].n1:=1] + 357499 my_fork.fork_test.vc.OR2_tf[3]._y : 0 [by my_fork.fork_test.out1_f_buf_func[3].n1:=1] + 357604 my_fork.fork_test.vc.tmp[14] : 1 [by my_fork.fork_test.vc.OR2_tf[14]._y:=0] + 357616 my_fork.fork_test.vc.tmp[0] : 1 [by my_fork.fork_test.vc.OR2_tf[0]._y:=0] + 357745 my_fork.fork_test.out2_t_buf_func[0]._y : 0 [by my_fork.fork_test.out1_t_buf_func[0].n1:=1] + 357747 my_fork.fork_test.out2_t_buf_func[0].y : 1 [by my_fork.fork_test.out2_t_buf_func[0]._y:=0] + 357762 my_fork.fork_test.out1_f_buf_func[10].y : 1 [by my_fork.fork_test.out1_f_buf_func[10]._y:=0] + 357947 my_fork.fork_test.out2_f_buf_func[5]._y : 0 [by my_fork.fork_test.out1_f_buf_func[5].n1:=1] + 357955 my_fork.fork_test.out1_f_buf_func[9]._y : 0 [by my_fork.fork_test.out1_f_buf_func[9].n1:=1] + 357965 my_fork.fork_test.vc.OR2_tf[8]._y : 0 [by my_fork.fork_test.out1_f_buf_func[8].n1:=1] + 357966 my_fork.fork_test.vc.tmp[8] : 1 [by my_fork.fork_test.vc.OR2_tf[8]._y:=0] + 358002 my_fork.fork_test.out1_t_buf_func[0].y : 1 [by my_fork.fork_test.out1_t_buf_func[0]._y:=0] + 358051 my_fork.fork_test.out1_t_buf_func[2].y : 1 [by my_fork.fork_test.out1_t_buf_func[2]._y:=0] + 358077 my_fork.fork_test.out2_f_buf_func[8].y : 1 [by my_fork.fork_test.out2_f_buf_func[8]._y:=0] + 358088 my_fork.fork_test.out1_f_buf_func[9].y : 1 [by my_fork.fork_test.out1_f_buf_func[9]._y:=0] + 358091 my_fork.fork_test.vc.tmp[13] : 1 [by my_fork.fork_test.vc.OR2_tf[13]._y:=0] + 358123 my_fork.fork_test.vc.tmp[12] : 1 [by my_fork.fork_test.vc.OR2_tf[12]._y:=0] + 358127 my_fork.fork_test.vc.C3Els[0]._y : 0 [by my_fork.fork_test.vc.tmp[12]:=1] + 358301 my_fork.fork_test.out2_f_buf_func[5].y : 1 [by my_fork.fork_test.out2_f_buf_func[5]._y:=0] + 358378 my_fork.fork_test.out2_f_buf_func[9].y : 1 [by my_fork.fork_test.out2_f_buf_func[9]._y:=0] + 358610 my_fork.fork_test.out2_f_buf_func[1]._y : 0 [by my_fork.fork_test.out1_f_buf_func[1].n1:=1] + 358673 my_fork.fork_test.vc.tmp[21] : 1 [by my_fork.fork_test.vc.C3Els[0]._y:=0] + 358718 my_fork.fork_test.out1_f_buf_func[5].y : 1 [by my_fork.fork_test.out1_f_buf_func[5]._y:=0] + 358728 my_fork.fork_test.vc.tmp[9] : 1 [by my_fork.fork_test.vc.OR2_tf[9]._y:=0] + 358729 my_fork.fork_test.vc.C2Els[4]._y : 0 [by my_fork.fork_test.vc.tmp[9]:=1] + 360482 my_fork.fork_test.out1_f_buf_func[11]._y : 0 [by my_fork.fork_test.out1_f_buf_func[11].n1:=1] + 360561 my_fork.fork_test.out1_f_buf_func[11].y : 1 [by my_fork.fork_test.out1_f_buf_func[11]._y:=0] + 360818 my_fork.fork_test.out1_f_buf_func[13]._y : 0 [by my_fork.fork_test.out1_f_buf_func[13].n1:=1] + 360877 my_fork.fork_test.out2_f_buf_func[13]._y : 0 [by my_fork.fork_test.out1_f_buf_func[13].n1:=1] + 360965 my_fork.fork_test.out2_f_buf_func[13].y : 1 [by my_fork.fork_test.out2_f_buf_func[13]._y:=0] + 363251 my_fork.fork_test.out1_f_buf_func[13].y : 1 [by my_fork.fork_test.out1_f_buf_func[13]._y:=0] + 363966 my_fork.fork_test.vc.tmp[3] : 1 [by my_fork.fork_test.vc.OR2_tf[3]._y:=0] + 365266 my_fork.fork_test.out1_f_buf_func[12].y : 1 [by my_fork.fork_test.out1_f_buf_func[12]._y:=0] + 365374 my_fork.fork_test.vc.tmp[11] : 1 [by my_fork.fork_test.vc.OR2_tf[11]._y:=0] + 365583 my_fork.fork_test.vc.tmp[1] : 1 [by my_fork.fork_test.vc.OR2_tf[1]._y:=0] + 366566 my_fork.fork_test.vc.OR2_tf[10]._y : 0 [by my_fork.fork_test.out1_f_buf_func[10].n1:=1] + 368013 my_fork.fork_test.out2_f_buf_func[7].y : 1 [by my_fork.fork_test.out2_f_buf_func[7]._y:=0] + 371036 my_fork.fork_test.vc.tmp[2] : 1 [by my_fork.fork_test.vc.OR2_tf[2]._y:=0] + 371095 my_fork.fork_test.vc.C2Els[1]._y : 0 [by my_fork.fork_test.vc.tmp[2]:=1] + 371107 my_fork.fork_test.vc.tmp[19] : 1 [by my_fork.fork_test.vc.C2Els[4]._y:=0] + 371125 my_fork.fork_test.vc.tmp[16] : 1 [by my_fork.fork_test.vc.C2Els[1]._y:=0] + 372938 my_fork.fork_test.out1_f_buf_func[3].y : 1 [by my_fork.fork_test.out1_f_buf_func[3]._y:=0] + 373365 my_fork.fork_test.vc.C2Els[0]._y : 0 [by my_fork.fork_test.vc.tmp[1]:=1] + 373902 my_fork.fork_test.out1_f_buf_func[1]._y : 0 [by my_fork.fork_test.out1_f_buf_func[1].n1:=1] + 374832 my_fork.fork_test.vc.tmp[15] : 1 [by my_fork.fork_test.vc.C2Els[0]._y:=0] + 374922 my_fork.fork_test.out1_f_buf_func[4].y : 1 [by my_fork.fork_test.out1_f_buf_func[4]._y:=0] + 375964 my_fork.fork_test.vc.OR2_tf[6]._y : 0 [by my_fork.fork_test.out1_f_buf_func[6].n1:=1] + 376649 my_fork.fork_test.vc.tmp[6] : 1 [by my_fork.fork_test.vc.OR2_tf[6]._y:=0] + 380293 my_fork.fork_test.out2_f_buf_func[11]._y : 0 [by my_fork.fork_test.out1_f_buf_func[11].n1:=1] + 380420 my_fork.fork_test.out2_f_buf_func[11].y : 1 [by my_fork.fork_test.out2_f_buf_func[11]._y:=0] + 388363 my_fork.fork_test.vc.tmp[5] : 1 [by my_fork.fork_test.vc.OR2_tf[5]._y:=0] + 388532 my_fork.fork_test.vc.C2Els[2]._y : 0 [by my_fork.fork_test.vc.tmp[5]:=1] + 388575 my_fork.fork_test.vc.tmp[17] : 1 [by my_fork.fork_test.vc.C2Els[2]._y:=0] + 393364 my_fork.fork_test.vc.C2Els[3]._y : 0 [by my_fork.fork_test.vc.tmp[6]:=1] + 393376 my_fork.fork_test.vc.tmp[18] : 1 [by my_fork.fork_test.vc.C2Els[3]._y:=0] + 394206 my_fork.fork_test.out2_t_buf_func[2]._y : 0 [by my_fork.fork_test.out1_t_buf_func[2].n1:=1] + 394216 my_fork.fork_test.vc.C2Els[6]._y : 0 [by my_fork.fork_test.vc.tmp[15]:=1] + 394219 my_fork.fork_test.vc.tmp[22] : 1 [by my_fork.fork_test.vc.C2Els[6]._y:=0] + 394439 my_fork.fork_test.out2_t_buf_func[2].y : 1 [by my_fork.fork_test.out2_t_buf_func[2]._y:=0] + 394655 my_fork.fork_test.vc.C2Els[7]._y : 0 [by my_fork.fork_test.vc.tmp[18]:=1] + 394693 my_fork.fork_test.vc.tmp[23] : 1 [by my_fork.fork_test.vc.C2Els[7]._y:=0] + 394893 my_fork.fork_test.vc.tmp[10] : 1 [by my_fork.fork_test.vc.OR2_tf[10]._y:=0] + 394894 my_fork.fork_test.vc.C2Els[5]._y : 0 [by my_fork.fork_test.vc.tmp[10]:=1] + 401924 my_fork.fork_test.out2_f_buf_func[12]._y : 0 [by my_fork.fork_test.out1_f_buf_func[12].n1:=1] + 402016 my_fork.fork_test.out2_f_buf_func[12].y : 1 [by my_fork.fork_test.out2_f_buf_func[12]._y:=0] + 404173 my_fork.fork_test.out2_f_buf_func[1].y : 1 [by my_fork.fork_test.out2_f_buf_func[1]._y:=0] + 407341 my_fork.fork_test.out2_f_buf_func[10].y : 1 [by my_fork.fork_test.out2_f_buf_func[10]._y:=0] + 407646 my_fork.fork_test.vc.tmp[20] : 1 [by my_fork.fork_test.vc.C2Els[5]._y:=0] + 410373 my_fork.fork_test.vc.C3Els[1]._y : 0 [by my_fork.fork_test.vc.tmp[20]:=1] + 410375 my_fork.fork_test.vc.tmp[24] : 1 [by my_fork.fork_test.vc.C3Els[1]._y:=0] + 410376 my_fork.fork_test.vc.C3Els[2]._y : 0 [by my_fork.fork_test.vc.tmp[24]:=1] + 411877 my_fork.fork_test._in_v : 1 [by my_fork.fork_test.vc.C3Els[2]._y:=0] + 411879 my_fork.fork_test.in_v_buf._y : 0 [by my_fork.fork_test._in_v:=1] + 411897 my_fork.in.v : 1 [by my_fork.fork_test.in_v_buf._y:=0] + 433406 my_fork.fork_test.out1_f_buf_func[1].y : 1 [by my_fork.fork_test.out1_f_buf_func[1]._y:=0] + 433406 my_fork.out1.v : 1 + 433406 my_fork.out2.v : 1 + 433525 my_fork.fork_test.inack_ctl._y : 0 [by my_fork.out2.v:=1] + 439245 my_fork.in.a : 1 [by my_fork.fork_test.inack_ctl._y:=0] + 439253 my_fork.fork_test._en : 0 [by my_fork.in.a:=1] + 439258 my_fork.fork_test.out2_en_buf_t.buf6._y : 1 [by my_fork.fork_test._en:=0] + 439259 my_fork.fork_test._en2_X_t[0] : 0 [by my_fork.fork_test.out2_en_buf_t.buf6._y:=1] + 439307 my_fork.fork_test.out2_en_buf_f.buf6._y : 1 [by my_fork.fork_test._en:=0] + 439445 my_fork.fork_test._en2_X_f[0] : 0 [by my_fork.fork_test.out2_en_buf_f.buf6._y:=1] + 440320 my_fork.fork_test.out1_en_buf_f.buf6._y : 1 [by my_fork.fork_test._en:=0] + 440321 my_fork.fork_test._en1_X_f[0] : 0 [by my_fork.fork_test.out1_en_buf_f.buf6._y:=1] + 489791 my_fork.fork_test.out1_en_buf_t.buf6._y : 1 [by my_fork.fork_test._en:=0] + 489855 my_fork.fork_test._en1_X_t[0] : 0 [by my_fork.fork_test.out1_en_buf_t.buf6._y:=1] + 489855 my_fork.fork_test.out1_t_buf_func[0].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[14].n1 : 0 + 489855 my_fork.fork_test.out1_t_buf_func[2].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[6].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[13].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[5].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[12].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[11].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[1].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[4].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[10].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[9].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[3].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[8].n1 : 0 + 489855 my_fork.fork_test.out1_f_buf_func[7].n1 : 0 + 489856 my_fork.fork_test.vc.OR2_tf[11]._y : 1 [by my_fork.fork_test.out1_f_buf_func[11].n1:=0] + 489857 my_fork.fork_test.vc.OR2_tf[14]._y : 1 [by my_fork.fork_test.out1_f_buf_func[14].n1:=0] + 489864 my_fork.fork_test.vc.OR2_tf[1]._y : 1 [by my_fork.fork_test.out1_f_buf_func[1].n1:=0] + 489866 my_fork.fork_test.vc.OR2_tf[12]._y : 1 [by my_fork.fork_test.out1_f_buf_func[12].n1:=0] + 489871 my_fork.fork_test.vc.tmp[14] : 0 [by my_fork.fork_test.vc.OR2_tf[14]._y:=1] + 489880 my_fork.fork_test.vc.OR2_tf[4]._y : 1 [by my_fork.fork_test.out1_f_buf_func[4].n1:=0] + 489892 my_fork.fork_test.vc.OR2_tf[2]._y : 1 [by my_fork.fork_test.out1_t_buf_func[2].n1:=0] + 489903 my_fork.fork_test.vc.tmp[2] : 0 [by my_fork.fork_test.vc.OR2_tf[2]._y:=1] + 489906 my_fork.fork_test.vc.OR2_tf[13]._y : 1 [by my_fork.fork_test.out1_f_buf_func[13].n1:=0] + 489907 my_fork.fork_test.vc.tmp[13] : 0 [by my_fork.fork_test.vc.OR2_tf[13]._y:=1] + 489978 my_fork.fork_test.vc.OR2_tf[0]._y : 1 [by my_fork.fork_test.out1_t_buf_func[0].n1:=0] + 489979 my_fork.fork_test.vc.tmp[0] : 0 [by my_fork.fork_test.vc.OR2_tf[0]._y:=1] + 489998 my_fork.fork_test.vc.OR2_tf[6]._y : 1 [by my_fork.fork_test.out1_f_buf_func[6].n1:=0] + 490000 my_fork.fork_test.vc.OR2_tf[3]._y : 1 [by my_fork.fork_test.out1_f_buf_func[3].n1:=0] + 490085 my_fork.fork_test.vc.OR2_tf[7]._y : 1 [by my_fork.fork_test.out1_f_buf_func[7].n1:=0] + 490297 my_fork.fork_test.vc.OR2_tf[5]._y : 1 [by my_fork.fork_test.out1_f_buf_func[5].n1:=0] + 490429 my_fork.fork_test.vc.tmp[5] : 0 [by my_fork.fork_test.vc.OR2_tf[5]._y:=1] + 490547 my_fork.fork_test.vc.tmp[11] : 0 [by my_fork.fork_test.vc.OR2_tf[11]._y:=1] + 490639 my_fork.fork_test.vc.tmp[3] : 0 [by my_fork.fork_test.vc.OR2_tf[3]._y:=1] + 490640 my_fork.fork_test.vc.C2Els[1]._y : 1 [by my_fork.fork_test.vc.tmp[3]:=0] + 490657 my_fork.fork_test.vc.tmp[16] : 0 [by my_fork.fork_test.vc.C2Els[1]._y:=1] + 491407 my_fork.fork_test.vc.tmp[1] : 0 [by my_fork.fork_test.vc.OR2_tf[1]._y:=1] + 491477 my_fork.fork_test.vc.tmp[12] : 0 [by my_fork.fork_test.vc.OR2_tf[12]._y:=1] + 491559 my_fork.fork_test.vc.C2Els[0]._y : 1 [by my_fork.fork_test.vc.tmp[1]:=0] + 491562 my_fork.fork_test.vc.tmp[15] : 0 [by my_fork.fork_test.vc.C2Els[0]._y:=1] + 491878 my_fork.fork_test.vc.tmp[7] : 0 [by my_fork.fork_test.vc.OR2_tf[7]._y:=1] + 491986 my_fork.fork_test.vc.C2Els[6]._y : 1 [by my_fork.fork_test.vc.tmp[15]:=0] + 491992 my_fork.fork_test.vc.tmp[22] : 0 [by my_fork.fork_test.vc.C2Els[6]._y:=1] + 493376 my_fork.fork_test.vc.OR2_tf[9]._y : 1 [by my_fork.fork_test.out1_f_buf_func[9].n1:=0] + 494460 my_fork.fork_test.vc.C3Els[0]._y : 1 [by my_fork.fork_test.vc.tmp[12]:=0] + 495964 my_fork.fork_test.vc.tmp[9] : 0 [by my_fork.fork_test.vc.OR2_tf[9]._y:=1] + 496499 my_fork.fork_test.vc.tmp[6] : 0 [by my_fork.fork_test.vc.OR2_tf[6]._y:=1] + 496921 my_fork.fork_test.vc.tmp[21] : 0 [by my_fork.fork_test.vc.C3Els[0]._y:=1] + 497329 my_fork.fork_test.vc.C2Els[3]._y : 1 [by my_fork.fork_test.vc.tmp[6]:=0] + 500108 my_fork.fork_test.vc.OR2_tf[10]._y : 1 [by my_fork.fork_test.out1_f_buf_func[10].n1:=0] + 500110 my_fork.fork_test.vc.tmp[10] : 0 [by my_fork.fork_test.vc.OR2_tf[10]._y:=1] + 500304 my_fork.fork_test.vc.C2Els[5]._y : 1 [by my_fork.fork_test.vc.tmp[10]:=0] + 500907 my_fork.fork_test.vc.tmp[20] : 0 [by my_fork.fork_test.vc.C2Els[5]._y:=1] + 506023 my_fork.fork_test.vc.OR2_tf[8]._y : 1 [by my_fork.fork_test.out1_f_buf_func[8].n1:=0] + 506161 my_fork.fork_test.vc.tmp[8] : 0 [by my_fork.fork_test.vc.OR2_tf[8]._y:=1] + 506178 my_fork.fork_test.vc.C2Els[4]._y : 1 [by my_fork.fork_test.vc.tmp[8]:=0] + 506195 my_fork.fork_test.vc.tmp[19] : 0 [by my_fork.fork_test.vc.C2Els[4]._y:=1] + 506621 my_fork.fork_test.vc.C3Els[1]._y : 1 [by my_fork.fork_test.vc.tmp[19]:=0] + 506622 my_fork.fork_test.vc.tmp[24] : 0 [by my_fork.fork_test.vc.C3Els[1]._y:=1] + 507392 my_fork.fork_test.vc.tmp[4] : 0 [by my_fork.fork_test.vc.OR2_tf[4]._y:=1] + 507393 my_fork.fork_test.vc.C2Els[2]._y : 1 [by my_fork.fork_test.vc.tmp[4]:=0] + 508419 my_fork.fork_test.vc.tmp[17] : 0 [by my_fork.fork_test.vc.C2Els[2]._y:=1] + 520261 my_fork.fork_test.vc.tmp[18] : 0 [by my_fork.fork_test.vc.C2Els[3]._y:=1] + 520262 my_fork.fork_test.vc.C2Els[7]._y : 1 [by my_fork.fork_test.vc.tmp[18]:=0] + 520281 my_fork.fork_test.vc.tmp[23] : 0 [by my_fork.fork_test.vc.C2Els[7]._y:=1] + 520449 my_fork.fork_test.vc.C3Els[2]._y : 1 [by my_fork.fork_test.vc.tmp[23]:=0] + 520988 my_fork.fork_test._in_v : 0 [by my_fork.fork_test.vc.C3Els[2]._y:=1] + 521149 my_fork.fork_test.in_v_buf._y : 1 [by my_fork.fork_test._in_v:=0] + 521322 my_fork.in.v : 0 [by my_fork.fork_test.in_v_buf._y:=1] Finished diff --git a/test/unit_tests/fork_15/run/prsim.pdf b/test/unit_tests/fork_15/run/prsim.pdf new file mode 100644 index 0000000..ecac3d0 Binary files /dev/null and b/test/unit_tests/fork_15/run/prsim.pdf differ diff --git a/test/unit_tests/fork_15/run/test.prs b/test/unit_tests/fork_15/run/test.prs index efd6a60..b5dcbd8 100644 --- a/test/unit_tests/fork_15/run/test.prs +++ b/test/unit_tests/fork_15/run/test.prs @@ -634,10 +634,10 @@ = "my_fork.fork_test.out2_en_buf_t.out[0]" "my_fork.fork_test.out2_en_buf_t.buf6.y" = "my_fork.fork_test.out2_en_buf_t.in" "my_fork.fork_test.out2_en_buf_t.buf6.a" = "my_fork.fork_test.reset_B" "my_fork.fork_test.reset_buf.a" -= "my_fork.fork_test.reset_B" "my_fork.fork_test.inack_ctl.sr_B" -= "my_fork.fork_test.reset_B" "my_fork.fork_test.inack_ctl.pr_B" -= "my_fork.fork_test._reset_BX" "my_fork.fork_test.reset_buf.y" = "my_fork.fork_test._reset_BX" "my_fork.fork_test.reset_bufarray.in" += "my_fork.fork_test._reset_BX" "my_fork.fork_test.reset_buf.y" += "my_fork.fork_test._reset_BX" "my_fork.fork_test.inack_ctl.sr_B" += "my_fork.fork_test._reset_BX" "my_fork.fork_test.inack_ctl.pr_B" ~"my_fork.fork_test.out2_t_buf_func[0].c1"&~"my_fork.fork_test.out2_t_buf_func[0].c2"|~"my_fork.fork_test.out2_t_buf_func[0].pr_B"->"my_fork.fork_test.out2_t_buf_func[0]._y"+ "my_fork.fork_test.out2_t_buf_func[0].c1"&"my_fork.fork_test.out2_t_buf_func[0].c2"&"my_fork.fork_test.out2_t_buf_func[0].n1"&"my_fork.fork_test.out2_t_buf_func[0].sr_B"->"my_fork.fork_test.out2_t_buf_func[0]._y"- "my_fork.fork_test.out2_t_buf_func[0]._y"->"my_fork.fork_test.out2_t_buf_func[0].y"- diff --git a/test/unit_tests/fork_15/test.prsim b/test/unit_tests/fork_15/test.prsim index c8dbbdf..52f4044 100644 --- a/test/unit_tests/fork_15/test.prsim +++ b/test/unit_tests/fork_15/test.prsim @@ -1,4 +1,4 @@ - +watchall set-qdi-channel-neutral "my_fork.in" 15 set my_fork.out1.a 0 set my_fork.out1.v 0