bics
/
actlib_dataflow_neuro
16
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge remote-tracking branch 'origin/dev' into dev

This commit is contained in:
Greatorex 2022-02-23 15:49:43 +01:00
parent 5f74b285a4 97b0be5af0
commit d545221e88
10 changed files with 412 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
dataflow_neuro/cell_lib_async.act
View File

@ -478,6 +478,24 @@ namespace tmpl {
p_n_mode <- 1; p_n_mode <- 1;
y {-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)
}
}
}} }}

12
dataflow_neuro/primitives.act
View File

@ -248,6 +248,7 @@ namespace tmpl {
export template<pint N> export template<pint N>
defproc fork (avMx1of2<N> in; avMx1of2<N> out1; avMx1of2<N> out2 ; bool? reset_B; power supply) { defproc fork (avMx1of2<N> in; avMx1of2<N> out1; avMx1of2<N> out2 ; bool? reset_B; power supply) {
// control // control
bool _en, _reset_BX,_reset_BXX[N*2]; 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); 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]; out2_f_buf_func[i].sr_B = _reset_BXX[i+N-1];
) )
} }
export template<pint N>
defproc merge (avMx1of2<N> in1; avMx1of2<N> in2; avMx1of2<N> out ; bool? reset_B; power supply) {
//control
//reset_buffers
//validity
//function
} }
} }

11
test/prsim_plot.py
View File

@ -108,7 +108,7 @@ Use -exclude='regex' to specify signals to exclude (or -ex).""")
colour_high = (252, 186, 3) colour_high = (252, 186, 3)
colour_low = (20, 184, 186) 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 = np.zeros((num_sigs, num_times, 3), dtype = int)
image[signals_matrix == 0] = colour_undefined 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.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) 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") plt.savefig(file_out_path, bbox_inches = "tight")

33
test/unit_tests/arbiter_2/test.act Normal file
View File

@ -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;

8
test/unit_tests/arbiter_2/test.prsim Normal file
View File

@ -0,0 +1,8 @@
watchall
cycle
set Reset 0
cycle
status X
mode run
system "echo 'finished'"

3
test/unit_tests/ctree_15/run/prsim.out Normal file
View File

@ -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

324
test/unit_tests/fork_15/run/prsim.out
View File

@ -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 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 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 System reset completed
Output neutral checked 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 Finished

BIN
test/unit_tests/fork_15/run/prsim.pdf Normal file
View File

Binary file not shown.

6
test/unit_tests/fork_15/run/test.prs
View File

@ -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.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.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.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_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].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].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"- "my_fork.fork_test.out2_t_buf_func[0]._y"->"my_fork.fork_test.out2_t_buf_func[0].y"-

2
test/unit_tests/fork_15/test.prsim
View File

@ -1,4 +1,4 @@
watchall
set-qdi-channel-neutral "my_fork.in" 15 set-qdi-channel-neutral "my_fork.in" 15
set my_fork.out1.a 0 set my_fork.out1.a 0
set my_fork.out1.v 0 set my_fork.out1.v 0