From e35f8f0939a70aabd99c8bf187285693f71694f7 Mon Sep 17 00:00:00 2001 From: Fabian Posch Date: Thu, 9 Jan 2025 18:43:15 +0100 Subject: [PATCH] write test circuit --- test-circuit/minichannel.act | 136 ++ test-circuit/mult_wrapper.act | 19 + test-circuit/simlib.act | 91 ++ test-circuit/testbench.act | 61 + test-circuit/umul4x4.act | 2467 +++++++++++++++++++++++++++++++++ 5 files changed, 2774 insertions(+) create mode 100644 test-circuit/minichannel.act create mode 100644 test-circuit/mult_wrapper.act create mode 100644 test-circuit/simlib.act create mode 100644 test-circuit/testbench.act create mode 100644 test-circuit/umul4x4.act diff --git a/test-circuit/minichannel.act b/test-circuit/minichannel.act new file mode 100644 index 0000000..9858ad2 --- /dev/null +++ b/test-circuit/minichannel.act @@ -0,0 +1,136 @@ + +import std::data; + +function ceil_log2 (pint a) : pint +{ + pint i; + pint M; + chp { + i := 0; + M := a-1; + *[ M > 0 -> i := i + 1; M := M/2 ]; + self := i + } +} + + +template +defchan gen_a1of <: chan(enum) (std::data::d1of?! d; bool!? a) +{ + { 0 <= V & V < N : "Initial token value out of range" }; + + + methods { + /*-- initialize channel, sender end --*/ + send_init { + [ reset -> (,i:N: [ i != V -> d.d[i]- [] else -> d.d[i]+ ]) + [] else -> (,i:N: d.d[i]-) + ] + } + + /*-- set output data --*/ + set { + [([]i:N: self = i -> d.d[i]+)] + } + + /*-- finish synchronization --*/ + send_up { + [a] + } + + /*-- reset part of the protocol --*/ + send_rest { + (,i:N:d.d[i]-);[~a] + } + + /*-- initialize channel, receiver end --*/ + recv_init { + a- + } + + /*-- get value --*/ + get { + [([]i:N:d.d[i] -> self := i)] + } + + /*-- finish synchronization action --*/ + recv_up { + a+ + } + + /*-- reset part of the protocol --*/ + recv_rest { + [(&i:N:~d.d[i])];a- + } + + /*-- probe expression on receiver --*/ + recv_probe = (|i:N:d.d[i]); + + // no sender probe + } +} +export defchan a1of <: gen_a1of () { } +export defchan ar1of <: gen_a1of () { } + + +template +defchan gen_aMx1of2 <: chan(int) (std::data::Mx1of2?! d; bool!? a) +{ + { 0 <= V & ceil_log2(V) < M : "Initial token value out of range" }; + + methods { + /*-- initialize channel, sender end --*/ + send_init { + [ reset -> (,i:M: [ ((V >> i) & 1) = 0 -> d.d[i].f+ [] else -> d.d[i].t+ ]) + [] else -> (,i:M: d.d[i].t-,d.d[i].f-) + ] + } + + /*-- set output data --*/ + set { + (,i:M: [((self >> i) & 1) = 0 -> d.d[i].f+ [] else -> d.d[i].t+ ]) + } + + /*-- finish synchronization --*/ + send_up { + [a] + } + + /*-- reset part of the protocol --*/ + send_rest { + (,i:M: d.d[i].t-,d.d[i].f-);[~a] + } + + /*-- initialize channel, receiver end --*/ + recv_init { + a- + } + + /*-- get value --*/ + get { + [(&i:M: d.d[i].t | d.d[i].f)]; + self := 0; + (;i:M: [ d.d[i].t -> self := self | (1 << i) + [] else -> skip + ] + ) + } + + /*-- finish synchronization action --*/ + recv_up { + a+ + } + + /*-- reset part of the protocol --*/ + recv_rest { + [(&i:M:~d.d[i].t & ~d.d[i].f)];a- + } + + /*-- probe expression on receiver --*/ + recv_probe = (d.d[0].t|d.d[0].f); + + // no sender probe + } +} +export defchan aMx1of2 <: gen_aMx1of2 () { } +export defchan arMx1of2 <: gen_aMx1of2 () { } diff --git a/test-circuit/mult_wrapper.act b/test-circuit/mult_wrapper.act new file mode 100644 index 0000000..01223c2 --- /dev/null +++ b/test-circuit/mult_wrapper.act @@ -0,0 +1,19 @@ + +import "umul4x4.act"; +import std::data; +import "minichannel.act"; + +defproc pipelined_mult(aMx1of2?<4> A, B; aMx1of2!<8> RES; bool? reset) { + + pint IN_WIDTH = 4; + pint OUT_WIDTH = 8; + + umul4x4 mult; + mult.a = A.d; + mult.ack_out = A.a; + mult.b = B.d; + mult.ack_out = B.a; + RES.d = mult.s; + RES.a = mult.ack_in; + mult.reset = reset; +} diff --git a/test-circuit/simlib.act b/test-circuit/simlib.act new file mode 100644 index 0000000..2b37da6 --- /dev/null +++ b/test-circuit/simlib.act @@ -0,0 +1,91 @@ + +template +defproc source_sequence_multi (chan!(int) O[OUT_CHANNELS]; bool? enable) +{ + int i; + int buf; + + chp { + // and send it to every channel + (, j : OUT_CHANNELS : + *[ + i := 0; + + *[ i < N -> + + // select the right data element + [([]k:N: i=k -> buf := DATA[k])]; + + // wait on enable flag + [~INCLUDE_ENABLE|enable]; + + O[j]!buf; + + // if logging was enabled, log the send + [ LOG -> + log ("Source ", SOURCE_ID, " (Channel ", j, "): Sent value ", buf, "%x (0x", buf, ")") + [] else -> + skip + ]; + + i := i + 1 + ] + <- LOOP ] + ); + + log ("Source ", SOURCE_ID, ": Sequence ended.") + } +} + +template +defproc lockstep (chan?(int) IN[IN_CHANNELS]; chan?(int) OUT_M[OUT_CHANNELS], OUT_D[OUT_CHANNELS]) +{ + int input[IN_CHANNELS]; + int output_m[OUT_CHANNELS], output_d[OUT_CHANNELS]; + bool not_failed; + int num; + + chp { + + num := 0; + + *[ + // receive the data + (, i : IN_CHANNELS : IN[i]?input[i]), + (, i : OUT_CHANNELS : OUT_M[i]?output_m[i]), + (, j : OUT_CHANNELS : OUT_D[j]?output_d[j]); + + // check the results + not_failed+; + (; i : OUT_CHANNELS : [not_failed -> not_failed := output_m[i] = output_d[i] [] else -> skip]); + + // print the output + [ not_failed -> ( + // only print successful tests if verbose testing is enabled + [ VERBOSE_TESTING -> ( + log_st (""); + log_p ("Scoreboard ", SB_ID, ": TEST SUCCESS (", num, "); inputs {"); + (; i : IN_CHANNELS : log_p (i, ": ", input[i], "%x (0x", input[i], "); ")); + log_p ("}, outputs {"); + (; i : OUT_CHANNELS : log_p (i, ": ", output_d[i], "%x (0x", output_d[i], "); ")); + log_p ("}"); + log_nl ("") + ) + [] else -> ( + skip + )] + ) + [] else -> ( + log_st (""); + log_p ("Scoreboard ", SB_ID, ": TEST FAILED (", num, "); inputs {"); + (; i : IN_CHANNELS : log_p (i, ": ", input[i], "%x (0x", input[i], "); ")); + log_p ("}, outputs {"); + (; i : OUT_CHANNELS : log_p (i, ": expected ", output_m[i], "%x (0x", output_m[i], "), got ", output_d[i], "%x (0x", output_d[i], "); ")); + log_p ("}"); + log_nl ("") + )]; + num := num + 1 + ] + + } +} \ No newline at end of file diff --git a/test-circuit/testbench.act b/test-circuit/testbench.act new file mode 100644 index 0000000..b45f78e --- /dev/null +++ b/test-circuit/testbench.act @@ -0,0 +1,61 @@ + +import "simlib.act"; +import "mult_wrapper.act"; + +template +defproc mul_model (chan(int)? A,B; chan(int)! RES; bool res) { + int a, b; + intres; + + chp { + *[ + [#A]; + B?b, A?a; + RES!(a*b) + ] + } +} + +defproc tb() { + + pint IN_WIDTH = 4; + pint OUT_WIDTH = 8; + + pint IN_SEQ_L = 8; + pint in_seq_a[IN_SEQ_L]; + pint in_seq_b[IN_SEQ_L]; + in_seq_a = {7, 6, 5, 1, 2, 3, 0, 4}; + in_seq_b = {4, 0, 3, 2, 1, 5, 6, 7}; + + // model and DUT + mul_model model; + pipelined_mult dut; + + // simulation harness + lockstep sb; + source_sequence_multi a_src; + source_sequence_multi b_src; + + // model inputs + model.A = a_src.O[0]; + model.B = b_src.O[0]; + + // DUT inputs + dut.A = a_src.O[1]; + dut.b = b_src.O[1]; + + // scoreboard inputs + sb.IN[0] = a_src[2]; + sb.IN[1] = b_src[2]; + sb.OUT_M[0] = model.RES; + sb.OUT_D[0] = dut.RES; + + chp { + a_src.enable-, b_src.enable-; + dut.reset+; + [after=1000]; + dut.reset-; + + a_src.enable+, b_src.enable+ + } +} diff --git a/test-circuit/umul4x4.act b/test-circuit/umul4x4.act new file mode 100644 index 0000000..61dc2c7 --- /dev/null +++ b/test-circuit/umul4x4.act @@ -0,0 +1,2467 @@ +import "std/data.act"; +//import "globals.act"; +open std::data; + +defproc umul4x4 +( + dualrail? a[4] /* attributes(channel := Cin, role := data) */; + dualrail? b[4] /* attributes(channel := Cin, role := data) */; + bool? ack_in /* attributes(channel := Cout, role := ack, channel_type := DIDR) */; + bool? reset /* attributes(role := reset) */; + bool! ack_out /* attributes(channel := Cin, role := ack, channel_type := DIDR) */; + dualrail! s[8] /* attributes(channel := Cout, role := data) */ +) +{ + bool logic_fs__ack_in /* attributes(channel := "logic_fs->chout", role := ack, channel_type := DIDR) */; + bool logic_fs__ack_out /* attributes(channel := "logic_fs->chin", role := ack, channel_type := DIDR) */; + bool logic_ms_1__ack_in /* attributes(channel := "logic_ms_1->chout", role := ack, channel_type := DIDR) */; + bool logic_ms_1__ack_out /* attributes(channel := "logic_ms_1->chin", role := ack, channel_type := DIDR) */; + bool logic_ls__ack_in /* attributes(channel := "logic_ls->chout", role := ack, channel_type := DIDR) */; + bool logic_ls__ack_out /* attributes(channel := "logic_ls->chin", role := ack, channel_type := DIDR) */; + bool b0__ack_in /* attributes(channel := "b0->chout", role := ack, channel_type := DIDR) */; + dualrail b1__a_in[4] /* attributes(channel := "b1->chin", role := data) */; + dualrail b1__b_in[2] /* attributes(channel := "b1->chin", role := data) */; + dualrail b1__s_in[6] /* attributes(channel := "b1->chin", role := data) */; + bool b1__ack_in /* attributes(channel := "b1->chout", role := ack, channel_type := DIDR) */; + dualrail b2__a_in[4] /* attributes(channel := "b2->chin", role := data) */; + dualrail b2__b_in /* attributes(channel := "b2->chin", role := data) */; + dualrail b2__s_in[7] /* attributes(channel := "b2->chin", role := data) */; + bool b2__ack_in /* attributes(channel := "b2->chout", role := ack, channel_type := DIDR) */; + dualrail b3__s_in[8] /* attributes(channel := "b3->chin", role := data) */; + bool logic_fs__logic_fs__done /* attributes(role := done) */; + bool logic_fs__logic_fs__int_sig_20_done_n; + bool logic_fs__logic_fs__int_sig_21_done_n; + bool logic_fs__logic_fs__int_sig_22_done_n; + bool logic_fs__logic_fs__int_sig_23_done_n; + dualrail logic_fs__logic_fs__cell_07__a /* attributes(needs_cd := true) */; + dualrail logic_fs__logic_fs__cell_07__b /* attributes(needs_cd := true) */; + dualrail logic_fs__logic_fs__cell_11__a /* attributes(needs_cd := true) */; + dualrail logic_fs__logic_fs__cell_11__b /* attributes(needs_cd := true) */; + dualrail logic_fs__logic_fs__cell_12__a /* attributes(needs_cd := false) */; + dualrail logic_fs__logic_fs__cell_12__b /* attributes(needs_cd := false) */; + dualrail logic_fs__logic_fs__cell_12__c_in /* attributes(needs_cd := false) */; + dualrail logic_fs__logic_fs__cell_12__x; + dualrail logic_fs__logic_fs__cell_12__y; + dualrail logic_fs__logic_fs__cell_12__z; + dualrail logic_fs__logic_fs__cell_13__a /* attributes(needs_cd := false) */; + dualrail logic_fs__logic_fs__cell_13__b /* attributes(needs_cd := false) */; + dualrail logic_fs__logic_fs__cell_13__c_in /* attributes(needs_cd := false) */; + dualrail logic_fs__logic_fs__cell_13__x; + dualrail logic_fs__logic_fs__cell_13__y; + dualrail logic_fs__logic_fs__cell_13__z; + bool logic_ms_1__logic_ms_1__done /* attributes(role := done) */; + dualrail logic_ms_1__logic_ms_1__cell_5__b /* attributes(needs_cd := true) */; + dualrail logic_ms_1__logic_ms_1__cell_6__a /* attributes(needs_cd := false) */; + dualrail logic_ms_1__logic_ms_1__cell_6__c_in /* attributes(needs_cd := false) */; + dualrail logic_ms_1__logic_ms_1__cell_6__x; + dualrail logic_ms_1__logic_ms_1__cell_6__y; + dualrail logic_ms_1__logic_ms_1__cell_6__z; + dualrail logic_ms_1__logic_ms_1__cell_7__a /* attributes(needs_cd := false) */; + dualrail logic_ms_1__logic_ms_1__cell_7__c_in /* attributes(needs_cd := false) */; + dualrail logic_ms_1__logic_ms_1__cell_7__x; + dualrail logic_ms_1__logic_ms_1__cell_7__y; + dualrail logic_ms_1__logic_ms_1__cell_7__z; + dualrail logic_ms_1__logic_ms_1__cell_8__a /* attributes(needs_cd := false) */; + dualrail logic_ms_1__logic_ms_1__cell_8__c_in /* attributes(needs_cd := false) */; + dualrail logic_ms_1__logic_ms_1__cell_8__x; + dualrail logic_ms_1__logic_ms_1__cell_8__y; + dualrail logic_ms_1__logic_ms_1__cell_8__z; + dualrail logic_ls__logic_ls__a_in[4] /* attributes(needs_cd := true) */; + dualrail logic_ls__logic_ls__b_in /* attributes(needs_cd := true) */; + bool logic_ls__logic_ls__done /* attributes(role := done) */; + dualrail logic_ls__logic_ls__cell_5__b /* attributes(needs_cd := true) */; + dualrail logic_ls__logic_ls__cell_6__a /* attributes(needs_cd := false) */; + dualrail logic_ls__logic_ls__cell_6__c_in /* attributes(needs_cd := false) */; + dualrail logic_ls__logic_ls__cell_6__x; + dualrail logic_ls__logic_ls__cell_6__y; + dualrail logic_ls__logic_ls__cell_6__z; + dualrail logic_ls__logic_ls__cell_7__a /* attributes(needs_cd := false) */; + dualrail logic_ls__logic_ls__cell_7__c_in /* attributes(needs_cd := false) */; + dualrail logic_ls__logic_ls__cell_7__x; + dualrail logic_ls__logic_ls__cell_7__y; + dualrail logic_ls__logic_ls__cell_7__z; + dualrail logic_ls__logic_ls__cell_8__a /* attributes(needs_cd := false) */; + dualrail logic_ls__logic_ls__cell_8__c_in /* attributes(needs_cd := false) */; + dualrail logic_ls__logic_ls__cell_8__x; + dualrail logic_ls__logic_ls__cell_8__y; + dualrail logic_ls__logic_ls__cell_8__z; + dualrail logic_fs__logic_fs__b_in_0; + dualrail logic_fs__logic_fs__b_in_1; + dualrail logic_ms_1__logic_ms_1__b_in_0; + dualrail logic_ms_1__logic_ms_1__s_in_2; + dualrail logic_ms_1__logic_ms_1__s_in_3; + dualrail logic_ms_1__logic_ms_1__s_in_4; + dualrail logic_ms_1__logic_ms_1__s_in_5; + dualrail logic_ls__logic_ls__s_in_3; + dualrail logic_ls__logic_ls__s_in_4; + dualrail logic_ls__logic_ls__s_in_5; + dualrail logic_ls__logic_ls__s_in_6; + bool logic_fs_b_in_0__done_n; + bool logic_fs_b_in_1__done_n; + bool logic_fs_chin_cd_n; + bool logic_fs_chin_cd; + bool logic_ms_1_b_in_0__done_n; + bool logic_ms_1_s_in_2__done_n; + bool logic_ms_1_chin_cd_n; + bool logic_ms_1_chin_cd; + bool logic_ls_a_in_0__done_n; + bool logic_ls_a_in_1__done_n; + bool logic_ls_a_in_2__done_n; + bool logic_ls_a_in_3__done_n; + bool logic_ls_b_in_done_n; + bool logic_ls_s_in_3__done_n; + bool logic_ls_chin_cd_n_lvl0_0; + bool logic_ls_chin_cd_n_lvl0_1; + bool logic_ls_chin_cd_n_lvl0_2; + bool logic_ls_chin_cd_n_lvl1_0; + bool logic_ls_chin_cd_n; + bool logic_ls_chin_cd; + bool b0__c_a_out_0; + bool b0__c_a_out_1; + bool b0__c_a_out_2; + bool b0__c_a_out_3; + bool b0__c_b_out_0; + bool b0__c_b_out_1; + bool b0__c_b_out_2; + bool b0__c_b_out_3; + bool b0__ocd_n_lvl0_0; + bool b0__ocd_n_lvl0_1; + bool b0__ocd_n_lvl0_2; + bool b0__ocd_n_lvl0_3; + bool b0__ocd_n_lvl1_0; + bool b0__ocd_n_lvl1_1; + bool b0__ocd_n; + bool b0__en; + bool b1__c_a_out_0; + bool b1__c_a_out_1; + bool b1__c_a_out_2; + bool b1__c_a_out_3; + bool b1__c_b_out_0; + bool b1__c_b_out_1; + bool b1__c_s_out_0; + bool b1__c_s_out_1; + bool b1__c_s_out_2; + bool b1__c_s_out_3; + bool b1__c_s_out_4; + bool b1__c_s_out_5; + bool b1__ocd_n_lvl0_0; + bool b1__ocd_n_lvl0_1; + bool b1__ocd_n_lvl0_2; + bool b1__ocd_n_lvl0_3; + bool b1__ocd_n_lvl0_4; + bool b1__ocd_n_lvl0_5; + bool b1__ocd_n_lvl1_0; + bool b1__ocd_n_lvl1_1; + bool b1__ocd_n_lvl1_2; + bool b1__ocd_n_lvl2_0; + bool b1__ocd_n; + bool b1__en; + bool b2__c_a_out_0; + bool b2__c_a_out_1; + bool b2__c_a_out_2; + bool b2__c_a_out_3; + bool b2__c_b_out; + bool b2__c_s_out_0; + bool b2__c_s_out_1; + bool b2__c_s_out_2; + bool b2__c_s_out_3; + bool b2__c_s_out_4; + bool b2__c_s_out_5; + bool b2__c_s_out_6; + bool b2__ocd_n_lvl0_0; + bool b2__ocd_n_lvl0_1; + bool b2__ocd_n_lvl0_2; + bool b2__ocd_n_lvl0_3; + bool b2__ocd_n_lvl0_4; + bool b2__ocd_n_lvl0_5; + bool b2__ocd_n_lvl1_0; + bool b2__ocd_n_lvl1_1; + bool b2__ocd_n_lvl1_2; + bool b2__ocd_n_lvl2_0; + bool b2__ocd_n; + bool b2__en; + bool b3__c_s_out_0; + bool b3__c_s_out_1; + bool b3__c_s_out_2; + bool b3__c_s_out_3; + bool b3__c_s_out_4; + bool b3__c_s_out_5; + bool b3__c_s_out_6; + bool b3__c_s_out_7; + bool b3__ocd_n_lvl0_0; + bool b3__ocd_n_lvl0_1; + bool b3__ocd_n_lvl0_2; + bool b3__ocd_n_lvl0_3; + bool b3__ocd_n_lvl1_0; + bool b3__ocd_n_lvl1_1; + bool b3__ocd_n; + bool b3__en; + bool logic_fs__logic_fs__internal_done_n_merged_lvl0_0; + bool logic_fs__logic_fs__internal_done_n_merged_lvl0_1; + bool logic_fs__logic_fs__internal_done_n_merged; + bool logic_fs__logic_fs__cell_07__nandFT; + bool logic_fs__logic_fs__cell_07__nandTF; + bool logic_fs__logic_fs__cell_07__nandTT; + bool logic_fs__logic_fs__cell_07__nandFF; + bool logic_fs__logic_fs__cell_11__nandFT; + bool logic_fs__logic_fs__cell_11__nandTF; + bool logic_fs__logic_fs__cell_11__nandTT; + bool logic_fs__logic_fs__cell_11__nandFF; + bool logic_fs__logic_fs__cell_12__aFbF; + bool logic_fs__logic_fs__cell_12__aFbT; + bool logic_fs__logic_fs__cell_12__aTbF; + bool logic_fs__logic_fs__cell_12__aTbT; + bool logic_fs__logic_fs__cell_12__xFcF; + bool logic_fs__logic_fs__cell_12__xFcT; + bool logic_fs__logic_fs__cell_12__xTcF; + bool logic_fs__logic_fs__cell_12__xTcT; + bool logic_fs__logic_fs__cell_12__yFzT; + bool logic_fs__logic_fs__cell_12__yTzF; + bool logic_fs__logic_fs__cell_12__yTzT; + bool logic_fs__logic_fs__cell_13__aFbF; + bool logic_fs__logic_fs__cell_13__aFbT; + bool logic_fs__logic_fs__cell_13__aTbF; + bool logic_fs__logic_fs__cell_13__aTbT; + bool logic_fs__logic_fs__cell_13__xFcF; + bool logic_fs__logic_fs__cell_13__xFcT; + bool logic_fs__logic_fs__cell_13__xTcF; + bool logic_fs__logic_fs__cell_13__xTcT; + bool logic_fs__logic_fs__cell_13__yFzT; + bool logic_fs__logic_fs__cell_13__yTzF; + bool logic_fs__logic_fs__cell_13__yTzT; + bool logic_ms_1__logic_ms_1__cell_5__nandFT; + bool logic_ms_1__logic_ms_1__cell_5__nandTF; + bool logic_ms_1__logic_ms_1__cell_5__nandTT; + bool logic_ms_1__logic_ms_1__cell_5__nandFF; + bool logic_ms_1__logic_ms_1__cell_6__aFbF; + bool logic_ms_1__logic_ms_1__cell_6__aFbT; + bool logic_ms_1__logic_ms_1__cell_6__aTbF; + bool logic_ms_1__logic_ms_1__cell_6__aTbT; + bool logic_ms_1__logic_ms_1__cell_6__xFcF; + bool logic_ms_1__logic_ms_1__cell_6__xFcT; + bool logic_ms_1__logic_ms_1__cell_6__xTcF; + bool logic_ms_1__logic_ms_1__cell_6__xTcT; + bool logic_ms_1__logic_ms_1__cell_6__yFzT; + bool logic_ms_1__logic_ms_1__cell_6__yTzF; + bool logic_ms_1__logic_ms_1__cell_6__yTzT; + bool logic_ms_1__logic_ms_1__cell_7__aFbF; + bool logic_ms_1__logic_ms_1__cell_7__aFbT; + bool logic_ms_1__logic_ms_1__cell_7__aTbF; + bool logic_ms_1__logic_ms_1__cell_7__aTbT; + bool logic_ms_1__logic_ms_1__cell_7__xFcF; + bool logic_ms_1__logic_ms_1__cell_7__xFcT; + bool logic_ms_1__logic_ms_1__cell_7__xTcF; + bool logic_ms_1__logic_ms_1__cell_7__xTcT; + bool logic_ms_1__logic_ms_1__cell_7__yFzT; + bool logic_ms_1__logic_ms_1__cell_7__yTzF; + bool logic_ms_1__logic_ms_1__cell_7__yTzT; + bool logic_ms_1__logic_ms_1__cell_8__aFbF; + bool logic_ms_1__logic_ms_1__cell_8__aFbT; + bool logic_ms_1__logic_ms_1__cell_8__aTbF; + bool logic_ms_1__logic_ms_1__cell_8__aTbT; + bool logic_ms_1__logic_ms_1__cell_8__xFcF; + bool logic_ms_1__logic_ms_1__cell_8__xFcT; + bool logic_ms_1__logic_ms_1__cell_8__xTcF; + bool logic_ms_1__logic_ms_1__cell_8__xTcT; + bool logic_ms_1__logic_ms_1__cell_8__yFzT; + bool logic_ms_1__logic_ms_1__cell_8__yTzF; + bool logic_ms_1__logic_ms_1__cell_8__yTzT; + bool logic_ls__logic_ls__cell_5__nandFT; + bool logic_ls__logic_ls__cell_5__nandTF; + bool logic_ls__logic_ls__cell_5__nandTT; + bool logic_ls__logic_ls__cell_5__nandFF; + bool logic_ls__logic_ls__cell_6__aFbF; + bool logic_ls__logic_ls__cell_6__aFbT; + bool logic_ls__logic_ls__cell_6__aTbF; + bool logic_ls__logic_ls__cell_6__aTbT; + bool logic_ls__logic_ls__cell_6__xFcF; + bool logic_ls__logic_ls__cell_6__xFcT; + bool logic_ls__logic_ls__cell_6__xTcF; + bool logic_ls__logic_ls__cell_6__xTcT; + bool logic_ls__logic_ls__cell_6__yFzT; + bool logic_ls__logic_ls__cell_6__yTzF; + bool logic_ls__logic_ls__cell_6__yTzT; + bool logic_ls__logic_ls__cell_7__aFbF; + bool logic_ls__logic_ls__cell_7__aFbT; + bool logic_ls__logic_ls__cell_7__aTbF; + bool logic_ls__logic_ls__cell_7__aTbT; + bool logic_ls__logic_ls__cell_7__xFcF; + bool logic_ls__logic_ls__cell_7__xFcT; + bool logic_ls__logic_ls__cell_7__xTcF; + bool logic_ls__logic_ls__cell_7__xTcT; + bool logic_ls__logic_ls__cell_7__yFzT; + bool logic_ls__logic_ls__cell_7__yTzF; + bool logic_ls__logic_ls__cell_7__yTzT; + bool logic_ls__logic_ls__cell_8__aFbF; + bool logic_ls__logic_ls__cell_8__aFbT; + bool logic_ls__logic_ls__cell_8__aTbF; + bool logic_ls__logic_ls__cell_8__aTbT; + bool logic_ls__logic_ls__cell_8__xFcF; + bool logic_ls__logic_ls__cell_8__xFcT; + bool logic_ls__logic_ls__cell_8__xTcF; + bool logic_ls__logic_ls__cell_8__xTcT; + bool logic_ls__logic_ls__cell_8__yFzT; + bool logic_ls__logic_ls__cell_8__yTzF; + bool logic_ls__logic_ls__cell_8__yTzT; + // logic_fs_b_in_0__done_n := nor_gate(logic_fs__logic_fs__b_in_0.T, logic_fs__logic_fs__b_in_0.F) delay(1.0 ns); + prs { + [after=1000]( ~(logic_fs__logic_fs__b_in_0.t | logic_fs__logic_fs__b_in_0.f)) -> logic_fs_b_in_0__done_n+ + [after=1000]( ~( ~(logic_fs__logic_fs__b_in_0.t | logic_fs__logic_fs__b_in_0.f))) -> logic_fs_b_in_0__done_n- + } + // logic_fs_b_in_1__done_n := nor_gate(logic_fs__logic_fs__b_in_1.T, logic_fs__logic_fs__b_in_1.F) delay(1.0 ns); + prs { + [after=1000]( ~(logic_fs__logic_fs__b_in_1.t | logic_fs__logic_fs__b_in_1.f)) -> logic_fs_b_in_1__done_n+ + [after=1000]( ~( ~(logic_fs__logic_fs__b_in_1.t | logic_fs__logic_fs__b_in_1.f))) -> logic_fs_b_in_1__done_n- + } + // logic_fs_chin_cd_n := cgate(logic_fs_b_in_0__done_n, logic_fs_b_in_1__done_n) delay(1.0 ns); + prs { + [after=1000](logic_fs_b_in_0__done_n & logic_fs_b_in_1__done_n) -> logic_fs_chin_cd_n+ + [after=1000]( ~(logic_fs_b_in_0__done_n | logic_fs_b_in_1__done_n)) -> logic_fs_chin_cd_n- + } + // logic_fs_chin_cd := inv(logic_fs_chin_cd_n) delay(1.0 ns); + prs { + [after=1000]( ~logic_fs_chin_cd_n) -> logic_fs_chin_cd+ + [after=1000]( ~( ~logic_fs_chin_cd_n)) -> logic_fs_chin_cd- + } + // b0__ack_in := cgate(logic_fs_chin_cd, logic_fs__ack_out) delay(1.0 ns); + prs { + [after=1000](logic_fs_chin_cd & logic_fs__ack_out) -> b0__ack_in+ + [after=1000]( ~(logic_fs_chin_cd | logic_fs__ack_out)) -> b0__ack_in- + } + // logic_ms_1_b_in_0__done_n := nor_gate(logic_ms_1__logic_ms_1__b_in_0.T, logic_ms_1__logic_ms_1__b_in_0.F) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ms_1__logic_ms_1__b_in_0.t | logic_ms_1__logic_ms_1__b_in_0.f)) -> logic_ms_1_b_in_0__done_n+ + [after=1000]( ~( ~(logic_ms_1__logic_ms_1__b_in_0.t | logic_ms_1__logic_ms_1__b_in_0.f))) -> logic_ms_1_b_in_0__done_n- + } + // logic_ms_1_s_in_2__done_n := nor_gate(logic_ms_1__logic_ms_1__s_in_2.T, logic_ms_1__logic_ms_1__s_in_2.F) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ms_1__logic_ms_1__s_in_2.t | logic_ms_1__logic_ms_1__s_in_2.f)) -> logic_ms_1_s_in_2__done_n+ + [after=1000]( ~( ~(logic_ms_1__logic_ms_1__s_in_2.t | logic_ms_1__logic_ms_1__s_in_2.f))) -> logic_ms_1_s_in_2__done_n- + } + // logic_ms_1_chin_cd_n := cgate(logic_ms_1_b_in_0__done_n, logic_ms_1_s_in_2__done_n) delay(1.0 ns); + prs { + [after=1000](logic_ms_1_b_in_0__done_n & logic_ms_1_s_in_2__done_n) -> logic_ms_1_chin_cd_n+ + [after=1000]( ~(logic_ms_1_b_in_0__done_n | logic_ms_1_s_in_2__done_n)) -> logic_ms_1_chin_cd_n- + } + // logic_ms_1_chin_cd := inv(logic_ms_1_chin_cd_n) delay(1.0 ns); + prs { + [after=1000]( ~logic_ms_1_chin_cd_n) -> logic_ms_1_chin_cd+ + [after=1000]( ~( ~logic_ms_1_chin_cd_n)) -> logic_ms_1_chin_cd- + } + // b1__ack_in := cgate(logic_ms_1_chin_cd, logic_ms_1__ack_out) delay(1.0 ns); + prs { + [after=1000](logic_ms_1_chin_cd & logic_ms_1__ack_out) -> b1__ack_in+ + [after=1000]( ~(logic_ms_1_chin_cd | logic_ms_1__ack_out)) -> b1__ack_in- + } + // logic_ls_a_in_0__done_n := nor_gate(logic_ls__logic_ls__a_in(0).T, logic_ls__logic_ls__a_in(0).F) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ls__logic_ls__a_in[0].t | logic_ls__logic_ls__a_in[0].f)) -> logic_ls_a_in_0__done_n+ + [after=1000]( ~( ~(logic_ls__logic_ls__a_in[0].t | logic_ls__logic_ls__a_in[0].f))) -> logic_ls_a_in_0__done_n- + } + // logic_ls_a_in_1__done_n := nor_gate(logic_ls__logic_ls__a_in(1).T, logic_ls__logic_ls__a_in(1).F) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ls__logic_ls__a_in[1].t | logic_ls__logic_ls__a_in[1].f)) -> logic_ls_a_in_1__done_n+ + [after=1000]( ~( ~(logic_ls__logic_ls__a_in[1].t | logic_ls__logic_ls__a_in[1].f))) -> logic_ls_a_in_1__done_n- + } + // logic_ls_a_in_2__done_n := nor_gate(logic_ls__logic_ls__a_in(2).T, logic_ls__logic_ls__a_in(2).F) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ls__logic_ls__a_in[2].t | logic_ls__logic_ls__a_in[2].f)) -> logic_ls_a_in_2__done_n+ + [after=1000]( ~( ~(logic_ls__logic_ls__a_in[2].t | logic_ls__logic_ls__a_in[2].f))) -> logic_ls_a_in_2__done_n- + } + // logic_ls_a_in_3__done_n := nor_gate(logic_ls__logic_ls__a_in(3).T, logic_ls__logic_ls__a_in(3).F) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ls__logic_ls__a_in[3].t | logic_ls__logic_ls__a_in[3].f)) -> logic_ls_a_in_3__done_n+ + [after=1000]( ~( ~(logic_ls__logic_ls__a_in[3].t | logic_ls__logic_ls__a_in[3].f))) -> logic_ls_a_in_3__done_n- + } + // logic_ls_b_in_done_n := nor_gate(logic_ls__logic_ls__b_in.T, logic_ls__logic_ls__b_in.F) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ls__logic_ls__b_in.t | logic_ls__logic_ls__b_in.f)) -> logic_ls_b_in_done_n+ + [after=1000]( ~( ~(logic_ls__logic_ls__b_in.t | logic_ls__logic_ls__b_in.f))) -> logic_ls_b_in_done_n- + } + // logic_ls_s_in_3__done_n := nor_gate(logic_ls__logic_ls__s_in_3.T, logic_ls__logic_ls__s_in_3.F) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ls__logic_ls__s_in_3.t | logic_ls__logic_ls__s_in_3.f)) -> logic_ls_s_in_3__done_n+ + [after=1000]( ~( ~(logic_ls__logic_ls__s_in_3.t | logic_ls__logic_ls__s_in_3.f))) -> logic_ls_s_in_3__done_n- + } + // logic_ls_chin_cd_n_lvl0_0 := cgate(logic_ls_a_in_0__done_n, logic_ls_a_in_1__done_n) delay(1.0 ns); + prs { + [after=1000](logic_ls_a_in_0__done_n & logic_ls_a_in_1__done_n) -> logic_ls_chin_cd_n_lvl0_0+ + [after=1000]( ~(logic_ls_a_in_0__done_n | logic_ls_a_in_1__done_n)) -> logic_ls_chin_cd_n_lvl0_0- + } + // logic_ls_chin_cd_n_lvl0_1 := cgate(logic_ls_a_in_2__done_n, logic_ls_a_in_3__done_n) delay(1.0 ns); + prs { + [after=1000](logic_ls_a_in_2__done_n & logic_ls_a_in_3__done_n) -> logic_ls_chin_cd_n_lvl0_1+ + [after=1000]( ~(logic_ls_a_in_2__done_n | logic_ls_a_in_3__done_n)) -> logic_ls_chin_cd_n_lvl0_1- + } + // logic_ls_chin_cd_n_lvl0_2 := cgate(logic_ls_b_in_done_n, logic_ls_s_in_3__done_n) delay(1.0 ns); + prs { + [after=1000](logic_ls_b_in_done_n & logic_ls_s_in_3__done_n) -> logic_ls_chin_cd_n_lvl0_2+ + [after=1000]( ~(logic_ls_b_in_done_n | logic_ls_s_in_3__done_n)) -> logic_ls_chin_cd_n_lvl0_2- + } + // logic_ls_chin_cd_n_lvl1_0 := cgate(logic_ls_chin_cd_n_lvl0_0, logic_ls_chin_cd_n_lvl0_1) delay(1.0 ns); + prs { + [after=1000](logic_ls_chin_cd_n_lvl0_0 & logic_ls_chin_cd_n_lvl0_1) -> logic_ls_chin_cd_n_lvl1_0+ + [after=1000]( ~(logic_ls_chin_cd_n_lvl0_0 | logic_ls_chin_cd_n_lvl0_1)) -> logic_ls_chin_cd_n_lvl1_0- + } + // logic_ls_chin_cd_n := cgate(logic_ls_chin_cd_n_lvl1_0, logic_ls_chin_cd_n_lvl0_2) delay(1.0 ns); + prs { + [after=1000](logic_ls_chin_cd_n_lvl1_0 & logic_ls_chin_cd_n_lvl0_2) -> logic_ls_chin_cd_n+ + [after=1000]( ~(logic_ls_chin_cd_n_lvl1_0 | logic_ls_chin_cd_n_lvl0_2)) -> logic_ls_chin_cd_n- + } + // logic_ls_chin_cd := inv(logic_ls_chin_cd_n) delay(1.0 ns); + prs { + [after=1000]( ~logic_ls_chin_cd_n) -> logic_ls_chin_cd+ + [after=1000]( ~( ~logic_ls_chin_cd_n)) -> logic_ls_chin_cd- + } + // b2__ack_in := cgate(logic_ls_chin_cd, logic_ls__ack_out) delay(1.0 ns); + prs { + [after=1000](logic_ls_chin_cd & logic_ls__ack_out) -> b2__ack_in+ + [after=1000]( ~(logic_ls_chin_cd | logic_ls__ack_out)) -> b2__ack_in- + } + // logic_fs__ack_out := cgate(logic_fs__ack_in, logic_fs__logic_fs__done) delay(1.0 ns); + prs { + [after=1000](logic_fs__ack_in & logic_fs__logic_fs__done) -> logic_fs__ack_out+ + [after=1000]( ~(logic_fs__ack_in | logic_fs__logic_fs__done)) -> logic_fs__ack_out- + } + // logic_ms_1__ack_out := cgate(logic_ms_1__ack_in, logic_ms_1__logic_ms_1__done) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__ack_in & logic_ms_1__logic_ms_1__done) -> logic_ms_1__ack_out+ + [after=1000]( ~(logic_ms_1__ack_in | logic_ms_1__logic_ms_1__done)) -> logic_ms_1__ack_out- + } + // logic_ls__ack_out := cgate(logic_ls__ack_in, logic_ls__logic_ls__done) delay(1.0 ns); + prs { + [after=1000](logic_ls__ack_in & logic_ls__logic_ls__done) -> logic_ls__ack_out+ + [after=1000]( ~(logic_ls__ack_in | logic_ls__logic_ls__done)) -> logic_ls__ack_out- + } + // b0__c_a_out_0 := nor_gate(b1__a_in(0).F, b1__a_in(0).T) delay(1.0 ns); + prs { + [after=1000]( ~(b1__a_in[0].f | b1__a_in[0].t)) -> b0__c_a_out_0+ + [after=1000]( ~( ~(b1__a_in[0].f | b1__a_in[0].t))) -> b0__c_a_out_0- + } + // b1__a_in(0).F := cgate(a(0).F, b0__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](a[0].f & b0__en) & ~reset -> b1__a_in[0].f+ + [after=1000]( ~(a[0].f | b0__en)) | reset -> b1__a_in[0].f- + } + // b1__a_in(0).T := cgate(a(0).T, b0__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](a[0].t & b0__en) & ~reset -> b1__a_in[0].t+ + [after=1000]( ~(a[0].t | b0__en)) | reset -> b1__a_in[0].t- + } + // b0__c_a_out_1 := nor_gate(b1__a_in(1).F, b1__a_in(1).T) delay(1.0 ns); + prs { + [after=1000]( ~(b1__a_in[1].f | b1__a_in[1].t)) -> b0__c_a_out_1+ + [after=1000]( ~( ~(b1__a_in[1].f | b1__a_in[1].t))) -> b0__c_a_out_1- + } + // b1__a_in(1).F := cgate(a(1).F, b0__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](a[1].f & b0__en) & ~reset -> b1__a_in[1].f+ + [after=1000]( ~(a[1].f | b0__en)) | reset -> b1__a_in[1].f- + } + // b1__a_in(1).T := cgate(a(1).T, b0__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](a[1].t & b0__en) & ~reset -> b1__a_in[1].t+ + [after=1000]( ~(a[1].t | b0__en)) | reset -> b1__a_in[1].t- + } + // b0__c_a_out_2 := nor_gate(b1__a_in(2).F, b1__a_in(2).T) delay(1.0 ns); + prs { + [after=1000]( ~(b1__a_in[2].f | b1__a_in[2].t)) -> b0__c_a_out_2+ + [after=1000]( ~( ~(b1__a_in[2].f | b1__a_in[2].t))) -> b0__c_a_out_2- + } + // b1__a_in(2).F := cgate(a(2).F, b0__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](a[2].f & b0__en) & ~reset -> b1__a_in[2].f+ + [after=1000]( ~(a[2].f | b0__en)) | reset -> b1__a_in[2].f- + } + // b1__a_in(2).T := cgate(a(2).T, b0__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](a[2].t & b0__en) & ~reset -> b1__a_in[2].t+ + [after=1000]( ~(a[2].t | b0__en)) | reset -> b1__a_in[2].t- + } + // b0__c_a_out_3 := nor_gate(b1__a_in(3).F, b1__a_in(3).T) delay(1.0 ns); + prs { + [after=1000]( ~(b1__a_in[3].f | b1__a_in[3].t)) -> b0__c_a_out_3+ + [after=1000]( ~( ~(b1__a_in[3].f | b1__a_in[3].t))) -> b0__c_a_out_3- + } + // b1__a_in(3).F := cgate(a(3).F, b0__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](a[3].f & b0__en) & ~reset -> b1__a_in[3].f+ + [after=1000]( ~(a[3].f | b0__en)) | reset -> b1__a_in[3].f- + } + // b1__a_in(3).T := cgate(a(3).T, b0__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](a[3].t & b0__en) & ~reset -> b1__a_in[3].t+ + [after=1000]( ~(a[3].t | b0__en)) | reset -> b1__a_in[3].t- + } + // b0__c_b_out_0 := nor_gate(logic_fs__logic_fs__b_in_0.F, logic_fs__logic_fs__b_in_0.T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_fs__logic_fs__b_in_0.f | logic_fs__logic_fs__b_in_0.t)) -> b0__c_b_out_0+ + [after=1000]( ~( ~(logic_fs__logic_fs__b_in_0.f | logic_fs__logic_fs__b_in_0.t))) -> b0__c_b_out_0- + } + // logic_fs__logic_fs__b_in_0.F := cgate(b(0).F, b0__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b[0].f & b0__en) & ~reset -> logic_fs__logic_fs__b_in_0.f+ + [after=1000]( ~(b[0].f | b0__en)) | reset -> logic_fs__logic_fs__b_in_0.f- + } + // logic_fs__logic_fs__b_in_0.T := cgate(b(0).T, b0__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b[0].t & b0__en) & ~reset -> logic_fs__logic_fs__b_in_0.t+ + [after=1000]( ~(b[0].t | b0__en)) | reset -> logic_fs__logic_fs__b_in_0.t- + } + // b0__c_b_out_1 := nor_gate(logic_fs__logic_fs__b_in_1.F, logic_fs__logic_fs__b_in_1.T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_fs__logic_fs__b_in_1.f | logic_fs__logic_fs__b_in_1.t)) -> b0__c_b_out_1+ + [after=1000]( ~( ~(logic_fs__logic_fs__b_in_1.f | logic_fs__logic_fs__b_in_1.t))) -> b0__c_b_out_1- + } + // logic_fs__logic_fs__b_in_1.F := cgate(b(1).F, b0__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b[1].f & b0__en) & ~reset -> logic_fs__logic_fs__b_in_1.f+ + [after=1000]( ~(b[1].f | b0__en)) | reset -> logic_fs__logic_fs__b_in_1.f- + } + // logic_fs__logic_fs__b_in_1.T := cgate(b(1).T, b0__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b[1].t & b0__en) & ~reset -> logic_fs__logic_fs__b_in_1.t+ + [after=1000]( ~(b[1].t | b0__en)) | reset -> logic_fs__logic_fs__b_in_1.t- + } + // b0__c_b_out_2 := nor_gate(b1__b_in(0).F, b1__b_in(0).T) delay(1.0 ns); + prs { + [after=1000]( ~(b1__b_in[0].f | b1__b_in[0].t)) -> b0__c_b_out_2+ + [after=1000]( ~( ~(b1__b_in[0].f | b1__b_in[0].t))) -> b0__c_b_out_2- + } + // b1__b_in(0).F := cgate(b(2).F, b0__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b[2].f & b0__en) & ~reset -> b1__b_in[0].f+ + [after=1000]( ~(b[2].f | b0__en)) | reset -> b1__b_in[0].f- + } + // b1__b_in(0).T := cgate(b(2).T, b0__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b[2].t & b0__en) & ~reset -> b1__b_in[0].t+ + [after=1000]( ~(b[2].t | b0__en)) | reset -> b1__b_in[0].t- + } + // b0__c_b_out_3 := nor_gate(b1__b_in(1).F, b1__b_in(1).T) delay(1.0 ns); + prs { + [after=1000]( ~(b1__b_in[1].f | b1__b_in[1].t)) -> b0__c_b_out_3+ + [after=1000]( ~( ~(b1__b_in[1].f | b1__b_in[1].t))) -> b0__c_b_out_3- + } + // b1__b_in(1).F := cgate(b(3).F, b0__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b[3].f & b0__en) & ~reset -> b1__b_in[1].f+ + [after=1000]( ~(b[3].f | b0__en)) | reset -> b1__b_in[1].f- + } + // b1__b_in(1).T := cgate(b(3).T, b0__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b[3].t & b0__en) & ~reset -> b1__b_in[1].t+ + [after=1000]( ~(b[3].t | b0__en)) | reset -> b1__b_in[1].t- + } + // b0__ocd_n_lvl0_0 := cgate(b0__c_a_out_0, b0__c_a_out_1) delay(1.0 ns); + prs { + [after=1000](b0__c_a_out_0 & b0__c_a_out_1) -> b0__ocd_n_lvl0_0+ + [after=1000]( ~(b0__c_a_out_0 | b0__c_a_out_1)) -> b0__ocd_n_lvl0_0- + } + // b0__ocd_n_lvl0_1 := cgate(b0__c_a_out_2, b0__c_a_out_3) delay(1.0 ns); + prs { + [after=1000](b0__c_a_out_2 & b0__c_a_out_3) -> b0__ocd_n_lvl0_1+ + [after=1000]( ~(b0__c_a_out_2 | b0__c_a_out_3)) -> b0__ocd_n_lvl0_1- + } + // b0__ocd_n_lvl0_2 := cgate(b0__c_b_out_0, b0__c_b_out_1) delay(1.0 ns); + prs { + [after=1000](b0__c_b_out_0 & b0__c_b_out_1) -> b0__ocd_n_lvl0_2+ + [after=1000]( ~(b0__c_b_out_0 | b0__c_b_out_1)) -> b0__ocd_n_lvl0_2- + } + // b0__ocd_n_lvl0_3 := cgate(b0__c_b_out_2, b0__c_b_out_3) delay(1.0 ns); + prs { + [after=1000](b0__c_b_out_2 & b0__c_b_out_3) -> b0__ocd_n_lvl0_3+ + [after=1000]( ~(b0__c_b_out_2 | b0__c_b_out_3)) -> b0__ocd_n_lvl0_3- + } + // b0__ocd_n_lvl1_0 := cgate(b0__ocd_n_lvl0_0, b0__ocd_n_lvl0_1) delay(1.0 ns); + prs { + [after=1000](b0__ocd_n_lvl0_0 & b0__ocd_n_lvl0_1) -> b0__ocd_n_lvl1_0+ + [after=1000]( ~(b0__ocd_n_lvl0_0 | b0__ocd_n_lvl0_1)) -> b0__ocd_n_lvl1_0- + } + // b0__ocd_n_lvl1_1 := cgate(b0__ocd_n_lvl0_2, b0__ocd_n_lvl0_3) delay(1.0 ns); + prs { + [after=1000](b0__ocd_n_lvl0_2 & b0__ocd_n_lvl0_3) -> b0__ocd_n_lvl1_1+ + [after=1000]( ~(b0__ocd_n_lvl0_2 | b0__ocd_n_lvl0_3)) -> b0__ocd_n_lvl1_1- + } + // b0__ocd_n := cgate(b0__ocd_n_lvl1_0, b0__ocd_n_lvl1_1) delay(1.0 ns); + prs { + [after=1000](b0__ocd_n_lvl1_0 & b0__ocd_n_lvl1_1) -> b0__ocd_n+ + [after=1000]( ~(b0__ocd_n_lvl1_0 | b0__ocd_n_lvl1_1)) -> b0__ocd_n- + } + // ack_out := inv(b0__ocd_n) delay(1.0 ns); + prs { + [after=1000]( ~b0__ocd_n) -> ack_out+ + [after=1000]( ~( ~b0__ocd_n)) -> ack_out- + } + // b0__en := inv(b0__ack_in) delay(1.0 ns); + prs { + [after=1000]( ~b0__ack_in) -> b0__en+ + [after=1000]( ~( ~b0__ack_in)) -> b0__en- + } + // b1__c_a_out_0 := nor_gate(b2__a_in(0).F, b2__a_in(0).T) delay(1.0 ns); + prs { + [after=1000]( ~(b2__a_in[0].f | b2__a_in[0].t)) -> b1__c_a_out_0+ + [after=1000]( ~( ~(b2__a_in[0].f | b2__a_in[0].t))) -> b1__c_a_out_0- + } + // b2__a_in(0).F := cgate(b1__a_in(0).F, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__a_in[0].f & b1__en) & ~reset -> b2__a_in[0].f+ + [after=1000]( ~(b1__a_in[0].f | b1__en)) | reset -> b2__a_in[0].f- + } + // b2__a_in(0).T := cgate(b1__a_in(0).T, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__a_in[0].t & b1__en) & ~reset -> b2__a_in[0].t+ + [after=1000]( ~(b1__a_in[0].t | b1__en)) | reset -> b2__a_in[0].t- + } + // b1__c_a_out_1 := nor_gate(b2__a_in(1).F, b2__a_in(1).T) delay(1.0 ns); + prs { + [after=1000]( ~(b2__a_in[1].f | b2__a_in[1].t)) -> b1__c_a_out_1+ + [after=1000]( ~( ~(b2__a_in[1].f | b2__a_in[1].t))) -> b1__c_a_out_1- + } + // b2__a_in(1).F := cgate(b1__a_in(1).F, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__a_in[1].f & b1__en) & ~reset -> b2__a_in[1].f+ + [after=1000]( ~(b1__a_in[1].f | b1__en)) | reset -> b2__a_in[1].f- + } + // b2__a_in(1).T := cgate(b1__a_in(1).T, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__a_in[1].t & b1__en) & ~reset -> b2__a_in[1].t+ + [after=1000]( ~(b1__a_in[1].t | b1__en)) | reset -> b2__a_in[1].t- + } + // b1__c_a_out_2 := nor_gate(b2__a_in(2).F, b2__a_in(2).T) delay(1.0 ns); + prs { + [after=1000]( ~(b2__a_in[2].f | b2__a_in[2].t)) -> b1__c_a_out_2+ + [after=1000]( ~( ~(b2__a_in[2].f | b2__a_in[2].t))) -> b1__c_a_out_2- + } + // b2__a_in(2).F := cgate(b1__a_in(2).F, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__a_in[2].f & b1__en) & ~reset -> b2__a_in[2].f+ + [after=1000]( ~(b1__a_in[2].f | b1__en)) | reset -> b2__a_in[2].f- + } + // b2__a_in(2).T := cgate(b1__a_in(2).T, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__a_in[2].t & b1__en) & ~reset -> b2__a_in[2].t+ + [after=1000]( ~(b1__a_in[2].t | b1__en)) | reset -> b2__a_in[2].t- + } + // b1__c_a_out_3 := nor_gate(b2__a_in(3).F, b2__a_in(3).T) delay(1.0 ns); + prs { + [after=1000]( ~(b2__a_in[3].f | b2__a_in[3].t)) -> b1__c_a_out_3+ + [after=1000]( ~( ~(b2__a_in[3].f | b2__a_in[3].t))) -> b1__c_a_out_3- + } + // b2__a_in(3).F := cgate(b1__a_in(3).F, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__a_in[3].f & b1__en) & ~reset -> b2__a_in[3].f+ + [after=1000]( ~(b1__a_in[3].f | b1__en)) | reset -> b2__a_in[3].f- + } + // b2__a_in(3).T := cgate(b1__a_in(3).T, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__a_in[3].t & b1__en) & ~reset -> b2__a_in[3].t+ + [after=1000]( ~(b1__a_in[3].t | b1__en)) | reset -> b2__a_in[3].t- + } + // b1__c_b_out_0 := nor_gate(logic_ms_1__logic_ms_1__b_in_0.F, logic_ms_1__logic_ms_1__b_in_0.T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ms_1__logic_ms_1__b_in_0.f | logic_ms_1__logic_ms_1__b_in_0.t)) -> b1__c_b_out_0+ + [after=1000]( ~( ~(logic_ms_1__logic_ms_1__b_in_0.f | logic_ms_1__logic_ms_1__b_in_0.t))) -> b1__c_b_out_0- + } + // logic_ms_1__logic_ms_1__b_in_0.F := cgate(b1__b_in(0).F, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__b_in[0].f & b1__en) & ~reset -> logic_ms_1__logic_ms_1__b_in_0.f+ + [after=1000]( ~(b1__b_in[0].f | b1__en)) | reset -> logic_ms_1__logic_ms_1__b_in_0.f- + } + // logic_ms_1__logic_ms_1__b_in_0.T := cgate(b1__b_in(0).T, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__b_in[0].t & b1__en) & ~reset -> logic_ms_1__logic_ms_1__b_in_0.t+ + [after=1000]( ~(b1__b_in[0].t | b1__en)) | reset -> logic_ms_1__logic_ms_1__b_in_0.t- + } + // b1__c_b_out_1 := nor_gate(b2__b_in.F, b2__b_in.T) delay(1.0 ns); + prs { + [after=1000]( ~(b2__b_in.f | b2__b_in.t)) -> b1__c_b_out_1+ + [after=1000]( ~( ~(b2__b_in.f | b2__b_in.t))) -> b1__c_b_out_1- + } + // b2__b_in.F := cgate(b1__b_in(1).F, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__b_in[1].f & b1__en) & ~reset -> b2__b_in.f+ + [after=1000]( ~(b1__b_in[1].f | b1__en)) | reset -> b2__b_in.f- + } + // b2__b_in.T := cgate(b1__b_in(1).T, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__b_in[1].t & b1__en) & ~reset -> b2__b_in.t+ + [after=1000]( ~(b1__b_in[1].t | b1__en)) | reset -> b2__b_in.t- + } + // b1__c_s_out_0 := nor_gate(b2__s_in(0).F, b2__s_in(0).T) delay(1.0 ns); + prs { + [after=1000]( ~(b2__s_in[0].f | b2__s_in[0].t)) -> b1__c_s_out_0+ + [after=1000]( ~( ~(b2__s_in[0].f | b2__s_in[0].t))) -> b1__c_s_out_0- + } + // b2__s_in(0).F := cgate(b1__s_in(0).F, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__s_in[0].f & b1__en) & ~reset -> b2__s_in[0].f+ + [after=1000]( ~(b1__s_in[0].f | b1__en)) | reset -> b2__s_in[0].f- + } + // b2__s_in(0).T := cgate(b1__s_in(0).T, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__s_in[0].t & b1__en) & ~reset -> b2__s_in[0].t+ + [after=1000]( ~(b1__s_in[0].t | b1__en)) | reset -> b2__s_in[0].t- + } + // b1__c_s_out_1 := nor_gate(b2__s_in(1).F, b2__s_in(1).T) delay(1.0 ns); + prs { + [after=1000]( ~(b2__s_in[1].f | b2__s_in[1].t)) -> b1__c_s_out_1+ + [after=1000]( ~( ~(b2__s_in[1].f | b2__s_in[1].t))) -> b1__c_s_out_1- + } + // b2__s_in(1).F := cgate(b1__s_in(1).F, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__s_in[1].f & b1__en) & ~reset -> b2__s_in[1].f+ + [after=1000]( ~(b1__s_in[1].f | b1__en)) | reset -> b2__s_in[1].f- + } + // b2__s_in(1).T := cgate(b1__s_in(1).T, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__s_in[1].t & b1__en) & ~reset -> b2__s_in[1].t+ + [after=1000]( ~(b1__s_in[1].t | b1__en)) | reset -> b2__s_in[1].t- + } + // b1__c_s_out_2 := nor_gate(logic_ms_1__logic_ms_1__s_in_2.F, logic_ms_1__logic_ms_1__s_in_2.T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ms_1__logic_ms_1__s_in_2.f | logic_ms_1__logic_ms_1__s_in_2.t)) -> b1__c_s_out_2+ + [after=1000]( ~( ~(logic_ms_1__logic_ms_1__s_in_2.f | logic_ms_1__logic_ms_1__s_in_2.t))) -> b1__c_s_out_2- + } + // logic_ms_1__logic_ms_1__s_in_2.F := cgate(b1__s_in(2).F, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__s_in[2].f & b1__en) & ~reset -> logic_ms_1__logic_ms_1__s_in_2.f+ + [after=1000]( ~(b1__s_in[2].f | b1__en)) | reset -> logic_ms_1__logic_ms_1__s_in_2.f- + } + // logic_ms_1__logic_ms_1__s_in_2.T := cgate(b1__s_in(2).T, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__s_in[2].t & b1__en) & ~reset -> logic_ms_1__logic_ms_1__s_in_2.t+ + [after=1000]( ~(b1__s_in[2].t | b1__en)) | reset -> logic_ms_1__logic_ms_1__s_in_2.t- + } + // b1__c_s_out_3 := nor_gate(logic_ms_1__logic_ms_1__s_in_3.F, logic_ms_1__logic_ms_1__s_in_3.T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ms_1__logic_ms_1__s_in_3.f | logic_ms_1__logic_ms_1__s_in_3.t)) -> b1__c_s_out_3+ + [after=1000]( ~( ~(logic_ms_1__logic_ms_1__s_in_3.f | logic_ms_1__logic_ms_1__s_in_3.t))) -> b1__c_s_out_3- + } + // logic_ms_1__logic_ms_1__s_in_3.F := cgate(b1__s_in(3).F, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__s_in[3].f & b1__en) & ~reset -> logic_ms_1__logic_ms_1__s_in_3.f+ + [after=1000]( ~(b1__s_in[3].f | b1__en)) | reset -> logic_ms_1__logic_ms_1__s_in_3.f- + } + // logic_ms_1__logic_ms_1__s_in_3.T := cgate(b1__s_in(3).T, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__s_in[3].t & b1__en) & ~reset -> logic_ms_1__logic_ms_1__s_in_3.t+ + [after=1000]( ~(b1__s_in[3].t | b1__en)) | reset -> logic_ms_1__logic_ms_1__s_in_3.t- + } + // b1__c_s_out_4 := nor_gate(logic_ms_1__logic_ms_1__s_in_4.F, logic_ms_1__logic_ms_1__s_in_4.T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ms_1__logic_ms_1__s_in_4.f | logic_ms_1__logic_ms_1__s_in_4.t)) -> b1__c_s_out_4+ + [after=1000]( ~( ~(logic_ms_1__logic_ms_1__s_in_4.f | logic_ms_1__logic_ms_1__s_in_4.t))) -> b1__c_s_out_4- + } + // logic_ms_1__logic_ms_1__s_in_4.F := cgate(b1__s_in(4).F, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__s_in[4].f & b1__en) & ~reset -> logic_ms_1__logic_ms_1__s_in_4.f+ + [after=1000]( ~(b1__s_in[4].f | b1__en)) | reset -> logic_ms_1__logic_ms_1__s_in_4.f- + } + // logic_ms_1__logic_ms_1__s_in_4.T := cgate(b1__s_in(4).T, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__s_in[4].t & b1__en) & ~reset -> logic_ms_1__logic_ms_1__s_in_4.t+ + [after=1000]( ~(b1__s_in[4].t | b1__en)) | reset -> logic_ms_1__logic_ms_1__s_in_4.t- + } + // b1__c_s_out_5 := nor_gate(logic_ms_1__logic_ms_1__s_in_5.F, logic_ms_1__logic_ms_1__s_in_5.T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ms_1__logic_ms_1__s_in_5.f | logic_ms_1__logic_ms_1__s_in_5.t)) -> b1__c_s_out_5+ + [after=1000]( ~( ~(logic_ms_1__logic_ms_1__s_in_5.f | logic_ms_1__logic_ms_1__s_in_5.t))) -> b1__c_s_out_5- + } + // logic_ms_1__logic_ms_1__s_in_5.F := cgate(b1__s_in(5).F, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__s_in[5].f & b1__en) & ~reset -> logic_ms_1__logic_ms_1__s_in_5.f+ + [after=1000]( ~(b1__s_in[5].f | b1__en)) | reset -> logic_ms_1__logic_ms_1__s_in_5.f- + } + // logic_ms_1__logic_ms_1__s_in_5.T := cgate(b1__s_in(5).T, b1__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b1__s_in[5].t & b1__en) & ~reset -> logic_ms_1__logic_ms_1__s_in_5.t+ + [after=1000]( ~(b1__s_in[5].t | b1__en)) | reset -> logic_ms_1__logic_ms_1__s_in_5.t- + } + // b1__ocd_n_lvl0_0 := cgate(b1__c_a_out_0, b1__c_a_out_1) delay(1.0 ns); + prs { + [after=1000](b1__c_a_out_0 & b1__c_a_out_1) -> b1__ocd_n_lvl0_0+ + [after=1000]( ~(b1__c_a_out_0 | b1__c_a_out_1)) -> b1__ocd_n_lvl0_0- + } + // b1__ocd_n_lvl0_1 := cgate(b1__c_a_out_2, b1__c_a_out_3) delay(1.0 ns); + prs { + [after=1000](b1__c_a_out_2 & b1__c_a_out_3) -> b1__ocd_n_lvl0_1+ + [after=1000]( ~(b1__c_a_out_2 | b1__c_a_out_3)) -> b1__ocd_n_lvl0_1- + } + // b1__ocd_n_lvl0_2 := cgate(b1__c_b_out_0, b1__c_b_out_1) delay(1.0 ns); + prs { + [after=1000](b1__c_b_out_0 & b1__c_b_out_1) -> b1__ocd_n_lvl0_2+ + [after=1000]( ~(b1__c_b_out_0 | b1__c_b_out_1)) -> b1__ocd_n_lvl0_2- + } + // b1__ocd_n_lvl0_3 := cgate(b1__c_s_out_0, b1__c_s_out_1) delay(1.0 ns); + prs { + [after=1000](b1__c_s_out_0 & b1__c_s_out_1) -> b1__ocd_n_lvl0_3+ + [after=1000]( ~(b1__c_s_out_0 | b1__c_s_out_1)) -> b1__ocd_n_lvl0_3- + } + // b1__ocd_n_lvl0_4 := cgate(b1__c_s_out_2, b1__c_s_out_3) delay(1.0 ns); + prs { + [after=1000](b1__c_s_out_2 & b1__c_s_out_3) -> b1__ocd_n_lvl0_4+ + [after=1000]( ~(b1__c_s_out_2 | b1__c_s_out_3)) -> b1__ocd_n_lvl0_4- + } + // b1__ocd_n_lvl0_5 := cgate(b1__c_s_out_4, b1__c_s_out_5) delay(1.0 ns); + prs { + [after=1000](b1__c_s_out_4 & b1__c_s_out_5) -> b1__ocd_n_lvl0_5+ + [after=1000]( ~(b1__c_s_out_4 | b1__c_s_out_5)) -> b1__ocd_n_lvl0_5- + } + // b1__ocd_n_lvl1_0 := cgate(b1__ocd_n_lvl0_0, b1__ocd_n_lvl0_1) delay(1.0 ns); + prs { + [after=1000](b1__ocd_n_lvl0_0 & b1__ocd_n_lvl0_1) -> b1__ocd_n_lvl1_0+ + [after=1000]( ~(b1__ocd_n_lvl0_0 | b1__ocd_n_lvl0_1)) -> b1__ocd_n_lvl1_0- + } + // b1__ocd_n_lvl1_1 := cgate(b1__ocd_n_lvl0_2, b1__ocd_n_lvl0_3) delay(1.0 ns); + prs { + [after=1000](b1__ocd_n_lvl0_2 & b1__ocd_n_lvl0_3) -> b1__ocd_n_lvl1_1+ + [after=1000]( ~(b1__ocd_n_lvl0_2 | b1__ocd_n_lvl0_3)) -> b1__ocd_n_lvl1_1- + } + // b1__ocd_n_lvl1_2 := cgate(b1__ocd_n_lvl0_4, b1__ocd_n_lvl0_5) delay(1.0 ns); + prs { + [after=1000](b1__ocd_n_lvl0_4 & b1__ocd_n_lvl0_5) -> b1__ocd_n_lvl1_2+ + [after=1000]( ~(b1__ocd_n_lvl0_4 | b1__ocd_n_lvl0_5)) -> b1__ocd_n_lvl1_2- + } + // b1__ocd_n_lvl2_0 := cgate(b1__ocd_n_lvl1_0, b1__ocd_n_lvl1_1) delay(1.0 ns); + prs { + [after=1000](b1__ocd_n_lvl1_0 & b1__ocd_n_lvl1_1) -> b1__ocd_n_lvl2_0+ + [after=1000]( ~(b1__ocd_n_lvl1_0 | b1__ocd_n_lvl1_1)) -> b1__ocd_n_lvl2_0- + } + // b1__ocd_n := cgate(b1__ocd_n_lvl2_0, b1__ocd_n_lvl1_2) delay(1.0 ns); + prs { + [after=1000](b1__ocd_n_lvl2_0 & b1__ocd_n_lvl1_2) -> b1__ocd_n+ + [after=1000]( ~(b1__ocd_n_lvl2_0 | b1__ocd_n_lvl1_2)) -> b1__ocd_n- + } + // logic_fs__ack_in := inv(b1__ocd_n) delay(1.0 ns); + prs { + [after=1000]( ~b1__ocd_n) -> logic_fs__ack_in+ + [after=1000]( ~( ~b1__ocd_n)) -> logic_fs__ack_in- + } + // b1__en := inv(b1__ack_in) delay(1.0 ns); + prs { + [after=1000]( ~b1__ack_in) -> b1__en+ + [after=1000]( ~( ~b1__ack_in)) -> b1__en- + } + // b2__c_a_out_0 := nor_gate(logic_ls__logic_ls__a_in(0).F, logic_ls__logic_ls__a_in(0).T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ls__logic_ls__a_in[0].f | logic_ls__logic_ls__a_in[0].t)) -> b2__c_a_out_0+ + [after=1000]( ~( ~(logic_ls__logic_ls__a_in[0].f | logic_ls__logic_ls__a_in[0].t))) -> b2__c_a_out_0- + } + // logic_ls__logic_ls__a_in(0).F := cgate(b2__a_in(0).F, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__a_in[0].f & b2__en) & ~reset -> logic_ls__logic_ls__a_in[0].f+ + [after=1000]( ~(b2__a_in[0].f | b2__en)) | reset -> logic_ls__logic_ls__a_in[0].f- + } + // logic_ls__logic_ls__a_in(0).T := cgate(b2__a_in(0).T, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__a_in[0].t & b2__en) & ~reset -> logic_ls__logic_ls__a_in[0].t+ + [after=1000]( ~(b2__a_in[0].t | b2__en)) | reset -> logic_ls__logic_ls__a_in[0].t- + } + // b2__c_a_out_1 := nor_gate(logic_ls__logic_ls__a_in(1).F, logic_ls__logic_ls__a_in(1).T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ls__logic_ls__a_in[1].f | logic_ls__logic_ls__a_in[1].t)) -> b2__c_a_out_1+ + [after=1000]( ~( ~(logic_ls__logic_ls__a_in[1].f | logic_ls__logic_ls__a_in[1].t))) -> b2__c_a_out_1- + } + // logic_ls__logic_ls__a_in(1).F := cgate(b2__a_in(1).F, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__a_in[1].f & b2__en) & ~reset -> logic_ls__logic_ls__a_in[1].f+ + [after=1000]( ~(b2__a_in[1].f | b2__en)) | reset -> logic_ls__logic_ls__a_in[1].f- + } + // logic_ls__logic_ls__a_in(1).T := cgate(b2__a_in(1).T, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__a_in[1].t & b2__en) & ~reset -> logic_ls__logic_ls__a_in[1].t+ + [after=1000]( ~(b2__a_in[1].t | b2__en)) | reset -> logic_ls__logic_ls__a_in[1].t- + } + // b2__c_a_out_2 := nor_gate(logic_ls__logic_ls__a_in(2).F, logic_ls__logic_ls__a_in(2).T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ls__logic_ls__a_in[2].f | logic_ls__logic_ls__a_in[2].t)) -> b2__c_a_out_2+ + [after=1000]( ~( ~(logic_ls__logic_ls__a_in[2].f | logic_ls__logic_ls__a_in[2].t))) -> b2__c_a_out_2- + } + // logic_ls__logic_ls__a_in(2).F := cgate(b2__a_in(2).F, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__a_in[2].f & b2__en) & ~reset -> logic_ls__logic_ls__a_in[2].f+ + [after=1000]( ~(b2__a_in[2].f | b2__en)) | reset -> logic_ls__logic_ls__a_in[2].f- + } + // logic_ls__logic_ls__a_in(2).T := cgate(b2__a_in(2).T, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__a_in[2].t & b2__en) & ~reset -> logic_ls__logic_ls__a_in[2].t+ + [after=1000]( ~(b2__a_in[2].t | b2__en)) | reset -> logic_ls__logic_ls__a_in[2].t- + } + // b2__c_a_out_3 := nor_gate(logic_ls__logic_ls__a_in(3).F, logic_ls__logic_ls__a_in(3).T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ls__logic_ls__a_in[3].f | logic_ls__logic_ls__a_in[3].t)) -> b2__c_a_out_3+ + [after=1000]( ~( ~(logic_ls__logic_ls__a_in[3].f | logic_ls__logic_ls__a_in[3].t))) -> b2__c_a_out_3- + } + // logic_ls__logic_ls__a_in(3).F := cgate(b2__a_in(3).F, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__a_in[3].f & b2__en) & ~reset -> logic_ls__logic_ls__a_in[3].f+ + [after=1000]( ~(b2__a_in[3].f | b2__en)) | reset -> logic_ls__logic_ls__a_in[3].f- + } + // logic_ls__logic_ls__a_in(3).T := cgate(b2__a_in(3).T, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__a_in[3].t & b2__en) & ~reset -> logic_ls__logic_ls__a_in[3].t+ + [after=1000]( ~(b2__a_in[3].t | b2__en)) | reset -> logic_ls__logic_ls__a_in[3].t- + } + // b2__c_b_out := nor_gate(logic_ls__logic_ls__b_in.F, logic_ls__logic_ls__b_in.T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ls__logic_ls__b_in.f | logic_ls__logic_ls__b_in.t)) -> b2__c_b_out+ + [after=1000]( ~( ~(logic_ls__logic_ls__b_in.f | logic_ls__logic_ls__b_in.t))) -> b2__c_b_out- + } + // logic_ls__logic_ls__b_in.F := cgate(b2__b_in.F, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__b_in.f & b2__en) & ~reset -> logic_ls__logic_ls__b_in.f+ + [after=1000]( ~(b2__b_in.f | b2__en)) | reset -> logic_ls__logic_ls__b_in.f- + } + // logic_ls__logic_ls__b_in.T := cgate(b2__b_in.T, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__b_in.t & b2__en) & ~reset -> logic_ls__logic_ls__b_in.t+ + [after=1000]( ~(b2__b_in.t | b2__en)) | reset -> logic_ls__logic_ls__b_in.t- + } + // b2__c_s_out_0 := nor_gate(b3__s_in(0).F, b3__s_in(0).T) delay(1.0 ns); + prs { + [after=1000]( ~(b3__s_in[0].f | b3__s_in[0].t)) -> b2__c_s_out_0+ + [after=1000]( ~( ~(b3__s_in[0].f | b3__s_in[0].t))) -> b2__c_s_out_0- + } + // b3__s_in(0).F := cgate(b2__s_in(0).F, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__s_in[0].f & b2__en) & ~reset -> b3__s_in[0].f+ + [after=1000]( ~(b2__s_in[0].f | b2__en)) | reset -> b3__s_in[0].f- + } + // b3__s_in(0).T := cgate(b2__s_in(0).T, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__s_in[0].t & b2__en) & ~reset -> b3__s_in[0].t+ + [after=1000]( ~(b2__s_in[0].t | b2__en)) | reset -> b3__s_in[0].t- + } + // b2__c_s_out_1 := nor_gate(b3__s_in(1).F, b3__s_in(1).T) delay(1.0 ns); + prs { + [after=1000]( ~(b3__s_in[1].f | b3__s_in[1].t)) -> b2__c_s_out_1+ + [after=1000]( ~( ~(b3__s_in[1].f | b3__s_in[1].t))) -> b2__c_s_out_1- + } + // b3__s_in(1).F := cgate(b2__s_in(1).F, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__s_in[1].f & b2__en) & ~reset -> b3__s_in[1].f+ + [after=1000]( ~(b2__s_in[1].f | b2__en)) | reset -> b3__s_in[1].f- + } + // b3__s_in(1).T := cgate(b2__s_in(1).T, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__s_in[1].t & b2__en) & ~reset -> b3__s_in[1].t+ + [after=1000]( ~(b2__s_in[1].t | b2__en)) | reset -> b3__s_in[1].t- + } + // b2__c_s_out_2 := nor_gate(b3__s_in(2).F, b3__s_in(2).T) delay(1.0 ns); + prs { + [after=1000]( ~(b3__s_in[2].f | b3__s_in[2].t)) -> b2__c_s_out_2+ + [after=1000]( ~( ~(b3__s_in[2].f | b3__s_in[2].t))) -> b2__c_s_out_2- + } + // b3__s_in(2).F := cgate(b2__s_in(2).F, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__s_in[2].f & b2__en) & ~reset -> b3__s_in[2].f+ + [after=1000]( ~(b2__s_in[2].f | b2__en)) | reset -> b3__s_in[2].f- + } + // b3__s_in(2).T := cgate(b2__s_in(2).T, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__s_in[2].t & b2__en) & ~reset -> b3__s_in[2].t+ + [after=1000]( ~(b2__s_in[2].t | b2__en)) | reset -> b3__s_in[2].t- + } + // b2__c_s_out_3 := nor_gate(logic_ls__logic_ls__s_in_3.F, logic_ls__logic_ls__s_in_3.T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ls__logic_ls__s_in_3.f | logic_ls__logic_ls__s_in_3.t)) -> b2__c_s_out_3+ + [after=1000]( ~( ~(logic_ls__logic_ls__s_in_3.f | logic_ls__logic_ls__s_in_3.t))) -> b2__c_s_out_3- + } + // logic_ls__logic_ls__s_in_3.F := cgate(b2__s_in(3).F, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__s_in[3].f & b2__en) & ~reset -> logic_ls__logic_ls__s_in_3.f+ + [after=1000]( ~(b2__s_in[3].f | b2__en)) | reset -> logic_ls__logic_ls__s_in_3.f- + } + // logic_ls__logic_ls__s_in_3.T := cgate(b2__s_in(3).T, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__s_in[3].t & b2__en) & ~reset -> logic_ls__logic_ls__s_in_3.t+ + [after=1000]( ~(b2__s_in[3].t | b2__en)) | reset -> logic_ls__logic_ls__s_in_3.t- + } + // b2__c_s_out_4 := nor_gate(logic_ls__logic_ls__s_in_4.F, logic_ls__logic_ls__s_in_4.T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ls__logic_ls__s_in_4.f | logic_ls__logic_ls__s_in_4.t)) -> b2__c_s_out_4+ + [after=1000]( ~( ~(logic_ls__logic_ls__s_in_4.f | logic_ls__logic_ls__s_in_4.t))) -> b2__c_s_out_4- + } + // logic_ls__logic_ls__s_in_4.F := cgate(b2__s_in(4).F, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__s_in[4].f & b2__en) & ~reset -> logic_ls__logic_ls__s_in_4.f+ + [after=1000]( ~(b2__s_in[4].f | b2__en)) | reset -> logic_ls__logic_ls__s_in_4.f- + } + // logic_ls__logic_ls__s_in_4.T := cgate(b2__s_in(4).T, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__s_in[4].t & b2__en) & ~reset -> logic_ls__logic_ls__s_in_4.t+ + [after=1000]( ~(b2__s_in[4].t | b2__en)) | reset -> logic_ls__logic_ls__s_in_4.t- + } + // b2__c_s_out_5 := nor_gate(logic_ls__logic_ls__s_in_5.F, logic_ls__logic_ls__s_in_5.T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ls__logic_ls__s_in_5.f | logic_ls__logic_ls__s_in_5.t)) -> b2__c_s_out_5+ + [after=1000]( ~( ~(logic_ls__logic_ls__s_in_5.f | logic_ls__logic_ls__s_in_5.t))) -> b2__c_s_out_5- + } + // logic_ls__logic_ls__s_in_5.F := cgate(b2__s_in(5).F, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__s_in[5].f & b2__en) & ~reset -> logic_ls__logic_ls__s_in_5.f+ + [after=1000]( ~(b2__s_in[5].f | b2__en)) | reset -> logic_ls__logic_ls__s_in_5.f- + } + // logic_ls__logic_ls__s_in_5.T := cgate(b2__s_in(5).T, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__s_in[5].t & b2__en) & ~reset -> logic_ls__logic_ls__s_in_5.t+ + [after=1000]( ~(b2__s_in[5].t | b2__en)) | reset -> logic_ls__logic_ls__s_in_5.t- + } + // b2__c_s_out_6 := nor_gate(logic_ls__logic_ls__s_in_6.F, logic_ls__logic_ls__s_in_6.T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ls__logic_ls__s_in_6.f | logic_ls__logic_ls__s_in_6.t)) -> b2__c_s_out_6+ + [after=1000]( ~( ~(logic_ls__logic_ls__s_in_6.f | logic_ls__logic_ls__s_in_6.t))) -> b2__c_s_out_6- + } + // logic_ls__logic_ls__s_in_6.F := cgate(b2__s_in(6).F, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__s_in[6].f & b2__en) & ~reset -> logic_ls__logic_ls__s_in_6.f+ + [after=1000]( ~(b2__s_in[6].f | b2__en)) | reset -> logic_ls__logic_ls__s_in_6.f- + } + // logic_ls__logic_ls__s_in_6.T := cgate(b2__s_in(6).T, b2__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b2__s_in[6].t & b2__en) & ~reset -> logic_ls__logic_ls__s_in_6.t+ + [after=1000]( ~(b2__s_in[6].t | b2__en)) | reset -> logic_ls__logic_ls__s_in_6.t- + } + // b2__ocd_n_lvl0_0 := cgate(b2__c_a_out_0, b2__c_a_out_1) delay(1.0 ns); + prs { + [after=1000](b2__c_a_out_0 & b2__c_a_out_1) -> b2__ocd_n_lvl0_0+ + [after=1000]( ~(b2__c_a_out_0 | b2__c_a_out_1)) -> b2__ocd_n_lvl0_0- + } + // b2__ocd_n_lvl0_1 := cgate(b2__c_a_out_2, b2__c_a_out_3) delay(1.0 ns); + prs { + [after=1000](b2__c_a_out_2 & b2__c_a_out_3) -> b2__ocd_n_lvl0_1+ + [after=1000]( ~(b2__c_a_out_2 | b2__c_a_out_3)) -> b2__ocd_n_lvl0_1- + } + // b2__ocd_n_lvl0_2 := cgate(b2__c_b_out, b2__c_s_out_0) delay(1.0 ns); + prs { + [after=1000](b2__c_b_out & b2__c_s_out_0) -> b2__ocd_n_lvl0_2+ + [after=1000]( ~(b2__c_b_out | b2__c_s_out_0)) -> b2__ocd_n_lvl0_2- + } + // b2__ocd_n_lvl0_3 := cgate(b2__c_s_out_1, b2__c_s_out_2) delay(1.0 ns); + prs { + [after=1000](b2__c_s_out_1 & b2__c_s_out_2) -> b2__ocd_n_lvl0_3+ + [after=1000]( ~(b2__c_s_out_1 | b2__c_s_out_2)) -> b2__ocd_n_lvl0_3- + } + // b2__ocd_n_lvl0_4 := cgate(b2__c_s_out_3, b2__c_s_out_4) delay(1.0 ns); + prs { + [after=1000](b2__c_s_out_3 & b2__c_s_out_4) -> b2__ocd_n_lvl0_4+ + [after=1000]( ~(b2__c_s_out_3 | b2__c_s_out_4)) -> b2__ocd_n_lvl0_4- + } + // b2__ocd_n_lvl0_5 := cgate(b2__c_s_out_5, b2__c_s_out_6) delay(1.0 ns); + prs { + [after=1000](b2__c_s_out_5 & b2__c_s_out_6) -> b2__ocd_n_lvl0_5+ + [after=1000]( ~(b2__c_s_out_5 | b2__c_s_out_6)) -> b2__ocd_n_lvl0_5- + } + // b2__ocd_n_lvl1_0 := cgate(b2__ocd_n_lvl0_0, b2__ocd_n_lvl0_1) delay(1.0 ns); + prs { + [after=1000](b2__ocd_n_lvl0_0 & b2__ocd_n_lvl0_1) -> b2__ocd_n_lvl1_0+ + [after=1000]( ~(b2__ocd_n_lvl0_0 | b2__ocd_n_lvl0_1)) -> b2__ocd_n_lvl1_0- + } + // b2__ocd_n_lvl1_1 := cgate(b2__ocd_n_lvl0_2, b2__ocd_n_lvl0_3) delay(1.0 ns); + prs { + [after=1000](b2__ocd_n_lvl0_2 & b2__ocd_n_lvl0_3) -> b2__ocd_n_lvl1_1+ + [after=1000]( ~(b2__ocd_n_lvl0_2 | b2__ocd_n_lvl0_3)) -> b2__ocd_n_lvl1_1- + } + // b2__ocd_n_lvl1_2 := cgate(b2__ocd_n_lvl0_4, b2__ocd_n_lvl0_5) delay(1.0 ns); + prs { + [after=1000](b2__ocd_n_lvl0_4 & b2__ocd_n_lvl0_5) -> b2__ocd_n_lvl1_2+ + [after=1000]( ~(b2__ocd_n_lvl0_4 | b2__ocd_n_lvl0_5)) -> b2__ocd_n_lvl1_2- + } + // b2__ocd_n_lvl2_0 := cgate(b2__ocd_n_lvl1_0, b2__ocd_n_lvl1_1) delay(1.0 ns); + prs { + [after=1000](b2__ocd_n_lvl1_0 & b2__ocd_n_lvl1_1) -> b2__ocd_n_lvl2_0+ + [after=1000]( ~(b2__ocd_n_lvl1_0 | b2__ocd_n_lvl1_1)) -> b2__ocd_n_lvl2_0- + } + // b2__ocd_n := cgate(b2__ocd_n_lvl2_0, b2__ocd_n_lvl1_2) delay(1.0 ns); + prs { + [after=1000](b2__ocd_n_lvl2_0 & b2__ocd_n_lvl1_2) -> b2__ocd_n+ + [after=1000]( ~(b2__ocd_n_lvl2_0 | b2__ocd_n_lvl1_2)) -> b2__ocd_n- + } + // logic_ms_1__ack_in := inv(b2__ocd_n) delay(1.0 ns); + prs { + [after=1000]( ~b2__ocd_n) -> logic_ms_1__ack_in+ + [after=1000]( ~( ~b2__ocd_n)) -> logic_ms_1__ack_in- + } + // b2__en := inv(b2__ack_in) delay(1.0 ns); + prs { + [after=1000]( ~b2__ack_in) -> b2__en+ + [after=1000]( ~( ~b2__ack_in)) -> b2__en- + } + // b3__c_s_out_0 := nor_gate(s(0).F, s(0).T) delay(1.0 ns); + prs { + [after=1000]( ~(s[0].f | s[0].t)) -> b3__c_s_out_0+ + [after=1000]( ~( ~(s[0].f | s[0].t))) -> b3__c_s_out_0- + } + // s(0).F := cgate(b3__s_in(0).F, b3__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b3__s_in[0].f & b3__en) & ~reset -> s[0].f+ + [after=1000]( ~(b3__s_in[0].f | b3__en)) | reset -> s[0].f- + } + // s(0).T := cgate(b3__s_in(0).T, b3__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b3__s_in[0].t & b3__en) & ~reset -> s[0].t+ + [after=1000]( ~(b3__s_in[0].t | b3__en)) | reset -> s[0].t- + } + // b3__c_s_out_1 := nor_gate(s(1).F, s(1).T) delay(1.0 ns); + prs { + [after=1000]( ~(s[1].f | s[1].t)) -> b3__c_s_out_1+ + [after=1000]( ~( ~(s[1].f | s[1].t))) -> b3__c_s_out_1- + } + // s(1).F := cgate(b3__s_in(1).F, b3__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b3__s_in[1].f & b3__en) & ~reset -> s[1].f+ + [after=1000]( ~(b3__s_in[1].f | b3__en)) | reset -> s[1].f- + } + // s(1).T := cgate(b3__s_in(1).T, b3__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b3__s_in[1].t & b3__en) & ~reset -> s[1].t+ + [after=1000]( ~(b3__s_in[1].t | b3__en)) | reset -> s[1].t- + } + // b3__c_s_out_2 := nor_gate(s(2).F, s(2).T) delay(1.0 ns); + prs { + [after=1000]( ~(s[2].f | s[2].t)) -> b3__c_s_out_2+ + [after=1000]( ~( ~(s[2].f | s[2].t))) -> b3__c_s_out_2- + } + // s(2).F := cgate(b3__s_in(2).F, b3__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b3__s_in[2].f & b3__en) & ~reset -> s[2].f+ + [after=1000]( ~(b3__s_in[2].f | b3__en)) | reset -> s[2].f- + } + // s(2).T := cgate(b3__s_in(2).T, b3__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b3__s_in[2].t & b3__en) & ~reset -> s[2].t+ + [after=1000]( ~(b3__s_in[2].t | b3__en)) | reset -> s[2].t- + } + // b3__c_s_out_3 := nor_gate(s(3).F, s(3).T) delay(1.0 ns); + prs { + [after=1000]( ~(s[3].f | s[3].t)) -> b3__c_s_out_3+ + [after=1000]( ~( ~(s[3].f | s[3].t))) -> b3__c_s_out_3- + } + // s(3).F := cgate(b3__s_in(3).F, b3__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b3__s_in[3].f & b3__en) & ~reset -> s[3].f+ + [after=1000]( ~(b3__s_in[3].f | b3__en)) | reset -> s[3].f- + } + // s(3).T := cgate(b3__s_in(3).T, b3__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b3__s_in[3].t & b3__en) & ~reset -> s[3].t+ + [after=1000]( ~(b3__s_in[3].t | b3__en)) | reset -> s[3].t- + } + // b3__c_s_out_4 := nor_gate(s(4).F, s(4).T) delay(1.0 ns); + prs { + [after=1000]( ~(s[4].f | s[4].t)) -> b3__c_s_out_4+ + [after=1000]( ~( ~(s[4].f | s[4].t))) -> b3__c_s_out_4- + } + // s(4).F := cgate(b3__s_in(4).F, b3__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b3__s_in[4].f & b3__en) & ~reset -> s[4].f+ + [after=1000]( ~(b3__s_in[4].f | b3__en)) | reset -> s[4].f- + } + // s(4).T := cgate(b3__s_in(4).T, b3__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b3__s_in[4].t & b3__en) & ~reset -> s[4].t+ + [after=1000]( ~(b3__s_in[4].t | b3__en)) | reset -> s[4].t- + } + // b3__c_s_out_5 := nor_gate(s(5).F, s(5).T) delay(1.0 ns); + prs { + [after=1000]( ~(s[5].f | s[5].t)) -> b3__c_s_out_5+ + [after=1000]( ~( ~(s[5].f | s[5].t))) -> b3__c_s_out_5- + } + // s(5).F := cgate(b3__s_in(5).F, b3__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b3__s_in[5].f & b3__en) & ~reset -> s[5].f+ + [after=1000]( ~(b3__s_in[5].f | b3__en)) | reset -> s[5].f- + } + // s(5).T := cgate(b3__s_in(5).T, b3__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b3__s_in[5].t & b3__en) & ~reset -> s[5].t+ + [after=1000]( ~(b3__s_in[5].t | b3__en)) | reset -> s[5].t- + } + // b3__c_s_out_6 := nor_gate(s(6).F, s(6).T) delay(1.0 ns); + prs { + [after=1000]( ~(s[6].f | s[6].t)) -> b3__c_s_out_6+ + [after=1000]( ~( ~(s[6].f | s[6].t))) -> b3__c_s_out_6- + } + // s(6).F := cgate(b3__s_in(6).F, b3__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b3__s_in[6].f & b3__en) & ~reset -> s[6].f+ + [after=1000]( ~(b3__s_in[6].f | b3__en)) | reset -> s[6].f- + } + // s(6).T := cgate(b3__s_in(6).T, b3__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b3__s_in[6].t & b3__en) & ~reset -> s[6].t+ + [after=1000]( ~(b3__s_in[6].t | b3__en)) | reset -> s[6].t- + } + // b3__c_s_out_7 := nor_gate(s(7).F, s(7).T) delay(1.0 ns); + prs { + [after=1000]( ~(s[7].f | s[7].t)) -> b3__c_s_out_7+ + [after=1000]( ~( ~(s[7].f | s[7].t))) -> b3__c_s_out_7- + } + // s(7).F := cgate(b3__s_in(7).F, b3__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b3__s_in[7].f & b3__en) & ~reset -> s[7].f+ + [after=1000]( ~(b3__s_in[7].f | b3__en)) | reset -> s[7].f- + } + // s(7).T := cgate(b3__s_in(7).T, b3__en) delay(1.0 ns) init(0, reset); + prs { + [after=1000](b3__s_in[7].t & b3__en) & ~reset -> s[7].t+ + [after=1000]( ~(b3__s_in[7].t | b3__en)) | reset -> s[7].t- + } + // b3__ocd_n_lvl0_0 := cgate(b3__c_s_out_0, b3__c_s_out_1) delay(1.0 ns); + prs { + [after=1000](b3__c_s_out_0 & b3__c_s_out_1) -> b3__ocd_n_lvl0_0+ + [after=1000]( ~(b3__c_s_out_0 | b3__c_s_out_1)) -> b3__ocd_n_lvl0_0- + } + // b3__ocd_n_lvl0_1 := cgate(b3__c_s_out_2, b3__c_s_out_3) delay(1.0 ns); + prs { + [after=1000](b3__c_s_out_2 & b3__c_s_out_3) -> b3__ocd_n_lvl0_1+ + [after=1000]( ~(b3__c_s_out_2 | b3__c_s_out_3)) -> b3__ocd_n_lvl0_1- + } + // b3__ocd_n_lvl0_2 := cgate(b3__c_s_out_4, b3__c_s_out_5) delay(1.0 ns); + prs { + [after=1000](b3__c_s_out_4 & b3__c_s_out_5) -> b3__ocd_n_lvl0_2+ + [after=1000]( ~(b3__c_s_out_4 | b3__c_s_out_5)) -> b3__ocd_n_lvl0_2- + } + // b3__ocd_n_lvl0_3 := cgate(b3__c_s_out_6, b3__c_s_out_7) delay(1.0 ns); + prs { + [after=1000](b3__c_s_out_6 & b3__c_s_out_7) -> b3__ocd_n_lvl0_3+ + [after=1000]( ~(b3__c_s_out_6 | b3__c_s_out_7)) -> b3__ocd_n_lvl0_3- + } + // b3__ocd_n_lvl1_0 := cgate(b3__ocd_n_lvl0_0, b3__ocd_n_lvl0_1) delay(1.0 ns); + prs { + [after=1000](b3__ocd_n_lvl0_0 & b3__ocd_n_lvl0_1) -> b3__ocd_n_lvl1_0+ + [after=1000]( ~(b3__ocd_n_lvl0_0 | b3__ocd_n_lvl0_1)) -> b3__ocd_n_lvl1_0- + } + // b3__ocd_n_lvl1_1 := cgate(b3__ocd_n_lvl0_2, b3__ocd_n_lvl0_3) delay(1.0 ns); + prs { + [after=1000](b3__ocd_n_lvl0_2 & b3__ocd_n_lvl0_3) -> b3__ocd_n_lvl1_1+ + [after=1000]( ~(b3__ocd_n_lvl0_2 | b3__ocd_n_lvl0_3)) -> b3__ocd_n_lvl1_1- + } + // b3__ocd_n := cgate(b3__ocd_n_lvl1_0, b3__ocd_n_lvl1_1) delay(1.0 ns); + prs { + [after=1000](b3__ocd_n_lvl1_0 & b3__ocd_n_lvl1_1) -> b3__ocd_n+ + [after=1000]( ~(b3__ocd_n_lvl1_0 | b3__ocd_n_lvl1_1)) -> b3__ocd_n- + } + // logic_ls__ack_in := inv(b3__ocd_n) delay(1.0 ns); + prs { + [after=1000]( ~b3__ocd_n) -> logic_ls__ack_in+ + [after=1000]( ~( ~b3__ocd_n)) -> logic_ls__ack_in- + } + // b3__en := inv(ack_in) delay(1.0 ns); + prs { + [after=1000]( ~ack_in) -> b3__en+ + [after=1000]( ~( ~ack_in)) -> b3__en- + } + // logic_fs__logic_fs__int_sig_20_done_n := nor_gate(logic_fs__logic_fs__cell_07__b.T, logic_fs__logic_fs__cell_07__b.F) delay(1.0 ns); + prs { + [after=1000]( ~(logic_fs__logic_fs__cell_07__b.t | logic_fs__logic_fs__cell_07__b.f)) -> logic_fs__logic_fs__int_sig_20_done_n+ + [after=1000]( ~( ~(logic_fs__logic_fs__cell_07__b.t | logic_fs__logic_fs__cell_07__b.f))) -> logic_fs__logic_fs__int_sig_20_done_n- + } + // logic_fs__logic_fs__int_sig_21_done_n := nor_gate(logic_fs__logic_fs__cell_07__a.T, logic_fs__logic_fs__cell_07__a.F) delay(1.0 ns); + prs { + [after=1000]( ~(logic_fs__logic_fs__cell_07__a.t | logic_fs__logic_fs__cell_07__a.f)) -> logic_fs__logic_fs__int_sig_21_done_n+ + [after=1000]( ~( ~(logic_fs__logic_fs__cell_07__a.t | logic_fs__logic_fs__cell_07__a.f))) -> logic_fs__logic_fs__int_sig_21_done_n- + } + // logic_fs__logic_fs__int_sig_22_done_n := nor_gate(logic_fs__logic_fs__cell_11__a.T, logic_fs__logic_fs__cell_11__a.F) delay(1.0 ns); + prs { + [after=1000]( ~(logic_fs__logic_fs__cell_11__a.t | logic_fs__logic_fs__cell_11__a.f)) -> logic_fs__logic_fs__int_sig_22_done_n+ + [after=1000]( ~( ~(logic_fs__logic_fs__cell_11__a.t | logic_fs__logic_fs__cell_11__a.f))) -> logic_fs__logic_fs__int_sig_22_done_n- + } + // logic_fs__logic_fs__int_sig_23_done_n := nor_gate(logic_fs__logic_fs__cell_11__b.T, logic_fs__logic_fs__cell_11__b.F) delay(1.0 ns); + prs { + [after=1000]( ~(logic_fs__logic_fs__cell_11__b.t | logic_fs__logic_fs__cell_11__b.f)) -> logic_fs__logic_fs__int_sig_23_done_n+ + [after=1000]( ~( ~(logic_fs__logic_fs__cell_11__b.t | logic_fs__logic_fs__cell_11__b.f))) -> logic_fs__logic_fs__int_sig_23_done_n- + } + // logic_fs__logic_fs__internal_done_n_merged_lvl0_0 := cgate(logic_fs__logic_fs__int_sig_20_done_n, logic_fs__logic_fs__int_sig_21_done_n) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__int_sig_20_done_n & logic_fs__logic_fs__int_sig_21_done_n) -> logic_fs__logic_fs__internal_done_n_merged_lvl0_0+ + [after=1000]( ~(logic_fs__logic_fs__int_sig_20_done_n | logic_fs__logic_fs__int_sig_21_done_n)) -> logic_fs__logic_fs__internal_done_n_merged_lvl0_0- + } + // logic_fs__logic_fs__internal_done_n_merged_lvl0_1 := cgate(logic_fs__logic_fs__int_sig_22_done_n, logic_fs__logic_fs__int_sig_23_done_n) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__int_sig_22_done_n & logic_fs__logic_fs__int_sig_23_done_n) -> logic_fs__logic_fs__internal_done_n_merged_lvl0_1+ + [after=1000]( ~(logic_fs__logic_fs__int_sig_22_done_n | logic_fs__logic_fs__int_sig_23_done_n)) -> logic_fs__logic_fs__internal_done_n_merged_lvl0_1- + } + // logic_fs__logic_fs__internal_done_n_merged := cgate(logic_fs__logic_fs__internal_done_n_merged_lvl0_0, logic_fs__logic_fs__internal_done_n_merged_lvl0_1) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__internal_done_n_merged_lvl0_0 & logic_fs__logic_fs__internal_done_n_merged_lvl0_1) -> logic_fs__logic_fs__internal_done_n_merged+ + [after=1000]( ~(logic_fs__logic_fs__internal_done_n_merged_lvl0_0 | logic_fs__logic_fs__internal_done_n_merged_lvl0_1)) -> logic_fs__logic_fs__internal_done_n_merged- + } + // logic_fs__logic_fs__done := inv(logic_fs__logic_fs__internal_done_n_merged) delay(1.0 ns); + prs { + [after=1000]( ~logic_fs__logic_fs__internal_done_n_merged) -> logic_fs__logic_fs__done+ + [after=1000]( ~( ~logic_fs__logic_fs__internal_done_n_merged)) -> logic_fs__logic_fs__done- + } + // logic_fs__logic_fs__cell_12__b.T := and_gate(b1__a_in(1).T, logic_fs__logic_fs__b_in_1.T) delay(1.0 ns); + prs { + [after=1000](b1__a_in[1].t & logic_fs__logic_fs__b_in_1.t) -> logic_fs__logic_fs__cell_12__b.t+ + [after=1000]( ~(b1__a_in[1].t & logic_fs__logic_fs__b_in_1.t)) -> logic_fs__logic_fs__cell_12__b.t- + } + // logic_fs__logic_fs__cell_12__b.F := or_gate(b1__a_in(1).F, logic_fs__logic_fs__b_in_1.F) delay(1.0 ns); + prs { + [after=1000](b1__a_in[1].f | logic_fs__logic_fs__b_in_1.f) -> logic_fs__logic_fs__cell_12__b.f+ + [after=1000]( ~(b1__a_in[1].f | logic_fs__logic_fs__b_in_1.f)) -> logic_fs__logic_fs__cell_12__b.f- + } + // logic_fs__logic_fs__cell_13__b.T := and_gate(logic_fs__logic_fs__b_in_1.T, b1__a_in(2).T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__b_in_1.t & b1__a_in[2].t) -> logic_fs__logic_fs__cell_13__b.t+ + [after=1000]( ~(logic_fs__logic_fs__b_in_1.t & b1__a_in[2].t)) -> logic_fs__logic_fs__cell_13__b.t- + } + // logic_fs__logic_fs__cell_13__b.F := or_gate(logic_fs__logic_fs__b_in_1.F, b1__a_in(2).F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__b_in_1.f | b1__a_in[2].f) -> logic_fs__logic_fs__cell_13__b.f+ + [after=1000]( ~(logic_fs__logic_fs__b_in_1.f | b1__a_in[2].f)) -> logic_fs__logic_fs__cell_13__b.f- + } + // b1__s_in(0).T := and_gate(logic_fs__logic_fs__b_in_0.T, b1__a_in(0).T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__b_in_0.t & b1__a_in[0].t) -> b1__s_in[0].t+ + [after=1000]( ~(logic_fs__logic_fs__b_in_0.t & b1__a_in[0].t)) -> b1__s_in[0].t- + } + // b1__s_in(0).F := or_gate(logic_fs__logic_fs__b_in_0.F, b1__a_in(0).F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__b_in_0.f | b1__a_in[0].f) -> b1__s_in[0].f+ + [after=1000]( ~(logic_fs__logic_fs__b_in_0.f | b1__a_in[0].f)) -> b1__s_in[0].f- + } + // logic_fs__logic_fs__cell_12__a.T := and_gate(b1__a_in(2).T, logic_fs__logic_fs__b_in_0.T) delay(1.0 ns); + prs { + [after=1000](b1__a_in[2].t & logic_fs__logic_fs__b_in_0.t) -> logic_fs__logic_fs__cell_12__a.t+ + [after=1000]( ~(b1__a_in[2].t & logic_fs__logic_fs__b_in_0.t)) -> logic_fs__logic_fs__cell_12__a.t- + } + // logic_fs__logic_fs__cell_12__a.F := or_gate(b1__a_in(2).F, logic_fs__logic_fs__b_in_0.F) delay(1.0 ns); + prs { + [after=1000](b1__a_in[2].f | logic_fs__logic_fs__b_in_0.f) -> logic_fs__logic_fs__cell_12__a.f+ + [after=1000]( ~(b1__a_in[2].f | logic_fs__logic_fs__b_in_0.f)) -> logic_fs__logic_fs__cell_12__a.f- + } + // logic_fs__logic_fs__cell_13__a.T := and_gate(logic_fs__logic_fs__b_in_0.T, b1__a_in(3).T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__b_in_0.t & b1__a_in[3].t) -> logic_fs__logic_fs__cell_13__a.t+ + [after=1000]( ~(logic_fs__logic_fs__b_in_0.t & b1__a_in[3].t)) -> logic_fs__logic_fs__cell_13__a.t- + } + // logic_fs__logic_fs__cell_13__a.F := or_gate(logic_fs__logic_fs__b_in_0.F, b1__a_in(3).F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__b_in_0.f | b1__a_in[3].f) -> logic_fs__logic_fs__cell_13__a.f+ + [after=1000]( ~(logic_fs__logic_fs__b_in_0.f | b1__a_in[3].f)) -> logic_fs__logic_fs__cell_13__a.f- + } + // logic_fs__logic_fs__cell_07__b.T := and_gate(logic_fs__logic_fs__b_in_1.T, b1__a_in(3).T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__b_in_1.t & b1__a_in[3].t) -> logic_fs__logic_fs__cell_07__b.t+ + [after=1000]( ~(logic_fs__logic_fs__b_in_1.t & b1__a_in[3].t)) -> logic_fs__logic_fs__cell_07__b.t- + } + // logic_fs__logic_fs__cell_07__b.F := or_gate(logic_fs__logic_fs__b_in_1.F, b1__a_in(3).F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__b_in_1.f | b1__a_in[3].f) -> logic_fs__logic_fs__cell_07__b.f+ + [after=1000]( ~(logic_fs__logic_fs__b_in_1.f | b1__a_in[3].f)) -> logic_fs__logic_fs__cell_07__b.f- + } + // b1__s_in(5).T := and_gate(logic_fs__logic_fs__cell_07__a.T, logic_fs__logic_fs__cell_07__b.T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_07__a.t & logic_fs__logic_fs__cell_07__b.t) -> b1__s_in[5].t+ + [after=1000]( ~(logic_fs__logic_fs__cell_07__a.t & logic_fs__logic_fs__cell_07__b.t)) -> b1__s_in[5].t- + } + // b1__s_in(5).F := or_gate(logic_fs__logic_fs__cell_07__a.F, logic_fs__logic_fs__cell_07__b.F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_07__a.f | logic_fs__logic_fs__cell_07__b.f) -> b1__s_in[5].f+ + [after=1000]( ~(logic_fs__logic_fs__cell_07__a.f | logic_fs__logic_fs__cell_07__b.f)) -> b1__s_in[5].f- + } + // logic_fs__logic_fs__cell_07__nandFT := nand_gate(logic_fs__logic_fs__cell_07__a.F, logic_fs__logic_fs__cell_07__b.T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_fs__logic_fs__cell_07__a.f & logic_fs__logic_fs__cell_07__b.t)) -> logic_fs__logic_fs__cell_07__nandFT+ + [after=1000]( ~( ~(logic_fs__logic_fs__cell_07__a.f & logic_fs__logic_fs__cell_07__b.t))) -> logic_fs__logic_fs__cell_07__nandFT- + } + // logic_fs__logic_fs__cell_07__nandTF := nand_gate(logic_fs__logic_fs__cell_07__a.T, logic_fs__logic_fs__cell_07__b.F) delay(1.0 ns); + prs { + [after=1000]( ~(logic_fs__logic_fs__cell_07__a.t & logic_fs__logic_fs__cell_07__b.f)) -> logic_fs__logic_fs__cell_07__nandTF+ + [after=1000]( ~( ~(logic_fs__logic_fs__cell_07__a.t & logic_fs__logic_fs__cell_07__b.f))) -> logic_fs__logic_fs__cell_07__nandTF- + } + // b1__s_in(4).T := nand_gate(logic_fs__logic_fs__cell_07__nandFT, logic_fs__logic_fs__cell_07__nandTF) delay(1.0 ns); + prs { + [after=1000]( ~(logic_fs__logic_fs__cell_07__nandFT & logic_fs__logic_fs__cell_07__nandTF)) -> b1__s_in[4].t+ + [after=1000]( ~( ~(logic_fs__logic_fs__cell_07__nandFT & logic_fs__logic_fs__cell_07__nandTF))) -> b1__s_in[4].t- + } + // logic_fs__logic_fs__cell_07__nandTT := nand_gate(logic_fs__logic_fs__cell_07__a.T, logic_fs__logic_fs__cell_07__b.T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_fs__logic_fs__cell_07__a.t & logic_fs__logic_fs__cell_07__b.t)) -> logic_fs__logic_fs__cell_07__nandTT+ + [after=1000]( ~( ~(logic_fs__logic_fs__cell_07__a.t & logic_fs__logic_fs__cell_07__b.t))) -> logic_fs__logic_fs__cell_07__nandTT- + } + // logic_fs__logic_fs__cell_07__nandFF := nand_gate(logic_fs__logic_fs__cell_07__a.F, logic_fs__logic_fs__cell_07__b.F) delay(1.0 ns); + prs { + [after=1000]( ~(logic_fs__logic_fs__cell_07__a.f & logic_fs__logic_fs__cell_07__b.f)) -> logic_fs__logic_fs__cell_07__nandFF+ + [after=1000]( ~( ~(logic_fs__logic_fs__cell_07__a.f & logic_fs__logic_fs__cell_07__b.f))) -> logic_fs__logic_fs__cell_07__nandFF- + } + // b1__s_in(4).F := nand_gate(logic_fs__logic_fs__cell_07__nandTT, logic_fs__logic_fs__cell_07__nandFF) delay(1.0 ns); + prs { + [after=1000]( ~(logic_fs__logic_fs__cell_07__nandTT & logic_fs__logic_fs__cell_07__nandFF)) -> b1__s_in[4].f+ + [after=1000]( ~( ~(logic_fs__logic_fs__cell_07__nandTT & logic_fs__logic_fs__cell_07__nandFF))) -> b1__s_in[4].f- + } + // logic_fs__logic_fs__cell_11__a.T := and_gate(logic_fs__logic_fs__b_in_1.T, b1__a_in(0).T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__b_in_1.t & b1__a_in[0].t) -> logic_fs__logic_fs__cell_11__a.t+ + [after=1000]( ~(logic_fs__logic_fs__b_in_1.t & b1__a_in[0].t)) -> logic_fs__logic_fs__cell_11__a.t- + } + // logic_fs__logic_fs__cell_11__a.F := or_gate(logic_fs__logic_fs__b_in_1.F, b1__a_in(0).F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__b_in_1.f | b1__a_in[0].f) -> logic_fs__logic_fs__cell_11__a.f+ + [after=1000]( ~(logic_fs__logic_fs__b_in_1.f | b1__a_in[0].f)) -> logic_fs__logic_fs__cell_11__a.f- + } + // logic_fs__logic_fs__cell_11__b.T := and_gate(b1__a_in(1).T, logic_fs__logic_fs__b_in_0.T) delay(1.0 ns); + prs { + [after=1000](b1__a_in[1].t & logic_fs__logic_fs__b_in_0.t) -> logic_fs__logic_fs__cell_11__b.t+ + [after=1000]( ~(b1__a_in[1].t & logic_fs__logic_fs__b_in_0.t)) -> logic_fs__logic_fs__cell_11__b.t- + } + // logic_fs__logic_fs__cell_11__b.F := or_gate(b1__a_in(1).F, logic_fs__logic_fs__b_in_0.F) delay(1.0 ns); + prs { + [after=1000](b1__a_in[1].f | logic_fs__logic_fs__b_in_0.f) -> logic_fs__logic_fs__cell_11__b.f+ + [after=1000]( ~(b1__a_in[1].f | logic_fs__logic_fs__b_in_0.f)) -> logic_fs__logic_fs__cell_11__b.f- + } + // logic_fs__logic_fs__cell_12__c_in.T := and_gate(logic_fs__logic_fs__cell_12__b.T, b1__s_in(0).T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__b.t & b1__s_in[0].t) -> logic_fs__logic_fs__cell_12__c_in.t+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__b.t & b1__s_in[0].t)) -> logic_fs__logic_fs__cell_12__c_in.t- + } + // logic_fs__logic_fs__cell_12__c_in.F := or_gate(logic_fs__logic_fs__cell_12__b.F, b1__s_in(0).F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__b.f | b1__s_in[0].f) -> logic_fs__logic_fs__cell_12__c_in.f+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__b.f | b1__s_in[0].f)) -> logic_fs__logic_fs__cell_12__c_in.f- + } + // logic_fs__logic_fs__cell_11__nandFT := nand_gate(logic_fs__logic_fs__cell_11__a.F, logic_fs__logic_fs__cell_11__b.T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_fs__logic_fs__cell_11__a.f & logic_fs__logic_fs__cell_11__b.t)) -> logic_fs__logic_fs__cell_11__nandFT+ + [after=1000]( ~( ~(logic_fs__logic_fs__cell_11__a.f & logic_fs__logic_fs__cell_11__b.t))) -> logic_fs__logic_fs__cell_11__nandFT- + } + // logic_fs__logic_fs__cell_11__nandTF := nand_gate(logic_fs__logic_fs__cell_11__a.T, logic_fs__logic_fs__cell_11__b.F) delay(1.0 ns); + prs { + [after=1000]( ~(logic_fs__logic_fs__cell_11__a.t & logic_fs__logic_fs__cell_11__b.f)) -> logic_fs__logic_fs__cell_11__nandTF+ + [after=1000]( ~( ~(logic_fs__logic_fs__cell_11__a.t & logic_fs__logic_fs__cell_11__b.f))) -> logic_fs__logic_fs__cell_11__nandTF- + } + // b1__s_in(1).T := nand_gate(logic_fs__logic_fs__cell_11__nandFT, logic_fs__logic_fs__cell_11__nandTF) delay(1.0 ns); + prs { + [after=1000]( ~(logic_fs__logic_fs__cell_11__nandFT & logic_fs__logic_fs__cell_11__nandTF)) -> b1__s_in[1].t+ + [after=1000]( ~( ~(logic_fs__logic_fs__cell_11__nandFT & logic_fs__logic_fs__cell_11__nandTF))) -> b1__s_in[1].t- + } + // logic_fs__logic_fs__cell_11__nandTT := nand_gate(logic_fs__logic_fs__cell_11__a.T, logic_fs__logic_fs__cell_11__b.T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_fs__logic_fs__cell_11__a.t & logic_fs__logic_fs__cell_11__b.t)) -> logic_fs__logic_fs__cell_11__nandTT+ + [after=1000]( ~( ~(logic_fs__logic_fs__cell_11__a.t & logic_fs__logic_fs__cell_11__b.t))) -> logic_fs__logic_fs__cell_11__nandTT- + } + // logic_fs__logic_fs__cell_11__nandFF := nand_gate(logic_fs__logic_fs__cell_11__a.F, logic_fs__logic_fs__cell_11__b.F) delay(1.0 ns); + prs { + [after=1000]( ~(logic_fs__logic_fs__cell_11__a.f & logic_fs__logic_fs__cell_11__b.f)) -> logic_fs__logic_fs__cell_11__nandFF+ + [after=1000]( ~( ~(logic_fs__logic_fs__cell_11__a.f & logic_fs__logic_fs__cell_11__b.f))) -> logic_fs__logic_fs__cell_11__nandFF- + } + // b1__s_in(1).F := nand_gate(logic_fs__logic_fs__cell_11__nandTT, logic_fs__logic_fs__cell_11__nandFF) delay(1.0 ns); + prs { + [after=1000]( ~(logic_fs__logic_fs__cell_11__nandTT & logic_fs__logic_fs__cell_11__nandFF)) -> b1__s_in[1].f+ + [after=1000]( ~( ~(logic_fs__logic_fs__cell_11__nandTT & logic_fs__logic_fs__cell_11__nandFF))) -> b1__s_in[1].f- + } + // logic_fs__logic_fs__cell_12__aFbF := cgate(logic_fs__logic_fs__cell_12__a.F, logic_fs__logic_fs__cell_12__b.F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__a.f & logic_fs__logic_fs__cell_12__b.f) -> logic_fs__logic_fs__cell_12__aFbF+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__a.f | logic_fs__logic_fs__cell_12__b.f)) -> logic_fs__logic_fs__cell_12__aFbF- + } + // logic_fs__logic_fs__cell_12__aFbT := cgate(logic_fs__logic_fs__cell_12__a.F, logic_fs__logic_fs__cell_12__b.T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__a.f & logic_fs__logic_fs__cell_12__b.t) -> logic_fs__logic_fs__cell_12__aFbT+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__a.f | logic_fs__logic_fs__cell_12__b.t)) -> logic_fs__logic_fs__cell_12__aFbT- + } + // logic_fs__logic_fs__cell_12__aTbF := cgate(logic_fs__logic_fs__cell_12__a.T, logic_fs__logic_fs__cell_12__b.F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__a.t & logic_fs__logic_fs__cell_12__b.f) -> logic_fs__logic_fs__cell_12__aTbF+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__a.t | logic_fs__logic_fs__cell_12__b.f)) -> logic_fs__logic_fs__cell_12__aTbF- + } + // logic_fs__logic_fs__cell_12__aTbT := cgate(logic_fs__logic_fs__cell_12__a.T, logic_fs__logic_fs__cell_12__b.T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__a.t & logic_fs__logic_fs__cell_12__b.t) -> logic_fs__logic_fs__cell_12__aTbT+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__a.t | logic_fs__logic_fs__cell_12__b.t)) -> logic_fs__logic_fs__cell_12__aTbT- + } + // logic_fs__logic_fs__cell_12__x.F := or_gate(logic_fs__logic_fs__cell_12__aFbF, logic_fs__logic_fs__cell_12__aTbT) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__aFbF | logic_fs__logic_fs__cell_12__aTbT) -> logic_fs__logic_fs__cell_12__x.f+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__aFbF | logic_fs__logic_fs__cell_12__aTbT)) -> logic_fs__logic_fs__cell_12__x.f- + } + // logic_fs__logic_fs__cell_12__x.T := or_gate(logic_fs__logic_fs__cell_12__aFbT, logic_fs__logic_fs__cell_12__aTbF) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__aFbT | logic_fs__logic_fs__cell_12__aTbF) -> logic_fs__logic_fs__cell_12__x.t+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__aFbT | logic_fs__logic_fs__cell_12__aTbF)) -> logic_fs__logic_fs__cell_12__x.t- + } + // logic_fs__logic_fs__cell_12__y.T := and_gate(logic_fs__logic_fs__cell_12__a.T, logic_fs__logic_fs__cell_12__b.T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__a.t & logic_fs__logic_fs__cell_12__b.t) -> logic_fs__logic_fs__cell_12__y.t+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__a.t & logic_fs__logic_fs__cell_12__b.t)) -> logic_fs__logic_fs__cell_12__y.t- + } + // logic_fs__logic_fs__cell_12__y.F := or_gate(logic_fs__logic_fs__cell_12__a.F, logic_fs__logic_fs__cell_12__b.F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__a.f | logic_fs__logic_fs__cell_12__b.f) -> logic_fs__logic_fs__cell_12__y.f+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__a.f | logic_fs__logic_fs__cell_12__b.f)) -> logic_fs__logic_fs__cell_12__y.f- + } + // logic_fs__logic_fs__cell_12__xFcF := cgate(logic_fs__logic_fs__cell_12__x.F, logic_fs__logic_fs__cell_12__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__x.f & logic_fs__logic_fs__cell_12__c_in.f) -> logic_fs__logic_fs__cell_12__xFcF+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__x.f | logic_fs__logic_fs__cell_12__c_in.f)) -> logic_fs__logic_fs__cell_12__xFcF- + } + // logic_fs__logic_fs__cell_12__xFcT := cgate(logic_fs__logic_fs__cell_12__x.F, logic_fs__logic_fs__cell_12__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__x.f & logic_fs__logic_fs__cell_12__c_in.t) -> logic_fs__logic_fs__cell_12__xFcT+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__x.f | logic_fs__logic_fs__cell_12__c_in.t)) -> logic_fs__logic_fs__cell_12__xFcT- + } + // logic_fs__logic_fs__cell_12__xTcF := cgate(logic_fs__logic_fs__cell_12__x.T, logic_fs__logic_fs__cell_12__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__x.t & logic_fs__logic_fs__cell_12__c_in.f) -> logic_fs__logic_fs__cell_12__xTcF+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__x.t | logic_fs__logic_fs__cell_12__c_in.f)) -> logic_fs__logic_fs__cell_12__xTcF- + } + // logic_fs__logic_fs__cell_12__xTcT := cgate(logic_fs__logic_fs__cell_12__x.T, logic_fs__logic_fs__cell_12__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__x.t & logic_fs__logic_fs__cell_12__c_in.t) -> logic_fs__logic_fs__cell_12__xTcT+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__x.t | logic_fs__logic_fs__cell_12__c_in.t)) -> logic_fs__logic_fs__cell_12__xTcT- + } + // b1__s_in(2).T := or_gate(logic_fs__logic_fs__cell_12__xFcT, logic_fs__logic_fs__cell_12__xTcF) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__xFcT | logic_fs__logic_fs__cell_12__xTcF) -> b1__s_in[2].t+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__xFcT | logic_fs__logic_fs__cell_12__xTcF)) -> b1__s_in[2].t- + } + // b1__s_in(2).F := or_gate(logic_fs__logic_fs__cell_12__xFcF, logic_fs__logic_fs__cell_12__xTcT) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__xFcF | logic_fs__logic_fs__cell_12__xTcT) -> b1__s_in[2].f+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__xFcF | logic_fs__logic_fs__cell_12__xTcT)) -> b1__s_in[2].f- + } + // logic_fs__logic_fs__cell_12__z.T := and_gate(logic_fs__logic_fs__cell_12__x.T, logic_fs__logic_fs__cell_12__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__x.t & logic_fs__logic_fs__cell_12__c_in.t) -> logic_fs__logic_fs__cell_12__z.t+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__x.t & logic_fs__logic_fs__cell_12__c_in.t)) -> logic_fs__logic_fs__cell_12__z.t- + } + // logic_fs__logic_fs__cell_12__z.F := or_gate(logic_fs__logic_fs__cell_12__x.F, logic_fs__logic_fs__cell_12__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__x.f | logic_fs__logic_fs__cell_12__c_in.f) -> logic_fs__logic_fs__cell_12__z.f+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__x.f | logic_fs__logic_fs__cell_12__c_in.f)) -> logic_fs__logic_fs__cell_12__z.f- + } + // logic_fs__logic_fs__cell_13__c_in.F := cgate(logic_fs__logic_fs__cell_12__y.F, logic_fs__logic_fs__cell_12__z.F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__y.f & logic_fs__logic_fs__cell_12__z.f) -> logic_fs__logic_fs__cell_13__c_in.f+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__y.f | logic_fs__logic_fs__cell_12__z.f)) -> logic_fs__logic_fs__cell_13__c_in.f- + } + // logic_fs__logic_fs__cell_12__yFzT := cgate(logic_fs__logic_fs__cell_12__y.F, logic_fs__logic_fs__cell_12__z.T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__y.f & logic_fs__logic_fs__cell_12__z.t) -> logic_fs__logic_fs__cell_12__yFzT+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__y.f | logic_fs__logic_fs__cell_12__z.t)) -> logic_fs__logic_fs__cell_12__yFzT- + } + // logic_fs__logic_fs__cell_12__yTzF := cgate(logic_fs__logic_fs__cell_12__y.T, logic_fs__logic_fs__cell_12__z.F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__y.t & logic_fs__logic_fs__cell_12__z.f) -> logic_fs__logic_fs__cell_12__yTzF+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__y.t | logic_fs__logic_fs__cell_12__z.f)) -> logic_fs__logic_fs__cell_12__yTzF- + } + // logic_fs__logic_fs__cell_12__yTzT := cgate(logic_fs__logic_fs__cell_12__y.T, logic_fs__logic_fs__cell_12__z.T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__y.t & logic_fs__logic_fs__cell_12__z.t) -> logic_fs__logic_fs__cell_12__yTzT+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__y.t | logic_fs__logic_fs__cell_12__z.t)) -> logic_fs__logic_fs__cell_12__yTzT- + } + // logic_fs__logic_fs__cell_13__c_in.T := or_gate(logic_fs__logic_fs__cell_12__yFzT, logic_fs__logic_fs__cell_12__yTzF, logic_fs__logic_fs__cell_12__yTzT) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_12__yFzT | logic_fs__logic_fs__cell_12__yTzF | logic_fs__logic_fs__cell_12__yTzT) -> logic_fs__logic_fs__cell_13__c_in.t+ + [after=1000]( ~(logic_fs__logic_fs__cell_12__yFzT | logic_fs__logic_fs__cell_12__yTzF | logic_fs__logic_fs__cell_12__yTzT)) -> logic_fs__logic_fs__cell_13__c_in.t- + } + // logic_fs__logic_fs__cell_13__aFbF := cgate(logic_fs__logic_fs__cell_13__a.F, logic_fs__logic_fs__cell_13__b.F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_13__a.f & logic_fs__logic_fs__cell_13__b.f) -> logic_fs__logic_fs__cell_13__aFbF+ + [after=1000]( ~(logic_fs__logic_fs__cell_13__a.f | logic_fs__logic_fs__cell_13__b.f)) -> logic_fs__logic_fs__cell_13__aFbF- + } + // logic_fs__logic_fs__cell_13__aFbT := cgate(logic_fs__logic_fs__cell_13__a.F, logic_fs__logic_fs__cell_13__b.T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_13__a.f & logic_fs__logic_fs__cell_13__b.t) -> logic_fs__logic_fs__cell_13__aFbT+ + [after=1000]( ~(logic_fs__logic_fs__cell_13__a.f | logic_fs__logic_fs__cell_13__b.t)) -> logic_fs__logic_fs__cell_13__aFbT- + } + // logic_fs__logic_fs__cell_13__aTbF := cgate(logic_fs__logic_fs__cell_13__a.T, logic_fs__logic_fs__cell_13__b.F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_13__a.t & logic_fs__logic_fs__cell_13__b.f) -> logic_fs__logic_fs__cell_13__aTbF+ + [after=1000]( ~(logic_fs__logic_fs__cell_13__a.t | logic_fs__logic_fs__cell_13__b.f)) -> logic_fs__logic_fs__cell_13__aTbF- + } + // logic_fs__logic_fs__cell_13__aTbT := cgate(logic_fs__logic_fs__cell_13__a.T, logic_fs__logic_fs__cell_13__b.T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_13__a.t & logic_fs__logic_fs__cell_13__b.t) -> logic_fs__logic_fs__cell_13__aTbT+ + [after=1000]( ~(logic_fs__logic_fs__cell_13__a.t | logic_fs__logic_fs__cell_13__b.t)) -> logic_fs__logic_fs__cell_13__aTbT- + } + // logic_fs__logic_fs__cell_13__x.F := or_gate(logic_fs__logic_fs__cell_13__aFbF, logic_fs__logic_fs__cell_13__aTbT) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_13__aFbF | logic_fs__logic_fs__cell_13__aTbT) -> logic_fs__logic_fs__cell_13__x.f+ + [after=1000]( ~(logic_fs__logic_fs__cell_13__aFbF | logic_fs__logic_fs__cell_13__aTbT)) -> logic_fs__logic_fs__cell_13__x.f- + } + // logic_fs__logic_fs__cell_13__x.T := or_gate(logic_fs__logic_fs__cell_13__aFbT, logic_fs__logic_fs__cell_13__aTbF) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_13__aFbT | logic_fs__logic_fs__cell_13__aTbF) -> logic_fs__logic_fs__cell_13__x.t+ + [after=1000]( ~(logic_fs__logic_fs__cell_13__aFbT | logic_fs__logic_fs__cell_13__aTbF)) -> logic_fs__logic_fs__cell_13__x.t- + } + // logic_fs__logic_fs__cell_13__y.T := and_gate(logic_fs__logic_fs__cell_13__a.T, logic_fs__logic_fs__cell_13__b.T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_13__a.t & logic_fs__logic_fs__cell_13__b.t) -> logic_fs__logic_fs__cell_13__y.t+ + [after=1000]( ~(logic_fs__logic_fs__cell_13__a.t & logic_fs__logic_fs__cell_13__b.t)) -> logic_fs__logic_fs__cell_13__y.t- + } + // logic_fs__logic_fs__cell_13__y.F := or_gate(logic_fs__logic_fs__cell_13__a.F, logic_fs__logic_fs__cell_13__b.F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_13__a.f | logic_fs__logic_fs__cell_13__b.f) -> logic_fs__logic_fs__cell_13__y.f+ + [after=1000]( ~(logic_fs__logic_fs__cell_13__a.f | logic_fs__logic_fs__cell_13__b.f)) -> logic_fs__logic_fs__cell_13__y.f- + } + // logic_fs__logic_fs__cell_13__xFcF := cgate(logic_fs__logic_fs__cell_13__x.F, logic_fs__logic_fs__cell_13__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_13__x.f & logic_fs__logic_fs__cell_13__c_in.f) -> logic_fs__logic_fs__cell_13__xFcF+ + [after=1000]( ~(logic_fs__logic_fs__cell_13__x.f | logic_fs__logic_fs__cell_13__c_in.f)) -> logic_fs__logic_fs__cell_13__xFcF- + } + // logic_fs__logic_fs__cell_13__xFcT := cgate(logic_fs__logic_fs__cell_13__x.F, logic_fs__logic_fs__cell_13__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_13__x.f & logic_fs__logic_fs__cell_13__c_in.t) -> logic_fs__logic_fs__cell_13__xFcT+ + [after=1000]( ~(logic_fs__logic_fs__cell_13__x.f | logic_fs__logic_fs__cell_13__c_in.t)) -> logic_fs__logic_fs__cell_13__xFcT- + } + // logic_fs__logic_fs__cell_13__xTcF := cgate(logic_fs__logic_fs__cell_13__x.T, logic_fs__logic_fs__cell_13__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_13__x.t & logic_fs__logic_fs__cell_13__c_in.f) -> logic_fs__logic_fs__cell_13__xTcF+ + [after=1000]( ~(logic_fs__logic_fs__cell_13__x.t | logic_fs__logic_fs__cell_13__c_in.f)) -> logic_fs__logic_fs__cell_13__xTcF- + } + // logic_fs__logic_fs__cell_13__xTcT := cgate(logic_fs__logic_fs__cell_13__x.T, logic_fs__logic_fs__cell_13__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_13__x.t & logic_fs__logic_fs__cell_13__c_in.t) -> logic_fs__logic_fs__cell_13__xTcT+ + [after=1000]( ~(logic_fs__logic_fs__cell_13__x.t | logic_fs__logic_fs__cell_13__c_in.t)) -> logic_fs__logic_fs__cell_13__xTcT- + } + // b1__s_in(3).T := or_gate(logic_fs__logic_fs__cell_13__xFcT, logic_fs__logic_fs__cell_13__xTcF) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_13__xFcT | logic_fs__logic_fs__cell_13__xTcF) -> b1__s_in[3].t+ + [after=1000]( ~(logic_fs__logic_fs__cell_13__xFcT | logic_fs__logic_fs__cell_13__xTcF)) -> b1__s_in[3].t- + } + // b1__s_in(3).F := or_gate(logic_fs__logic_fs__cell_13__xFcF, logic_fs__logic_fs__cell_13__xTcT) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_13__xFcF | logic_fs__logic_fs__cell_13__xTcT) -> b1__s_in[3].f+ + [after=1000]( ~(logic_fs__logic_fs__cell_13__xFcF | logic_fs__logic_fs__cell_13__xTcT)) -> b1__s_in[3].f- + } + // logic_fs__logic_fs__cell_13__z.T := and_gate(logic_fs__logic_fs__cell_13__x.T, logic_fs__logic_fs__cell_13__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_13__x.t & logic_fs__logic_fs__cell_13__c_in.t) -> logic_fs__logic_fs__cell_13__z.t+ + [after=1000]( ~(logic_fs__logic_fs__cell_13__x.t & logic_fs__logic_fs__cell_13__c_in.t)) -> logic_fs__logic_fs__cell_13__z.t- + } + // logic_fs__logic_fs__cell_13__z.F := or_gate(logic_fs__logic_fs__cell_13__x.F, logic_fs__logic_fs__cell_13__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_13__x.f | logic_fs__logic_fs__cell_13__c_in.f) -> logic_fs__logic_fs__cell_13__z.f+ + [after=1000]( ~(logic_fs__logic_fs__cell_13__x.f | logic_fs__logic_fs__cell_13__c_in.f)) -> logic_fs__logic_fs__cell_13__z.f- + } + // logic_fs__logic_fs__cell_07__a.F := cgate(logic_fs__logic_fs__cell_13__y.F, logic_fs__logic_fs__cell_13__z.F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_13__y.f & logic_fs__logic_fs__cell_13__z.f) -> logic_fs__logic_fs__cell_07__a.f+ + [after=1000]( ~(logic_fs__logic_fs__cell_13__y.f | logic_fs__logic_fs__cell_13__z.f)) -> logic_fs__logic_fs__cell_07__a.f- + } + // logic_fs__logic_fs__cell_13__yFzT := cgate(logic_fs__logic_fs__cell_13__y.F, logic_fs__logic_fs__cell_13__z.T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_13__y.f & logic_fs__logic_fs__cell_13__z.t) -> logic_fs__logic_fs__cell_13__yFzT+ + [after=1000]( ~(logic_fs__logic_fs__cell_13__y.f | logic_fs__logic_fs__cell_13__z.t)) -> logic_fs__logic_fs__cell_13__yFzT- + } + // logic_fs__logic_fs__cell_13__yTzF := cgate(logic_fs__logic_fs__cell_13__y.T, logic_fs__logic_fs__cell_13__z.F) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_13__y.t & logic_fs__logic_fs__cell_13__z.f) -> logic_fs__logic_fs__cell_13__yTzF+ + [after=1000]( ~(logic_fs__logic_fs__cell_13__y.t | logic_fs__logic_fs__cell_13__z.f)) -> logic_fs__logic_fs__cell_13__yTzF- + } + // logic_fs__logic_fs__cell_13__yTzT := cgate(logic_fs__logic_fs__cell_13__y.T, logic_fs__logic_fs__cell_13__z.T) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_13__y.t & logic_fs__logic_fs__cell_13__z.t) -> logic_fs__logic_fs__cell_13__yTzT+ + [after=1000]( ~(logic_fs__logic_fs__cell_13__y.t | logic_fs__logic_fs__cell_13__z.t)) -> logic_fs__logic_fs__cell_13__yTzT- + } + // logic_fs__logic_fs__cell_07__a.T := or_gate(logic_fs__logic_fs__cell_13__yFzT, logic_fs__logic_fs__cell_13__yTzF, logic_fs__logic_fs__cell_13__yTzT) delay(1.0 ns); + prs { + [after=1000](logic_fs__logic_fs__cell_13__yFzT | logic_fs__logic_fs__cell_13__yTzF | logic_fs__logic_fs__cell_13__yTzT) -> logic_fs__logic_fs__cell_07__a.t+ + [after=1000]( ~(logic_fs__logic_fs__cell_13__yFzT | logic_fs__logic_fs__cell_13__yTzF | logic_fs__logic_fs__cell_13__yTzT)) -> logic_fs__logic_fs__cell_07__a.t- + } + // logic_ms_1__logic_ms_1__done := or_gate(logic_ms_1__logic_ms_1__cell_5__b.T, logic_ms_1__logic_ms_1__cell_5__b.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_5__b.t | logic_ms_1__logic_ms_1__cell_5__b.f) -> logic_ms_1__logic_ms_1__done+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_5__b.t | logic_ms_1__logic_ms_1__cell_5__b.f)) -> logic_ms_1__logic_ms_1__done- + } + // logic_ms_1__logic_ms_1__cell_6__a.T := and_gate(b2__a_in(1).T, logic_ms_1__logic_ms_1__b_in_0.T) delay(1.0 ns); + prs { + [after=1000](b2__a_in[1].t & logic_ms_1__logic_ms_1__b_in_0.t) -> logic_ms_1__logic_ms_1__cell_6__a.t+ + [after=1000]( ~(b2__a_in[1].t & logic_ms_1__logic_ms_1__b_in_0.t)) -> logic_ms_1__logic_ms_1__cell_6__a.t- + } + // logic_ms_1__logic_ms_1__cell_6__a.F := or_gate(b2__a_in(1).F, logic_ms_1__logic_ms_1__b_in_0.F) delay(1.0 ns); + prs { + [after=1000](b2__a_in[1].f | logic_ms_1__logic_ms_1__b_in_0.f) -> logic_ms_1__logic_ms_1__cell_6__a.f+ + [after=1000]( ~(b2__a_in[1].f | logic_ms_1__logic_ms_1__b_in_0.f)) -> logic_ms_1__logic_ms_1__cell_6__a.f- + } + // logic_ms_1__logic_ms_1__cell_7__a.T := and_gate(logic_ms_1__logic_ms_1__b_in_0.T, b2__a_in(2).T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__b_in_0.t & b2__a_in[2].t) -> logic_ms_1__logic_ms_1__cell_7__a.t+ + [after=1000]( ~(logic_ms_1__logic_ms_1__b_in_0.t & b2__a_in[2].t)) -> logic_ms_1__logic_ms_1__cell_7__a.t- + } + // logic_ms_1__logic_ms_1__cell_7__a.F := or_gate(logic_ms_1__logic_ms_1__b_in_0.F, b2__a_in(2).F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__b_in_0.f | b2__a_in[2].f) -> logic_ms_1__logic_ms_1__cell_7__a.f+ + [after=1000]( ~(logic_ms_1__logic_ms_1__b_in_0.f | b2__a_in[2].f)) -> logic_ms_1__logic_ms_1__cell_7__a.f- + } + // logic_ms_1__logic_ms_1__cell_8__a.T := and_gate(logic_ms_1__logic_ms_1__b_in_0.T, b2__a_in(3).T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__b_in_0.t & b2__a_in[3].t) -> logic_ms_1__logic_ms_1__cell_8__a.t+ + [after=1000]( ~(logic_ms_1__logic_ms_1__b_in_0.t & b2__a_in[3].t)) -> logic_ms_1__logic_ms_1__cell_8__a.t- + } + // logic_ms_1__logic_ms_1__cell_8__a.F := or_gate(logic_ms_1__logic_ms_1__b_in_0.F, b2__a_in(3).F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__b_in_0.f | b2__a_in[3].f) -> logic_ms_1__logic_ms_1__cell_8__a.f+ + [after=1000]( ~(logic_ms_1__logic_ms_1__b_in_0.f | b2__a_in[3].f)) -> logic_ms_1__logic_ms_1__cell_8__a.f- + } + // logic_ms_1__logic_ms_1__cell_5__b.T := and_gate(logic_ms_1__logic_ms_1__b_in_0.T, b2__a_in(0).T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__b_in_0.t & b2__a_in[0].t) -> logic_ms_1__logic_ms_1__cell_5__b.t+ + [after=1000]( ~(logic_ms_1__logic_ms_1__b_in_0.t & b2__a_in[0].t)) -> logic_ms_1__logic_ms_1__cell_5__b.t- + } + // logic_ms_1__logic_ms_1__cell_5__b.F := or_gate(logic_ms_1__logic_ms_1__b_in_0.F, b2__a_in(0).F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__b_in_0.f | b2__a_in[0].f) -> logic_ms_1__logic_ms_1__cell_5__b.f+ + [after=1000]( ~(logic_ms_1__logic_ms_1__b_in_0.f | b2__a_in[0].f)) -> logic_ms_1__logic_ms_1__cell_5__b.f- + } + // logic_ms_1__logic_ms_1__cell_6__c_in.T := and_gate(logic_ms_1__logic_ms_1__s_in_2.T, logic_ms_1__logic_ms_1__cell_5__b.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__s_in_2.t & logic_ms_1__logic_ms_1__cell_5__b.t) -> logic_ms_1__logic_ms_1__cell_6__c_in.t+ + [after=1000]( ~(logic_ms_1__logic_ms_1__s_in_2.t & logic_ms_1__logic_ms_1__cell_5__b.t)) -> logic_ms_1__logic_ms_1__cell_6__c_in.t- + } + // logic_ms_1__logic_ms_1__cell_6__c_in.F := or_gate(logic_ms_1__logic_ms_1__s_in_2.F, logic_ms_1__logic_ms_1__cell_5__b.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__s_in_2.f | logic_ms_1__logic_ms_1__cell_5__b.f) -> logic_ms_1__logic_ms_1__cell_6__c_in.f+ + [after=1000]( ~(logic_ms_1__logic_ms_1__s_in_2.f | logic_ms_1__logic_ms_1__cell_5__b.f)) -> logic_ms_1__logic_ms_1__cell_6__c_in.f- + } + // logic_ms_1__logic_ms_1__cell_5__nandFT := nand_gate(logic_ms_1__logic_ms_1__s_in_2.F, logic_ms_1__logic_ms_1__cell_5__b.T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ms_1__logic_ms_1__s_in_2.f & logic_ms_1__logic_ms_1__cell_5__b.t)) -> logic_ms_1__logic_ms_1__cell_5__nandFT+ + [after=1000]( ~( ~(logic_ms_1__logic_ms_1__s_in_2.f & logic_ms_1__logic_ms_1__cell_5__b.t))) -> logic_ms_1__logic_ms_1__cell_5__nandFT- + } + // logic_ms_1__logic_ms_1__cell_5__nandTF := nand_gate(logic_ms_1__logic_ms_1__s_in_2.T, logic_ms_1__logic_ms_1__cell_5__b.F) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ms_1__logic_ms_1__s_in_2.t & logic_ms_1__logic_ms_1__cell_5__b.f)) -> logic_ms_1__logic_ms_1__cell_5__nandTF+ + [after=1000]( ~( ~(logic_ms_1__logic_ms_1__s_in_2.t & logic_ms_1__logic_ms_1__cell_5__b.f))) -> logic_ms_1__logic_ms_1__cell_5__nandTF- + } + // b2__s_in(2).T := nand_gate(logic_ms_1__logic_ms_1__cell_5__nandFT, logic_ms_1__logic_ms_1__cell_5__nandTF) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_5__nandFT & logic_ms_1__logic_ms_1__cell_5__nandTF)) -> b2__s_in[2].t+ + [after=1000]( ~( ~(logic_ms_1__logic_ms_1__cell_5__nandFT & logic_ms_1__logic_ms_1__cell_5__nandTF))) -> b2__s_in[2].t- + } + // logic_ms_1__logic_ms_1__cell_5__nandTT := nand_gate(logic_ms_1__logic_ms_1__s_in_2.T, logic_ms_1__logic_ms_1__cell_5__b.T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ms_1__logic_ms_1__s_in_2.t & logic_ms_1__logic_ms_1__cell_5__b.t)) -> logic_ms_1__logic_ms_1__cell_5__nandTT+ + [after=1000]( ~( ~(logic_ms_1__logic_ms_1__s_in_2.t & logic_ms_1__logic_ms_1__cell_5__b.t))) -> logic_ms_1__logic_ms_1__cell_5__nandTT- + } + // logic_ms_1__logic_ms_1__cell_5__nandFF := nand_gate(logic_ms_1__logic_ms_1__s_in_2.F, logic_ms_1__logic_ms_1__cell_5__b.F) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ms_1__logic_ms_1__s_in_2.f & logic_ms_1__logic_ms_1__cell_5__b.f)) -> logic_ms_1__logic_ms_1__cell_5__nandFF+ + [after=1000]( ~( ~(logic_ms_1__logic_ms_1__s_in_2.f & logic_ms_1__logic_ms_1__cell_5__b.f))) -> logic_ms_1__logic_ms_1__cell_5__nandFF- + } + // b2__s_in(2).F := nand_gate(logic_ms_1__logic_ms_1__cell_5__nandTT, logic_ms_1__logic_ms_1__cell_5__nandFF) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_5__nandTT & logic_ms_1__logic_ms_1__cell_5__nandFF)) -> b2__s_in[2].f+ + [after=1000]( ~( ~(logic_ms_1__logic_ms_1__cell_5__nandTT & logic_ms_1__logic_ms_1__cell_5__nandFF))) -> b2__s_in[2].f- + } + // logic_ms_1__logic_ms_1__cell_6__aFbF := cgate(logic_ms_1__logic_ms_1__cell_6__a.F, logic_ms_1__logic_ms_1__s_in_3.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_6__a.f & logic_ms_1__logic_ms_1__s_in_3.f) -> logic_ms_1__logic_ms_1__cell_6__aFbF+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_6__a.f | logic_ms_1__logic_ms_1__s_in_3.f)) -> logic_ms_1__logic_ms_1__cell_6__aFbF- + } + // logic_ms_1__logic_ms_1__cell_6__aFbT := cgate(logic_ms_1__logic_ms_1__cell_6__a.F, logic_ms_1__logic_ms_1__s_in_3.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_6__a.f & logic_ms_1__logic_ms_1__s_in_3.t) -> logic_ms_1__logic_ms_1__cell_6__aFbT+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_6__a.f | logic_ms_1__logic_ms_1__s_in_3.t)) -> logic_ms_1__logic_ms_1__cell_6__aFbT- + } + // logic_ms_1__logic_ms_1__cell_6__aTbF := cgate(logic_ms_1__logic_ms_1__cell_6__a.T, logic_ms_1__logic_ms_1__s_in_3.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_6__a.t & logic_ms_1__logic_ms_1__s_in_3.f) -> logic_ms_1__logic_ms_1__cell_6__aTbF+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_6__a.t | logic_ms_1__logic_ms_1__s_in_3.f)) -> logic_ms_1__logic_ms_1__cell_6__aTbF- + } + // logic_ms_1__logic_ms_1__cell_6__aTbT := cgate(logic_ms_1__logic_ms_1__cell_6__a.T, logic_ms_1__logic_ms_1__s_in_3.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_6__a.t & logic_ms_1__logic_ms_1__s_in_3.t) -> logic_ms_1__logic_ms_1__cell_6__aTbT+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_6__a.t | logic_ms_1__logic_ms_1__s_in_3.t)) -> logic_ms_1__logic_ms_1__cell_6__aTbT- + } + // logic_ms_1__logic_ms_1__cell_6__x.F := or_gate(logic_ms_1__logic_ms_1__cell_6__aFbF, logic_ms_1__logic_ms_1__cell_6__aTbT) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_6__aFbF | logic_ms_1__logic_ms_1__cell_6__aTbT) -> logic_ms_1__logic_ms_1__cell_6__x.f+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_6__aFbF | logic_ms_1__logic_ms_1__cell_6__aTbT)) -> logic_ms_1__logic_ms_1__cell_6__x.f- + } + // logic_ms_1__logic_ms_1__cell_6__x.T := or_gate(logic_ms_1__logic_ms_1__cell_6__aFbT, logic_ms_1__logic_ms_1__cell_6__aTbF) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_6__aFbT | logic_ms_1__logic_ms_1__cell_6__aTbF) -> logic_ms_1__logic_ms_1__cell_6__x.t+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_6__aFbT | logic_ms_1__logic_ms_1__cell_6__aTbF)) -> logic_ms_1__logic_ms_1__cell_6__x.t- + } + // logic_ms_1__logic_ms_1__cell_6__y.T := and_gate(logic_ms_1__logic_ms_1__cell_6__a.T, logic_ms_1__logic_ms_1__s_in_3.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_6__a.t & logic_ms_1__logic_ms_1__s_in_3.t) -> logic_ms_1__logic_ms_1__cell_6__y.t+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_6__a.t & logic_ms_1__logic_ms_1__s_in_3.t)) -> logic_ms_1__logic_ms_1__cell_6__y.t- + } + // logic_ms_1__logic_ms_1__cell_6__y.F := or_gate(logic_ms_1__logic_ms_1__cell_6__a.F, logic_ms_1__logic_ms_1__s_in_3.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_6__a.f | logic_ms_1__logic_ms_1__s_in_3.f) -> logic_ms_1__logic_ms_1__cell_6__y.f+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_6__a.f | logic_ms_1__logic_ms_1__s_in_3.f)) -> logic_ms_1__logic_ms_1__cell_6__y.f- + } + // logic_ms_1__logic_ms_1__cell_6__xFcF := cgate(logic_ms_1__logic_ms_1__cell_6__x.F, logic_ms_1__logic_ms_1__cell_6__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_6__x.f & logic_ms_1__logic_ms_1__cell_6__c_in.f) -> logic_ms_1__logic_ms_1__cell_6__xFcF+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_6__x.f | logic_ms_1__logic_ms_1__cell_6__c_in.f)) -> logic_ms_1__logic_ms_1__cell_6__xFcF- + } + // logic_ms_1__logic_ms_1__cell_6__xFcT := cgate(logic_ms_1__logic_ms_1__cell_6__x.F, logic_ms_1__logic_ms_1__cell_6__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_6__x.f & logic_ms_1__logic_ms_1__cell_6__c_in.t) -> logic_ms_1__logic_ms_1__cell_6__xFcT+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_6__x.f | logic_ms_1__logic_ms_1__cell_6__c_in.t)) -> logic_ms_1__logic_ms_1__cell_6__xFcT- + } + // logic_ms_1__logic_ms_1__cell_6__xTcF := cgate(logic_ms_1__logic_ms_1__cell_6__x.T, logic_ms_1__logic_ms_1__cell_6__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_6__x.t & logic_ms_1__logic_ms_1__cell_6__c_in.f) -> logic_ms_1__logic_ms_1__cell_6__xTcF+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_6__x.t | logic_ms_1__logic_ms_1__cell_6__c_in.f)) -> logic_ms_1__logic_ms_1__cell_6__xTcF- + } + // logic_ms_1__logic_ms_1__cell_6__xTcT := cgate(logic_ms_1__logic_ms_1__cell_6__x.T, logic_ms_1__logic_ms_1__cell_6__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_6__x.t & logic_ms_1__logic_ms_1__cell_6__c_in.t) -> logic_ms_1__logic_ms_1__cell_6__xTcT+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_6__x.t | logic_ms_1__logic_ms_1__cell_6__c_in.t)) -> logic_ms_1__logic_ms_1__cell_6__xTcT- + } + // b2__s_in(3).T := or_gate(logic_ms_1__logic_ms_1__cell_6__xFcT, logic_ms_1__logic_ms_1__cell_6__xTcF) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_6__xFcT | logic_ms_1__logic_ms_1__cell_6__xTcF) -> b2__s_in[3].t+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_6__xFcT | logic_ms_1__logic_ms_1__cell_6__xTcF)) -> b2__s_in[3].t- + } + // b2__s_in(3).F := or_gate(logic_ms_1__logic_ms_1__cell_6__xFcF, logic_ms_1__logic_ms_1__cell_6__xTcT) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_6__xFcF | logic_ms_1__logic_ms_1__cell_6__xTcT) -> b2__s_in[3].f+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_6__xFcF | logic_ms_1__logic_ms_1__cell_6__xTcT)) -> b2__s_in[3].f- + } + // logic_ms_1__logic_ms_1__cell_6__z.T := and_gate(logic_ms_1__logic_ms_1__cell_6__x.T, logic_ms_1__logic_ms_1__cell_6__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_6__x.t & logic_ms_1__logic_ms_1__cell_6__c_in.t) -> logic_ms_1__logic_ms_1__cell_6__z.t+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_6__x.t & logic_ms_1__logic_ms_1__cell_6__c_in.t)) -> logic_ms_1__logic_ms_1__cell_6__z.t- + } + // logic_ms_1__logic_ms_1__cell_6__z.F := or_gate(logic_ms_1__logic_ms_1__cell_6__x.F, logic_ms_1__logic_ms_1__cell_6__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_6__x.f | logic_ms_1__logic_ms_1__cell_6__c_in.f) -> logic_ms_1__logic_ms_1__cell_6__z.f+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_6__x.f | logic_ms_1__logic_ms_1__cell_6__c_in.f)) -> logic_ms_1__logic_ms_1__cell_6__z.f- + } + // logic_ms_1__logic_ms_1__cell_7__c_in.F := cgate(logic_ms_1__logic_ms_1__cell_6__y.F, logic_ms_1__logic_ms_1__cell_6__z.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_6__y.f & logic_ms_1__logic_ms_1__cell_6__z.f) -> logic_ms_1__logic_ms_1__cell_7__c_in.f+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_6__y.f | logic_ms_1__logic_ms_1__cell_6__z.f)) -> logic_ms_1__logic_ms_1__cell_7__c_in.f- + } + // logic_ms_1__logic_ms_1__cell_6__yFzT := cgate(logic_ms_1__logic_ms_1__cell_6__y.F, logic_ms_1__logic_ms_1__cell_6__z.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_6__y.f & logic_ms_1__logic_ms_1__cell_6__z.t) -> logic_ms_1__logic_ms_1__cell_6__yFzT+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_6__y.f | logic_ms_1__logic_ms_1__cell_6__z.t)) -> logic_ms_1__logic_ms_1__cell_6__yFzT- + } + // logic_ms_1__logic_ms_1__cell_6__yTzF := cgate(logic_ms_1__logic_ms_1__cell_6__y.T, logic_ms_1__logic_ms_1__cell_6__z.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_6__y.t & logic_ms_1__logic_ms_1__cell_6__z.f) -> logic_ms_1__logic_ms_1__cell_6__yTzF+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_6__y.t | logic_ms_1__logic_ms_1__cell_6__z.f)) -> logic_ms_1__logic_ms_1__cell_6__yTzF- + } + // logic_ms_1__logic_ms_1__cell_6__yTzT := cgate(logic_ms_1__logic_ms_1__cell_6__y.T, logic_ms_1__logic_ms_1__cell_6__z.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_6__y.t & logic_ms_1__logic_ms_1__cell_6__z.t) -> logic_ms_1__logic_ms_1__cell_6__yTzT+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_6__y.t | logic_ms_1__logic_ms_1__cell_6__z.t)) -> logic_ms_1__logic_ms_1__cell_6__yTzT- + } + // logic_ms_1__logic_ms_1__cell_7__c_in.T := or_gate(logic_ms_1__logic_ms_1__cell_6__yFzT, logic_ms_1__logic_ms_1__cell_6__yTzF, logic_ms_1__logic_ms_1__cell_6__yTzT) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_6__yFzT | logic_ms_1__logic_ms_1__cell_6__yTzF | logic_ms_1__logic_ms_1__cell_6__yTzT) -> logic_ms_1__logic_ms_1__cell_7__c_in.t+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_6__yFzT | logic_ms_1__logic_ms_1__cell_6__yTzF | logic_ms_1__logic_ms_1__cell_6__yTzT)) -> logic_ms_1__logic_ms_1__cell_7__c_in.t- + } + // logic_ms_1__logic_ms_1__cell_7__aFbF := cgate(logic_ms_1__logic_ms_1__cell_7__a.F, logic_ms_1__logic_ms_1__s_in_4.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_7__a.f & logic_ms_1__logic_ms_1__s_in_4.f) -> logic_ms_1__logic_ms_1__cell_7__aFbF+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_7__a.f | logic_ms_1__logic_ms_1__s_in_4.f)) -> logic_ms_1__logic_ms_1__cell_7__aFbF- + } + // logic_ms_1__logic_ms_1__cell_7__aFbT := cgate(logic_ms_1__logic_ms_1__cell_7__a.F, logic_ms_1__logic_ms_1__s_in_4.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_7__a.f & logic_ms_1__logic_ms_1__s_in_4.t) -> logic_ms_1__logic_ms_1__cell_7__aFbT+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_7__a.f | logic_ms_1__logic_ms_1__s_in_4.t)) -> logic_ms_1__logic_ms_1__cell_7__aFbT- + } + // logic_ms_1__logic_ms_1__cell_7__aTbF := cgate(logic_ms_1__logic_ms_1__cell_7__a.T, logic_ms_1__logic_ms_1__s_in_4.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_7__a.t & logic_ms_1__logic_ms_1__s_in_4.f) -> logic_ms_1__logic_ms_1__cell_7__aTbF+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_7__a.t | logic_ms_1__logic_ms_1__s_in_4.f)) -> logic_ms_1__logic_ms_1__cell_7__aTbF- + } + // logic_ms_1__logic_ms_1__cell_7__aTbT := cgate(logic_ms_1__logic_ms_1__cell_7__a.T, logic_ms_1__logic_ms_1__s_in_4.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_7__a.t & logic_ms_1__logic_ms_1__s_in_4.t) -> logic_ms_1__logic_ms_1__cell_7__aTbT+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_7__a.t | logic_ms_1__logic_ms_1__s_in_4.t)) -> logic_ms_1__logic_ms_1__cell_7__aTbT- + } + // logic_ms_1__logic_ms_1__cell_7__x.F := or_gate(logic_ms_1__logic_ms_1__cell_7__aFbF, logic_ms_1__logic_ms_1__cell_7__aTbT) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_7__aFbF | logic_ms_1__logic_ms_1__cell_7__aTbT) -> logic_ms_1__logic_ms_1__cell_7__x.f+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_7__aFbF | logic_ms_1__logic_ms_1__cell_7__aTbT)) -> logic_ms_1__logic_ms_1__cell_7__x.f- + } + // logic_ms_1__logic_ms_1__cell_7__x.T := or_gate(logic_ms_1__logic_ms_1__cell_7__aFbT, logic_ms_1__logic_ms_1__cell_7__aTbF) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_7__aFbT | logic_ms_1__logic_ms_1__cell_7__aTbF) -> logic_ms_1__logic_ms_1__cell_7__x.t+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_7__aFbT | logic_ms_1__logic_ms_1__cell_7__aTbF)) -> logic_ms_1__logic_ms_1__cell_7__x.t- + } + // logic_ms_1__logic_ms_1__cell_7__y.T := and_gate(logic_ms_1__logic_ms_1__cell_7__a.T, logic_ms_1__logic_ms_1__s_in_4.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_7__a.t & logic_ms_1__logic_ms_1__s_in_4.t) -> logic_ms_1__logic_ms_1__cell_7__y.t+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_7__a.t & logic_ms_1__logic_ms_1__s_in_4.t)) -> logic_ms_1__logic_ms_1__cell_7__y.t- + } + // logic_ms_1__logic_ms_1__cell_7__y.F := or_gate(logic_ms_1__logic_ms_1__cell_7__a.F, logic_ms_1__logic_ms_1__s_in_4.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_7__a.f | logic_ms_1__logic_ms_1__s_in_4.f) -> logic_ms_1__logic_ms_1__cell_7__y.f+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_7__a.f | logic_ms_1__logic_ms_1__s_in_4.f)) -> logic_ms_1__logic_ms_1__cell_7__y.f- + } + // logic_ms_1__logic_ms_1__cell_7__xFcF := cgate(logic_ms_1__logic_ms_1__cell_7__x.F, logic_ms_1__logic_ms_1__cell_7__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_7__x.f & logic_ms_1__logic_ms_1__cell_7__c_in.f) -> logic_ms_1__logic_ms_1__cell_7__xFcF+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_7__x.f | logic_ms_1__logic_ms_1__cell_7__c_in.f)) -> logic_ms_1__logic_ms_1__cell_7__xFcF- + } + // logic_ms_1__logic_ms_1__cell_7__xFcT := cgate(logic_ms_1__logic_ms_1__cell_7__x.F, logic_ms_1__logic_ms_1__cell_7__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_7__x.f & logic_ms_1__logic_ms_1__cell_7__c_in.t) -> logic_ms_1__logic_ms_1__cell_7__xFcT+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_7__x.f | logic_ms_1__logic_ms_1__cell_7__c_in.t)) -> logic_ms_1__logic_ms_1__cell_7__xFcT- + } + // logic_ms_1__logic_ms_1__cell_7__xTcF := cgate(logic_ms_1__logic_ms_1__cell_7__x.T, logic_ms_1__logic_ms_1__cell_7__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_7__x.t & logic_ms_1__logic_ms_1__cell_7__c_in.f) -> logic_ms_1__logic_ms_1__cell_7__xTcF+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_7__x.t | logic_ms_1__logic_ms_1__cell_7__c_in.f)) -> logic_ms_1__logic_ms_1__cell_7__xTcF- + } + // logic_ms_1__logic_ms_1__cell_7__xTcT := cgate(logic_ms_1__logic_ms_1__cell_7__x.T, logic_ms_1__logic_ms_1__cell_7__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_7__x.t & logic_ms_1__logic_ms_1__cell_7__c_in.t) -> logic_ms_1__logic_ms_1__cell_7__xTcT+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_7__x.t | logic_ms_1__logic_ms_1__cell_7__c_in.t)) -> logic_ms_1__logic_ms_1__cell_7__xTcT- + } + // b2__s_in(4).T := or_gate(logic_ms_1__logic_ms_1__cell_7__xFcT, logic_ms_1__logic_ms_1__cell_7__xTcF) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_7__xFcT | logic_ms_1__logic_ms_1__cell_7__xTcF) -> b2__s_in[4].t+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_7__xFcT | logic_ms_1__logic_ms_1__cell_7__xTcF)) -> b2__s_in[4].t- + } + // b2__s_in(4).F := or_gate(logic_ms_1__logic_ms_1__cell_7__xFcF, logic_ms_1__logic_ms_1__cell_7__xTcT) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_7__xFcF | logic_ms_1__logic_ms_1__cell_7__xTcT) -> b2__s_in[4].f+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_7__xFcF | logic_ms_1__logic_ms_1__cell_7__xTcT)) -> b2__s_in[4].f- + } + // logic_ms_1__logic_ms_1__cell_7__z.T := and_gate(logic_ms_1__logic_ms_1__cell_7__x.T, logic_ms_1__logic_ms_1__cell_7__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_7__x.t & logic_ms_1__logic_ms_1__cell_7__c_in.t) -> logic_ms_1__logic_ms_1__cell_7__z.t+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_7__x.t & logic_ms_1__logic_ms_1__cell_7__c_in.t)) -> logic_ms_1__logic_ms_1__cell_7__z.t- + } + // logic_ms_1__logic_ms_1__cell_7__z.F := or_gate(logic_ms_1__logic_ms_1__cell_7__x.F, logic_ms_1__logic_ms_1__cell_7__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_7__x.f | logic_ms_1__logic_ms_1__cell_7__c_in.f) -> logic_ms_1__logic_ms_1__cell_7__z.f+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_7__x.f | logic_ms_1__logic_ms_1__cell_7__c_in.f)) -> logic_ms_1__logic_ms_1__cell_7__z.f- + } + // logic_ms_1__logic_ms_1__cell_8__c_in.F := cgate(logic_ms_1__logic_ms_1__cell_7__y.F, logic_ms_1__logic_ms_1__cell_7__z.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_7__y.f & logic_ms_1__logic_ms_1__cell_7__z.f) -> logic_ms_1__logic_ms_1__cell_8__c_in.f+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_7__y.f | logic_ms_1__logic_ms_1__cell_7__z.f)) -> logic_ms_1__logic_ms_1__cell_8__c_in.f- + } + // logic_ms_1__logic_ms_1__cell_7__yFzT := cgate(logic_ms_1__logic_ms_1__cell_7__y.F, logic_ms_1__logic_ms_1__cell_7__z.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_7__y.f & logic_ms_1__logic_ms_1__cell_7__z.t) -> logic_ms_1__logic_ms_1__cell_7__yFzT+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_7__y.f | logic_ms_1__logic_ms_1__cell_7__z.t)) -> logic_ms_1__logic_ms_1__cell_7__yFzT- + } + // logic_ms_1__logic_ms_1__cell_7__yTzF := cgate(logic_ms_1__logic_ms_1__cell_7__y.T, logic_ms_1__logic_ms_1__cell_7__z.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_7__y.t & logic_ms_1__logic_ms_1__cell_7__z.f) -> logic_ms_1__logic_ms_1__cell_7__yTzF+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_7__y.t | logic_ms_1__logic_ms_1__cell_7__z.f)) -> logic_ms_1__logic_ms_1__cell_7__yTzF- + } + // logic_ms_1__logic_ms_1__cell_7__yTzT := cgate(logic_ms_1__logic_ms_1__cell_7__y.T, logic_ms_1__logic_ms_1__cell_7__z.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_7__y.t & logic_ms_1__logic_ms_1__cell_7__z.t) -> logic_ms_1__logic_ms_1__cell_7__yTzT+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_7__y.t | logic_ms_1__logic_ms_1__cell_7__z.t)) -> logic_ms_1__logic_ms_1__cell_7__yTzT- + } + // logic_ms_1__logic_ms_1__cell_8__c_in.T := or_gate(logic_ms_1__logic_ms_1__cell_7__yFzT, logic_ms_1__logic_ms_1__cell_7__yTzF, logic_ms_1__logic_ms_1__cell_7__yTzT) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_7__yFzT | logic_ms_1__logic_ms_1__cell_7__yTzF | logic_ms_1__logic_ms_1__cell_7__yTzT) -> logic_ms_1__logic_ms_1__cell_8__c_in.t+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_7__yFzT | logic_ms_1__logic_ms_1__cell_7__yTzF | logic_ms_1__logic_ms_1__cell_7__yTzT)) -> logic_ms_1__logic_ms_1__cell_8__c_in.t- + } + // logic_ms_1__logic_ms_1__cell_8__aFbF := cgate(logic_ms_1__logic_ms_1__cell_8__a.F, logic_ms_1__logic_ms_1__s_in_5.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_8__a.f & logic_ms_1__logic_ms_1__s_in_5.f) -> logic_ms_1__logic_ms_1__cell_8__aFbF+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_8__a.f | logic_ms_1__logic_ms_1__s_in_5.f)) -> logic_ms_1__logic_ms_1__cell_8__aFbF- + } + // logic_ms_1__logic_ms_1__cell_8__aFbT := cgate(logic_ms_1__logic_ms_1__cell_8__a.F, logic_ms_1__logic_ms_1__s_in_5.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_8__a.f & logic_ms_1__logic_ms_1__s_in_5.t) -> logic_ms_1__logic_ms_1__cell_8__aFbT+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_8__a.f | logic_ms_1__logic_ms_1__s_in_5.t)) -> logic_ms_1__logic_ms_1__cell_8__aFbT- + } + // logic_ms_1__logic_ms_1__cell_8__aTbF := cgate(logic_ms_1__logic_ms_1__cell_8__a.T, logic_ms_1__logic_ms_1__s_in_5.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_8__a.t & logic_ms_1__logic_ms_1__s_in_5.f) -> logic_ms_1__logic_ms_1__cell_8__aTbF+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_8__a.t | logic_ms_1__logic_ms_1__s_in_5.f)) -> logic_ms_1__logic_ms_1__cell_8__aTbF- + } + // logic_ms_1__logic_ms_1__cell_8__aTbT := cgate(logic_ms_1__logic_ms_1__cell_8__a.T, logic_ms_1__logic_ms_1__s_in_5.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_8__a.t & logic_ms_1__logic_ms_1__s_in_5.t) -> logic_ms_1__logic_ms_1__cell_8__aTbT+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_8__a.t | logic_ms_1__logic_ms_1__s_in_5.t)) -> logic_ms_1__logic_ms_1__cell_8__aTbT- + } + // logic_ms_1__logic_ms_1__cell_8__x.F := or_gate(logic_ms_1__logic_ms_1__cell_8__aFbF, logic_ms_1__logic_ms_1__cell_8__aTbT) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_8__aFbF | logic_ms_1__logic_ms_1__cell_8__aTbT) -> logic_ms_1__logic_ms_1__cell_8__x.f+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_8__aFbF | logic_ms_1__logic_ms_1__cell_8__aTbT)) -> logic_ms_1__logic_ms_1__cell_8__x.f- + } + // logic_ms_1__logic_ms_1__cell_8__x.T := or_gate(logic_ms_1__logic_ms_1__cell_8__aFbT, logic_ms_1__logic_ms_1__cell_8__aTbF) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_8__aFbT | logic_ms_1__logic_ms_1__cell_8__aTbF) -> logic_ms_1__logic_ms_1__cell_8__x.t+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_8__aFbT | logic_ms_1__logic_ms_1__cell_8__aTbF)) -> logic_ms_1__logic_ms_1__cell_8__x.t- + } + // logic_ms_1__logic_ms_1__cell_8__y.T := and_gate(logic_ms_1__logic_ms_1__cell_8__a.T, logic_ms_1__logic_ms_1__s_in_5.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_8__a.t & logic_ms_1__logic_ms_1__s_in_5.t) -> logic_ms_1__logic_ms_1__cell_8__y.t+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_8__a.t & logic_ms_1__logic_ms_1__s_in_5.t)) -> logic_ms_1__logic_ms_1__cell_8__y.t- + } + // logic_ms_1__logic_ms_1__cell_8__y.F := or_gate(logic_ms_1__logic_ms_1__cell_8__a.F, logic_ms_1__logic_ms_1__s_in_5.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_8__a.f | logic_ms_1__logic_ms_1__s_in_5.f) -> logic_ms_1__logic_ms_1__cell_8__y.f+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_8__a.f | logic_ms_1__logic_ms_1__s_in_5.f)) -> logic_ms_1__logic_ms_1__cell_8__y.f- + } + // logic_ms_1__logic_ms_1__cell_8__xFcF := cgate(logic_ms_1__logic_ms_1__cell_8__x.F, logic_ms_1__logic_ms_1__cell_8__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_8__x.f & logic_ms_1__logic_ms_1__cell_8__c_in.f) -> logic_ms_1__logic_ms_1__cell_8__xFcF+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_8__x.f | logic_ms_1__logic_ms_1__cell_8__c_in.f)) -> logic_ms_1__logic_ms_1__cell_8__xFcF- + } + // logic_ms_1__logic_ms_1__cell_8__xFcT := cgate(logic_ms_1__logic_ms_1__cell_8__x.F, logic_ms_1__logic_ms_1__cell_8__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_8__x.f & logic_ms_1__logic_ms_1__cell_8__c_in.t) -> logic_ms_1__logic_ms_1__cell_8__xFcT+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_8__x.f | logic_ms_1__logic_ms_1__cell_8__c_in.t)) -> logic_ms_1__logic_ms_1__cell_8__xFcT- + } + // logic_ms_1__logic_ms_1__cell_8__xTcF := cgate(logic_ms_1__logic_ms_1__cell_8__x.T, logic_ms_1__logic_ms_1__cell_8__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_8__x.t & logic_ms_1__logic_ms_1__cell_8__c_in.f) -> logic_ms_1__logic_ms_1__cell_8__xTcF+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_8__x.t | logic_ms_1__logic_ms_1__cell_8__c_in.f)) -> logic_ms_1__logic_ms_1__cell_8__xTcF- + } + // logic_ms_1__logic_ms_1__cell_8__xTcT := cgate(logic_ms_1__logic_ms_1__cell_8__x.T, logic_ms_1__logic_ms_1__cell_8__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_8__x.t & logic_ms_1__logic_ms_1__cell_8__c_in.t) -> logic_ms_1__logic_ms_1__cell_8__xTcT+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_8__x.t | logic_ms_1__logic_ms_1__cell_8__c_in.t)) -> logic_ms_1__logic_ms_1__cell_8__xTcT- + } + // b2__s_in(5).T := or_gate(logic_ms_1__logic_ms_1__cell_8__xFcT, logic_ms_1__logic_ms_1__cell_8__xTcF) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_8__xFcT | logic_ms_1__logic_ms_1__cell_8__xTcF) -> b2__s_in[5].t+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_8__xFcT | logic_ms_1__logic_ms_1__cell_8__xTcF)) -> b2__s_in[5].t- + } + // b2__s_in(5).F := or_gate(logic_ms_1__logic_ms_1__cell_8__xFcF, logic_ms_1__logic_ms_1__cell_8__xTcT) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_8__xFcF | logic_ms_1__logic_ms_1__cell_8__xTcT) -> b2__s_in[5].f+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_8__xFcF | logic_ms_1__logic_ms_1__cell_8__xTcT)) -> b2__s_in[5].f- + } + // logic_ms_1__logic_ms_1__cell_8__z.T := and_gate(logic_ms_1__logic_ms_1__cell_8__x.T, logic_ms_1__logic_ms_1__cell_8__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_8__x.t & logic_ms_1__logic_ms_1__cell_8__c_in.t) -> logic_ms_1__logic_ms_1__cell_8__z.t+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_8__x.t & logic_ms_1__logic_ms_1__cell_8__c_in.t)) -> logic_ms_1__logic_ms_1__cell_8__z.t- + } + // logic_ms_1__logic_ms_1__cell_8__z.F := or_gate(logic_ms_1__logic_ms_1__cell_8__x.F, logic_ms_1__logic_ms_1__cell_8__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_8__x.f | logic_ms_1__logic_ms_1__cell_8__c_in.f) -> logic_ms_1__logic_ms_1__cell_8__z.f+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_8__x.f | logic_ms_1__logic_ms_1__cell_8__c_in.f)) -> logic_ms_1__logic_ms_1__cell_8__z.f- + } + // b2__s_in(6).F := cgate(logic_ms_1__logic_ms_1__cell_8__y.F, logic_ms_1__logic_ms_1__cell_8__z.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_8__y.f & logic_ms_1__logic_ms_1__cell_8__z.f) -> b2__s_in[6].f+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_8__y.f | logic_ms_1__logic_ms_1__cell_8__z.f)) -> b2__s_in[6].f- + } + // logic_ms_1__logic_ms_1__cell_8__yFzT := cgate(logic_ms_1__logic_ms_1__cell_8__y.F, logic_ms_1__logic_ms_1__cell_8__z.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_8__y.f & logic_ms_1__logic_ms_1__cell_8__z.t) -> logic_ms_1__logic_ms_1__cell_8__yFzT+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_8__y.f | logic_ms_1__logic_ms_1__cell_8__z.t)) -> logic_ms_1__logic_ms_1__cell_8__yFzT- + } + // logic_ms_1__logic_ms_1__cell_8__yTzF := cgate(logic_ms_1__logic_ms_1__cell_8__y.T, logic_ms_1__logic_ms_1__cell_8__z.F) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_8__y.t & logic_ms_1__logic_ms_1__cell_8__z.f) -> logic_ms_1__logic_ms_1__cell_8__yTzF+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_8__y.t | logic_ms_1__logic_ms_1__cell_8__z.f)) -> logic_ms_1__logic_ms_1__cell_8__yTzF- + } + // logic_ms_1__logic_ms_1__cell_8__yTzT := cgate(logic_ms_1__logic_ms_1__cell_8__y.T, logic_ms_1__logic_ms_1__cell_8__z.T) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_8__y.t & logic_ms_1__logic_ms_1__cell_8__z.t) -> logic_ms_1__logic_ms_1__cell_8__yTzT+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_8__y.t | logic_ms_1__logic_ms_1__cell_8__z.t)) -> logic_ms_1__logic_ms_1__cell_8__yTzT- + } + // b2__s_in(6).T := or_gate(logic_ms_1__logic_ms_1__cell_8__yFzT, logic_ms_1__logic_ms_1__cell_8__yTzF, logic_ms_1__logic_ms_1__cell_8__yTzT) delay(1.0 ns); + prs { + [after=1000](logic_ms_1__logic_ms_1__cell_8__yFzT | logic_ms_1__logic_ms_1__cell_8__yTzF | logic_ms_1__logic_ms_1__cell_8__yTzT) -> b2__s_in[6].t+ + [after=1000]( ~(logic_ms_1__logic_ms_1__cell_8__yFzT | logic_ms_1__logic_ms_1__cell_8__yTzF | logic_ms_1__logic_ms_1__cell_8__yTzT)) -> b2__s_in[6].t- + } + // logic_ls__logic_ls__done := or_gate(logic_ls__logic_ls__cell_5__b.T, logic_ls__logic_ls__cell_5__b.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_5__b.t | logic_ls__logic_ls__cell_5__b.f) -> logic_ls__logic_ls__done+ + [after=1000]( ~(logic_ls__logic_ls__cell_5__b.t | logic_ls__logic_ls__cell_5__b.f)) -> logic_ls__logic_ls__done- + } + // logic_ls__logic_ls__cell_6__a.T := and_gate(logic_ls__logic_ls__a_in(1).T, logic_ls__logic_ls__b_in.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__a_in[1].t & logic_ls__logic_ls__b_in.t) -> logic_ls__logic_ls__cell_6__a.t+ + [after=1000]( ~(logic_ls__logic_ls__a_in[1].t & logic_ls__logic_ls__b_in.t)) -> logic_ls__logic_ls__cell_6__a.t- + } + // logic_ls__logic_ls__cell_6__a.F := or_gate(logic_ls__logic_ls__a_in(1).F, logic_ls__logic_ls__b_in.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__a_in[1].f | logic_ls__logic_ls__b_in.f) -> logic_ls__logic_ls__cell_6__a.f+ + [after=1000]( ~(logic_ls__logic_ls__a_in[1].f | logic_ls__logic_ls__b_in.f)) -> logic_ls__logic_ls__cell_6__a.f- + } + // logic_ls__logic_ls__cell_7__a.T := and_gate(logic_ls__logic_ls__b_in.T, logic_ls__logic_ls__a_in(2).T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__b_in.t & logic_ls__logic_ls__a_in[2].t) -> logic_ls__logic_ls__cell_7__a.t+ + [after=1000]( ~(logic_ls__logic_ls__b_in.t & logic_ls__logic_ls__a_in[2].t)) -> logic_ls__logic_ls__cell_7__a.t- + } + // logic_ls__logic_ls__cell_7__a.F := or_gate(logic_ls__logic_ls__b_in.F, logic_ls__logic_ls__a_in(2).F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__b_in.f | logic_ls__logic_ls__a_in[2].f) -> logic_ls__logic_ls__cell_7__a.f+ + [after=1000]( ~(logic_ls__logic_ls__b_in.f | logic_ls__logic_ls__a_in[2].f)) -> logic_ls__logic_ls__cell_7__a.f- + } + // logic_ls__logic_ls__cell_8__a.T := and_gate(logic_ls__logic_ls__b_in.T, logic_ls__logic_ls__a_in(3).T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__b_in.t & logic_ls__logic_ls__a_in[3].t) -> logic_ls__logic_ls__cell_8__a.t+ + [after=1000]( ~(logic_ls__logic_ls__b_in.t & logic_ls__logic_ls__a_in[3].t)) -> logic_ls__logic_ls__cell_8__a.t- + } + // logic_ls__logic_ls__cell_8__a.F := or_gate(logic_ls__logic_ls__b_in.F, logic_ls__logic_ls__a_in(3).F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__b_in.f | logic_ls__logic_ls__a_in[3].f) -> logic_ls__logic_ls__cell_8__a.f+ + [after=1000]( ~(logic_ls__logic_ls__b_in.f | logic_ls__logic_ls__a_in[3].f)) -> logic_ls__logic_ls__cell_8__a.f- + } + // logic_ls__logic_ls__cell_5__b.T := and_gate(logic_ls__logic_ls__b_in.T, logic_ls__logic_ls__a_in(0).T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__b_in.t & logic_ls__logic_ls__a_in[0].t) -> logic_ls__logic_ls__cell_5__b.t+ + [after=1000]( ~(logic_ls__logic_ls__b_in.t & logic_ls__logic_ls__a_in[0].t)) -> logic_ls__logic_ls__cell_5__b.t- + } + // logic_ls__logic_ls__cell_5__b.F := or_gate(logic_ls__logic_ls__b_in.F, logic_ls__logic_ls__a_in(0).F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__b_in.f | logic_ls__logic_ls__a_in[0].f) -> logic_ls__logic_ls__cell_5__b.f+ + [after=1000]( ~(logic_ls__logic_ls__b_in.f | logic_ls__logic_ls__a_in[0].f)) -> logic_ls__logic_ls__cell_5__b.f- + } + // logic_ls__logic_ls__cell_6__c_in.T := and_gate(logic_ls__logic_ls__s_in_3.T, logic_ls__logic_ls__cell_5__b.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__s_in_3.t & logic_ls__logic_ls__cell_5__b.t) -> logic_ls__logic_ls__cell_6__c_in.t+ + [after=1000]( ~(logic_ls__logic_ls__s_in_3.t & logic_ls__logic_ls__cell_5__b.t)) -> logic_ls__logic_ls__cell_6__c_in.t- + } + // logic_ls__logic_ls__cell_6__c_in.F := or_gate(logic_ls__logic_ls__s_in_3.F, logic_ls__logic_ls__cell_5__b.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__s_in_3.f | logic_ls__logic_ls__cell_5__b.f) -> logic_ls__logic_ls__cell_6__c_in.f+ + [after=1000]( ~(logic_ls__logic_ls__s_in_3.f | logic_ls__logic_ls__cell_5__b.f)) -> logic_ls__logic_ls__cell_6__c_in.f- + } + // logic_ls__logic_ls__cell_5__nandFT := nand_gate(logic_ls__logic_ls__s_in_3.F, logic_ls__logic_ls__cell_5__b.T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ls__logic_ls__s_in_3.f & logic_ls__logic_ls__cell_5__b.t)) -> logic_ls__logic_ls__cell_5__nandFT+ + [after=1000]( ~( ~(logic_ls__logic_ls__s_in_3.f & logic_ls__logic_ls__cell_5__b.t))) -> logic_ls__logic_ls__cell_5__nandFT- + } + // logic_ls__logic_ls__cell_5__nandTF := nand_gate(logic_ls__logic_ls__s_in_3.T, logic_ls__logic_ls__cell_5__b.F) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ls__logic_ls__s_in_3.t & logic_ls__logic_ls__cell_5__b.f)) -> logic_ls__logic_ls__cell_5__nandTF+ + [after=1000]( ~( ~(logic_ls__logic_ls__s_in_3.t & logic_ls__logic_ls__cell_5__b.f))) -> logic_ls__logic_ls__cell_5__nandTF- + } + // b3__s_in(3).T := nand_gate(logic_ls__logic_ls__cell_5__nandFT, logic_ls__logic_ls__cell_5__nandTF) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ls__logic_ls__cell_5__nandFT & logic_ls__logic_ls__cell_5__nandTF)) -> b3__s_in[3].t+ + [after=1000]( ~( ~(logic_ls__logic_ls__cell_5__nandFT & logic_ls__logic_ls__cell_5__nandTF))) -> b3__s_in[3].t- + } + // logic_ls__logic_ls__cell_5__nandTT := nand_gate(logic_ls__logic_ls__s_in_3.T, logic_ls__logic_ls__cell_5__b.T) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ls__logic_ls__s_in_3.t & logic_ls__logic_ls__cell_5__b.t)) -> logic_ls__logic_ls__cell_5__nandTT+ + [after=1000]( ~( ~(logic_ls__logic_ls__s_in_3.t & logic_ls__logic_ls__cell_5__b.t))) -> logic_ls__logic_ls__cell_5__nandTT- + } + // logic_ls__logic_ls__cell_5__nandFF := nand_gate(logic_ls__logic_ls__s_in_3.F, logic_ls__logic_ls__cell_5__b.F) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ls__logic_ls__s_in_3.f & logic_ls__logic_ls__cell_5__b.f)) -> logic_ls__logic_ls__cell_5__nandFF+ + [after=1000]( ~( ~(logic_ls__logic_ls__s_in_3.f & logic_ls__logic_ls__cell_5__b.f))) -> logic_ls__logic_ls__cell_5__nandFF- + } + // b3__s_in(3).F := nand_gate(logic_ls__logic_ls__cell_5__nandTT, logic_ls__logic_ls__cell_5__nandFF) delay(1.0 ns); + prs { + [after=1000]( ~(logic_ls__logic_ls__cell_5__nandTT & logic_ls__logic_ls__cell_5__nandFF)) -> b3__s_in[3].f+ + [after=1000]( ~( ~(logic_ls__logic_ls__cell_5__nandTT & logic_ls__logic_ls__cell_5__nandFF))) -> b3__s_in[3].f- + } + // logic_ls__logic_ls__cell_6__aFbF := cgate(logic_ls__logic_ls__cell_6__a.F, logic_ls__logic_ls__s_in_4.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_6__a.f & logic_ls__logic_ls__s_in_4.f) -> logic_ls__logic_ls__cell_6__aFbF+ + [after=1000]( ~(logic_ls__logic_ls__cell_6__a.f | logic_ls__logic_ls__s_in_4.f)) -> logic_ls__logic_ls__cell_6__aFbF- + } + // logic_ls__logic_ls__cell_6__aFbT := cgate(logic_ls__logic_ls__cell_6__a.F, logic_ls__logic_ls__s_in_4.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_6__a.f & logic_ls__logic_ls__s_in_4.t) -> logic_ls__logic_ls__cell_6__aFbT+ + [after=1000]( ~(logic_ls__logic_ls__cell_6__a.f | logic_ls__logic_ls__s_in_4.t)) -> logic_ls__logic_ls__cell_6__aFbT- + } + // logic_ls__logic_ls__cell_6__aTbF := cgate(logic_ls__logic_ls__cell_6__a.T, logic_ls__logic_ls__s_in_4.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_6__a.t & logic_ls__logic_ls__s_in_4.f) -> logic_ls__logic_ls__cell_6__aTbF+ + [after=1000]( ~(logic_ls__logic_ls__cell_6__a.t | logic_ls__logic_ls__s_in_4.f)) -> logic_ls__logic_ls__cell_6__aTbF- + } + // logic_ls__logic_ls__cell_6__aTbT := cgate(logic_ls__logic_ls__cell_6__a.T, logic_ls__logic_ls__s_in_4.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_6__a.t & logic_ls__logic_ls__s_in_4.t) -> logic_ls__logic_ls__cell_6__aTbT+ + [after=1000]( ~(logic_ls__logic_ls__cell_6__a.t | logic_ls__logic_ls__s_in_4.t)) -> logic_ls__logic_ls__cell_6__aTbT- + } + // logic_ls__logic_ls__cell_6__x.F := or_gate(logic_ls__logic_ls__cell_6__aFbF, logic_ls__logic_ls__cell_6__aTbT) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_6__aFbF | logic_ls__logic_ls__cell_6__aTbT) -> logic_ls__logic_ls__cell_6__x.f+ + [after=1000]( ~(logic_ls__logic_ls__cell_6__aFbF | logic_ls__logic_ls__cell_6__aTbT)) -> logic_ls__logic_ls__cell_6__x.f- + } + // logic_ls__logic_ls__cell_6__x.T := or_gate(logic_ls__logic_ls__cell_6__aFbT, logic_ls__logic_ls__cell_6__aTbF) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_6__aFbT | logic_ls__logic_ls__cell_6__aTbF) -> logic_ls__logic_ls__cell_6__x.t+ + [after=1000]( ~(logic_ls__logic_ls__cell_6__aFbT | logic_ls__logic_ls__cell_6__aTbF)) -> logic_ls__logic_ls__cell_6__x.t- + } + // logic_ls__logic_ls__cell_6__y.T := and_gate(logic_ls__logic_ls__cell_6__a.T, logic_ls__logic_ls__s_in_4.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_6__a.t & logic_ls__logic_ls__s_in_4.t) -> logic_ls__logic_ls__cell_6__y.t+ + [after=1000]( ~(logic_ls__logic_ls__cell_6__a.t & logic_ls__logic_ls__s_in_4.t)) -> logic_ls__logic_ls__cell_6__y.t- + } + // logic_ls__logic_ls__cell_6__y.F := or_gate(logic_ls__logic_ls__cell_6__a.F, logic_ls__logic_ls__s_in_4.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_6__a.f | logic_ls__logic_ls__s_in_4.f) -> logic_ls__logic_ls__cell_6__y.f+ + [after=1000]( ~(logic_ls__logic_ls__cell_6__a.f | logic_ls__logic_ls__s_in_4.f)) -> logic_ls__logic_ls__cell_6__y.f- + } + // logic_ls__logic_ls__cell_6__xFcF := cgate(logic_ls__logic_ls__cell_6__x.F, logic_ls__logic_ls__cell_6__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_6__x.f & logic_ls__logic_ls__cell_6__c_in.f) -> logic_ls__logic_ls__cell_6__xFcF+ + [after=1000]( ~(logic_ls__logic_ls__cell_6__x.f | logic_ls__logic_ls__cell_6__c_in.f)) -> logic_ls__logic_ls__cell_6__xFcF- + } + // logic_ls__logic_ls__cell_6__xFcT := cgate(logic_ls__logic_ls__cell_6__x.F, logic_ls__logic_ls__cell_6__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_6__x.f & logic_ls__logic_ls__cell_6__c_in.t) -> logic_ls__logic_ls__cell_6__xFcT+ + [after=1000]( ~(logic_ls__logic_ls__cell_6__x.f | logic_ls__logic_ls__cell_6__c_in.t)) -> logic_ls__logic_ls__cell_6__xFcT- + } + // logic_ls__logic_ls__cell_6__xTcF := cgate(logic_ls__logic_ls__cell_6__x.T, logic_ls__logic_ls__cell_6__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_6__x.t & logic_ls__logic_ls__cell_6__c_in.f) -> logic_ls__logic_ls__cell_6__xTcF+ + [after=1000]( ~(logic_ls__logic_ls__cell_6__x.t | logic_ls__logic_ls__cell_6__c_in.f)) -> logic_ls__logic_ls__cell_6__xTcF- + } + // logic_ls__logic_ls__cell_6__xTcT := cgate(logic_ls__logic_ls__cell_6__x.T, logic_ls__logic_ls__cell_6__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_6__x.t & logic_ls__logic_ls__cell_6__c_in.t) -> logic_ls__logic_ls__cell_6__xTcT+ + [after=1000]( ~(logic_ls__logic_ls__cell_6__x.t | logic_ls__logic_ls__cell_6__c_in.t)) -> logic_ls__logic_ls__cell_6__xTcT- + } + // b3__s_in(4).T := or_gate(logic_ls__logic_ls__cell_6__xFcT, logic_ls__logic_ls__cell_6__xTcF) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_6__xFcT | logic_ls__logic_ls__cell_6__xTcF) -> b3__s_in[4].t+ + [after=1000]( ~(logic_ls__logic_ls__cell_6__xFcT | logic_ls__logic_ls__cell_6__xTcF)) -> b3__s_in[4].t- + } + // b3__s_in(4).F := or_gate(logic_ls__logic_ls__cell_6__xFcF, logic_ls__logic_ls__cell_6__xTcT) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_6__xFcF | logic_ls__logic_ls__cell_6__xTcT) -> b3__s_in[4].f+ + [after=1000]( ~(logic_ls__logic_ls__cell_6__xFcF | logic_ls__logic_ls__cell_6__xTcT)) -> b3__s_in[4].f- + } + // logic_ls__logic_ls__cell_6__z.T := and_gate(logic_ls__logic_ls__cell_6__x.T, logic_ls__logic_ls__cell_6__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_6__x.t & logic_ls__logic_ls__cell_6__c_in.t) -> logic_ls__logic_ls__cell_6__z.t+ + [after=1000]( ~(logic_ls__logic_ls__cell_6__x.t & logic_ls__logic_ls__cell_6__c_in.t)) -> logic_ls__logic_ls__cell_6__z.t- + } + // logic_ls__logic_ls__cell_6__z.F := or_gate(logic_ls__logic_ls__cell_6__x.F, logic_ls__logic_ls__cell_6__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_6__x.f | logic_ls__logic_ls__cell_6__c_in.f) -> logic_ls__logic_ls__cell_6__z.f+ + [after=1000]( ~(logic_ls__logic_ls__cell_6__x.f | logic_ls__logic_ls__cell_6__c_in.f)) -> logic_ls__logic_ls__cell_6__z.f- + } + // logic_ls__logic_ls__cell_7__c_in.F := cgate(logic_ls__logic_ls__cell_6__y.F, logic_ls__logic_ls__cell_6__z.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_6__y.f & logic_ls__logic_ls__cell_6__z.f) -> logic_ls__logic_ls__cell_7__c_in.f+ + [after=1000]( ~(logic_ls__logic_ls__cell_6__y.f | logic_ls__logic_ls__cell_6__z.f)) -> logic_ls__logic_ls__cell_7__c_in.f- + } + // logic_ls__logic_ls__cell_6__yFzT := cgate(logic_ls__logic_ls__cell_6__y.F, logic_ls__logic_ls__cell_6__z.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_6__y.f & logic_ls__logic_ls__cell_6__z.t) -> logic_ls__logic_ls__cell_6__yFzT+ + [after=1000]( ~(logic_ls__logic_ls__cell_6__y.f | logic_ls__logic_ls__cell_6__z.t)) -> logic_ls__logic_ls__cell_6__yFzT- + } + // logic_ls__logic_ls__cell_6__yTzF := cgate(logic_ls__logic_ls__cell_6__y.T, logic_ls__logic_ls__cell_6__z.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_6__y.t & logic_ls__logic_ls__cell_6__z.f) -> logic_ls__logic_ls__cell_6__yTzF+ + [after=1000]( ~(logic_ls__logic_ls__cell_6__y.t | logic_ls__logic_ls__cell_6__z.f)) -> logic_ls__logic_ls__cell_6__yTzF- + } + // logic_ls__logic_ls__cell_6__yTzT := cgate(logic_ls__logic_ls__cell_6__y.T, logic_ls__logic_ls__cell_6__z.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_6__y.t & logic_ls__logic_ls__cell_6__z.t) -> logic_ls__logic_ls__cell_6__yTzT+ + [after=1000]( ~(logic_ls__logic_ls__cell_6__y.t | logic_ls__logic_ls__cell_6__z.t)) -> logic_ls__logic_ls__cell_6__yTzT- + } + // logic_ls__logic_ls__cell_7__c_in.T := or_gate(logic_ls__logic_ls__cell_6__yFzT, logic_ls__logic_ls__cell_6__yTzF, logic_ls__logic_ls__cell_6__yTzT) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_6__yFzT | logic_ls__logic_ls__cell_6__yTzF | logic_ls__logic_ls__cell_6__yTzT) -> logic_ls__logic_ls__cell_7__c_in.t+ + [after=1000]( ~(logic_ls__logic_ls__cell_6__yFzT | logic_ls__logic_ls__cell_6__yTzF | logic_ls__logic_ls__cell_6__yTzT)) -> logic_ls__logic_ls__cell_7__c_in.t- + } + // logic_ls__logic_ls__cell_7__aFbF := cgate(logic_ls__logic_ls__cell_7__a.F, logic_ls__logic_ls__s_in_5.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_7__a.f & logic_ls__logic_ls__s_in_5.f) -> logic_ls__logic_ls__cell_7__aFbF+ + [after=1000]( ~(logic_ls__logic_ls__cell_7__a.f | logic_ls__logic_ls__s_in_5.f)) -> logic_ls__logic_ls__cell_7__aFbF- + } + // logic_ls__logic_ls__cell_7__aFbT := cgate(logic_ls__logic_ls__cell_7__a.F, logic_ls__logic_ls__s_in_5.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_7__a.f & logic_ls__logic_ls__s_in_5.t) -> logic_ls__logic_ls__cell_7__aFbT+ + [after=1000]( ~(logic_ls__logic_ls__cell_7__a.f | logic_ls__logic_ls__s_in_5.t)) -> logic_ls__logic_ls__cell_7__aFbT- + } + // logic_ls__logic_ls__cell_7__aTbF := cgate(logic_ls__logic_ls__cell_7__a.T, logic_ls__logic_ls__s_in_5.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_7__a.t & logic_ls__logic_ls__s_in_5.f) -> logic_ls__logic_ls__cell_7__aTbF+ + [after=1000]( ~(logic_ls__logic_ls__cell_7__a.t | logic_ls__logic_ls__s_in_5.f)) -> logic_ls__logic_ls__cell_7__aTbF- + } + // logic_ls__logic_ls__cell_7__aTbT := cgate(logic_ls__logic_ls__cell_7__a.T, logic_ls__logic_ls__s_in_5.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_7__a.t & logic_ls__logic_ls__s_in_5.t) -> logic_ls__logic_ls__cell_7__aTbT+ + [after=1000]( ~(logic_ls__logic_ls__cell_7__a.t | logic_ls__logic_ls__s_in_5.t)) -> logic_ls__logic_ls__cell_7__aTbT- + } + // logic_ls__logic_ls__cell_7__x.F := or_gate(logic_ls__logic_ls__cell_7__aFbF, logic_ls__logic_ls__cell_7__aTbT) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_7__aFbF | logic_ls__logic_ls__cell_7__aTbT) -> logic_ls__logic_ls__cell_7__x.f+ + [after=1000]( ~(logic_ls__logic_ls__cell_7__aFbF | logic_ls__logic_ls__cell_7__aTbT)) -> logic_ls__logic_ls__cell_7__x.f- + } + // logic_ls__logic_ls__cell_7__x.T := or_gate(logic_ls__logic_ls__cell_7__aFbT, logic_ls__logic_ls__cell_7__aTbF) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_7__aFbT | logic_ls__logic_ls__cell_7__aTbF) -> logic_ls__logic_ls__cell_7__x.t+ + [after=1000]( ~(logic_ls__logic_ls__cell_7__aFbT | logic_ls__logic_ls__cell_7__aTbF)) -> logic_ls__logic_ls__cell_7__x.t- + } + // logic_ls__logic_ls__cell_7__y.T := and_gate(logic_ls__logic_ls__cell_7__a.T, logic_ls__logic_ls__s_in_5.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_7__a.t & logic_ls__logic_ls__s_in_5.t) -> logic_ls__logic_ls__cell_7__y.t+ + [after=1000]( ~(logic_ls__logic_ls__cell_7__a.t & logic_ls__logic_ls__s_in_5.t)) -> logic_ls__logic_ls__cell_7__y.t- + } + // logic_ls__logic_ls__cell_7__y.F := or_gate(logic_ls__logic_ls__cell_7__a.F, logic_ls__logic_ls__s_in_5.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_7__a.f | logic_ls__logic_ls__s_in_5.f) -> logic_ls__logic_ls__cell_7__y.f+ + [after=1000]( ~(logic_ls__logic_ls__cell_7__a.f | logic_ls__logic_ls__s_in_5.f)) -> logic_ls__logic_ls__cell_7__y.f- + } + // logic_ls__logic_ls__cell_7__xFcF := cgate(logic_ls__logic_ls__cell_7__x.F, logic_ls__logic_ls__cell_7__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_7__x.f & logic_ls__logic_ls__cell_7__c_in.f) -> logic_ls__logic_ls__cell_7__xFcF+ + [after=1000]( ~(logic_ls__logic_ls__cell_7__x.f | logic_ls__logic_ls__cell_7__c_in.f)) -> logic_ls__logic_ls__cell_7__xFcF- + } + // logic_ls__logic_ls__cell_7__xFcT := cgate(logic_ls__logic_ls__cell_7__x.F, logic_ls__logic_ls__cell_7__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_7__x.f & logic_ls__logic_ls__cell_7__c_in.t) -> logic_ls__logic_ls__cell_7__xFcT+ + [after=1000]( ~(logic_ls__logic_ls__cell_7__x.f | logic_ls__logic_ls__cell_7__c_in.t)) -> logic_ls__logic_ls__cell_7__xFcT- + } + // logic_ls__logic_ls__cell_7__xTcF := cgate(logic_ls__logic_ls__cell_7__x.T, logic_ls__logic_ls__cell_7__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_7__x.t & logic_ls__logic_ls__cell_7__c_in.f) -> logic_ls__logic_ls__cell_7__xTcF+ + [after=1000]( ~(logic_ls__logic_ls__cell_7__x.t | logic_ls__logic_ls__cell_7__c_in.f)) -> logic_ls__logic_ls__cell_7__xTcF- + } + // logic_ls__logic_ls__cell_7__xTcT := cgate(logic_ls__logic_ls__cell_7__x.T, logic_ls__logic_ls__cell_7__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_7__x.t & logic_ls__logic_ls__cell_7__c_in.t) -> logic_ls__logic_ls__cell_7__xTcT+ + [after=1000]( ~(logic_ls__logic_ls__cell_7__x.t | logic_ls__logic_ls__cell_7__c_in.t)) -> logic_ls__logic_ls__cell_7__xTcT- + } + // b3__s_in(5).T := or_gate(logic_ls__logic_ls__cell_7__xFcT, logic_ls__logic_ls__cell_7__xTcF) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_7__xFcT | logic_ls__logic_ls__cell_7__xTcF) -> b3__s_in[5].t+ + [after=1000]( ~(logic_ls__logic_ls__cell_7__xFcT | logic_ls__logic_ls__cell_7__xTcF)) -> b3__s_in[5].t- + } + // b3__s_in(5).F := or_gate(logic_ls__logic_ls__cell_7__xFcF, logic_ls__logic_ls__cell_7__xTcT) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_7__xFcF | logic_ls__logic_ls__cell_7__xTcT) -> b3__s_in[5].f+ + [after=1000]( ~(logic_ls__logic_ls__cell_7__xFcF | logic_ls__logic_ls__cell_7__xTcT)) -> b3__s_in[5].f- + } + // logic_ls__logic_ls__cell_7__z.T := and_gate(logic_ls__logic_ls__cell_7__x.T, logic_ls__logic_ls__cell_7__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_7__x.t & logic_ls__logic_ls__cell_7__c_in.t) -> logic_ls__logic_ls__cell_7__z.t+ + [after=1000]( ~(logic_ls__logic_ls__cell_7__x.t & logic_ls__logic_ls__cell_7__c_in.t)) -> logic_ls__logic_ls__cell_7__z.t- + } + // logic_ls__logic_ls__cell_7__z.F := or_gate(logic_ls__logic_ls__cell_7__x.F, logic_ls__logic_ls__cell_7__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_7__x.f | logic_ls__logic_ls__cell_7__c_in.f) -> logic_ls__logic_ls__cell_7__z.f+ + [after=1000]( ~(logic_ls__logic_ls__cell_7__x.f | logic_ls__logic_ls__cell_7__c_in.f)) -> logic_ls__logic_ls__cell_7__z.f- + } + // logic_ls__logic_ls__cell_8__c_in.F := cgate(logic_ls__logic_ls__cell_7__y.F, logic_ls__logic_ls__cell_7__z.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_7__y.f & logic_ls__logic_ls__cell_7__z.f) -> logic_ls__logic_ls__cell_8__c_in.f+ + [after=1000]( ~(logic_ls__logic_ls__cell_7__y.f | logic_ls__logic_ls__cell_7__z.f)) -> logic_ls__logic_ls__cell_8__c_in.f- + } + // logic_ls__logic_ls__cell_7__yFzT := cgate(logic_ls__logic_ls__cell_7__y.F, logic_ls__logic_ls__cell_7__z.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_7__y.f & logic_ls__logic_ls__cell_7__z.t) -> logic_ls__logic_ls__cell_7__yFzT+ + [after=1000]( ~(logic_ls__logic_ls__cell_7__y.f | logic_ls__logic_ls__cell_7__z.t)) -> logic_ls__logic_ls__cell_7__yFzT- + } + // logic_ls__logic_ls__cell_7__yTzF := cgate(logic_ls__logic_ls__cell_7__y.T, logic_ls__logic_ls__cell_7__z.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_7__y.t & logic_ls__logic_ls__cell_7__z.f) -> logic_ls__logic_ls__cell_7__yTzF+ + [after=1000]( ~(logic_ls__logic_ls__cell_7__y.t | logic_ls__logic_ls__cell_7__z.f)) -> logic_ls__logic_ls__cell_7__yTzF- + } + // logic_ls__logic_ls__cell_7__yTzT := cgate(logic_ls__logic_ls__cell_7__y.T, logic_ls__logic_ls__cell_7__z.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_7__y.t & logic_ls__logic_ls__cell_7__z.t) -> logic_ls__logic_ls__cell_7__yTzT+ + [after=1000]( ~(logic_ls__logic_ls__cell_7__y.t | logic_ls__logic_ls__cell_7__z.t)) -> logic_ls__logic_ls__cell_7__yTzT- + } + // logic_ls__logic_ls__cell_8__c_in.T := or_gate(logic_ls__logic_ls__cell_7__yFzT, logic_ls__logic_ls__cell_7__yTzF, logic_ls__logic_ls__cell_7__yTzT) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_7__yFzT | logic_ls__logic_ls__cell_7__yTzF | logic_ls__logic_ls__cell_7__yTzT) -> logic_ls__logic_ls__cell_8__c_in.t+ + [after=1000]( ~(logic_ls__logic_ls__cell_7__yFzT | logic_ls__logic_ls__cell_7__yTzF | logic_ls__logic_ls__cell_7__yTzT)) -> logic_ls__logic_ls__cell_8__c_in.t- + } + // logic_ls__logic_ls__cell_8__aFbF := cgate(logic_ls__logic_ls__cell_8__a.F, logic_ls__logic_ls__s_in_6.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_8__a.f & logic_ls__logic_ls__s_in_6.f) -> logic_ls__logic_ls__cell_8__aFbF+ + [after=1000]( ~(logic_ls__logic_ls__cell_8__a.f | logic_ls__logic_ls__s_in_6.f)) -> logic_ls__logic_ls__cell_8__aFbF- + } + // logic_ls__logic_ls__cell_8__aFbT := cgate(logic_ls__logic_ls__cell_8__a.F, logic_ls__logic_ls__s_in_6.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_8__a.f & logic_ls__logic_ls__s_in_6.t) -> logic_ls__logic_ls__cell_8__aFbT+ + [after=1000]( ~(logic_ls__logic_ls__cell_8__a.f | logic_ls__logic_ls__s_in_6.t)) -> logic_ls__logic_ls__cell_8__aFbT- + } + // logic_ls__logic_ls__cell_8__aTbF := cgate(logic_ls__logic_ls__cell_8__a.T, logic_ls__logic_ls__s_in_6.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_8__a.t & logic_ls__logic_ls__s_in_6.f) -> logic_ls__logic_ls__cell_8__aTbF+ + [after=1000]( ~(logic_ls__logic_ls__cell_8__a.t | logic_ls__logic_ls__s_in_6.f)) -> logic_ls__logic_ls__cell_8__aTbF- + } + // logic_ls__logic_ls__cell_8__aTbT := cgate(logic_ls__logic_ls__cell_8__a.T, logic_ls__logic_ls__s_in_6.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_8__a.t & logic_ls__logic_ls__s_in_6.t) -> logic_ls__logic_ls__cell_8__aTbT+ + [after=1000]( ~(logic_ls__logic_ls__cell_8__a.t | logic_ls__logic_ls__s_in_6.t)) -> logic_ls__logic_ls__cell_8__aTbT- + } + // logic_ls__logic_ls__cell_8__x.F := or_gate(logic_ls__logic_ls__cell_8__aFbF, logic_ls__logic_ls__cell_8__aTbT) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_8__aFbF | logic_ls__logic_ls__cell_8__aTbT) -> logic_ls__logic_ls__cell_8__x.f+ + [after=1000]( ~(logic_ls__logic_ls__cell_8__aFbF | logic_ls__logic_ls__cell_8__aTbT)) -> logic_ls__logic_ls__cell_8__x.f- + } + // logic_ls__logic_ls__cell_8__x.T := or_gate(logic_ls__logic_ls__cell_8__aFbT, logic_ls__logic_ls__cell_8__aTbF) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_8__aFbT | logic_ls__logic_ls__cell_8__aTbF) -> logic_ls__logic_ls__cell_8__x.t+ + [after=1000]( ~(logic_ls__logic_ls__cell_8__aFbT | logic_ls__logic_ls__cell_8__aTbF)) -> logic_ls__logic_ls__cell_8__x.t- + } + // logic_ls__logic_ls__cell_8__y.T := and_gate(logic_ls__logic_ls__cell_8__a.T, logic_ls__logic_ls__s_in_6.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_8__a.t & logic_ls__logic_ls__s_in_6.t) -> logic_ls__logic_ls__cell_8__y.t+ + [after=1000]( ~(logic_ls__logic_ls__cell_8__a.t & logic_ls__logic_ls__s_in_6.t)) -> logic_ls__logic_ls__cell_8__y.t- + } + // logic_ls__logic_ls__cell_8__y.F := or_gate(logic_ls__logic_ls__cell_8__a.F, logic_ls__logic_ls__s_in_6.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_8__a.f | logic_ls__logic_ls__s_in_6.f) -> logic_ls__logic_ls__cell_8__y.f+ + [after=1000]( ~(logic_ls__logic_ls__cell_8__a.f | logic_ls__logic_ls__s_in_6.f)) -> logic_ls__logic_ls__cell_8__y.f- + } + // logic_ls__logic_ls__cell_8__xFcF := cgate(logic_ls__logic_ls__cell_8__x.F, logic_ls__logic_ls__cell_8__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_8__x.f & logic_ls__logic_ls__cell_8__c_in.f) -> logic_ls__logic_ls__cell_8__xFcF+ + [after=1000]( ~(logic_ls__logic_ls__cell_8__x.f | logic_ls__logic_ls__cell_8__c_in.f)) -> logic_ls__logic_ls__cell_8__xFcF- + } + // logic_ls__logic_ls__cell_8__xFcT := cgate(logic_ls__logic_ls__cell_8__x.F, logic_ls__logic_ls__cell_8__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_8__x.f & logic_ls__logic_ls__cell_8__c_in.t) -> logic_ls__logic_ls__cell_8__xFcT+ + [after=1000]( ~(logic_ls__logic_ls__cell_8__x.f | logic_ls__logic_ls__cell_8__c_in.t)) -> logic_ls__logic_ls__cell_8__xFcT- + } + // logic_ls__logic_ls__cell_8__xTcF := cgate(logic_ls__logic_ls__cell_8__x.T, logic_ls__logic_ls__cell_8__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_8__x.t & logic_ls__logic_ls__cell_8__c_in.f) -> logic_ls__logic_ls__cell_8__xTcF+ + [after=1000]( ~(logic_ls__logic_ls__cell_8__x.t | logic_ls__logic_ls__cell_8__c_in.f)) -> logic_ls__logic_ls__cell_8__xTcF- + } + // logic_ls__logic_ls__cell_8__xTcT := cgate(logic_ls__logic_ls__cell_8__x.T, logic_ls__logic_ls__cell_8__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_8__x.t & logic_ls__logic_ls__cell_8__c_in.t) -> logic_ls__logic_ls__cell_8__xTcT+ + [after=1000]( ~(logic_ls__logic_ls__cell_8__x.t | logic_ls__logic_ls__cell_8__c_in.t)) -> logic_ls__logic_ls__cell_8__xTcT- + } + // b3__s_in(6).T := or_gate(logic_ls__logic_ls__cell_8__xFcT, logic_ls__logic_ls__cell_8__xTcF) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_8__xFcT | logic_ls__logic_ls__cell_8__xTcF) -> b3__s_in[6].t+ + [after=1000]( ~(logic_ls__logic_ls__cell_8__xFcT | logic_ls__logic_ls__cell_8__xTcF)) -> b3__s_in[6].t- + } + // b3__s_in(6).F := or_gate(logic_ls__logic_ls__cell_8__xFcF, logic_ls__logic_ls__cell_8__xTcT) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_8__xFcF | logic_ls__logic_ls__cell_8__xTcT) -> b3__s_in[6].f+ + [after=1000]( ~(logic_ls__logic_ls__cell_8__xFcF | logic_ls__logic_ls__cell_8__xTcT)) -> b3__s_in[6].f- + } + // logic_ls__logic_ls__cell_8__z.T := and_gate(logic_ls__logic_ls__cell_8__x.T, logic_ls__logic_ls__cell_8__c_in.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_8__x.t & logic_ls__logic_ls__cell_8__c_in.t) -> logic_ls__logic_ls__cell_8__z.t+ + [after=1000]( ~(logic_ls__logic_ls__cell_8__x.t & logic_ls__logic_ls__cell_8__c_in.t)) -> logic_ls__logic_ls__cell_8__z.t- + } + // logic_ls__logic_ls__cell_8__z.F := or_gate(logic_ls__logic_ls__cell_8__x.F, logic_ls__logic_ls__cell_8__c_in.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_8__x.f | logic_ls__logic_ls__cell_8__c_in.f) -> logic_ls__logic_ls__cell_8__z.f+ + [after=1000]( ~(logic_ls__logic_ls__cell_8__x.f | logic_ls__logic_ls__cell_8__c_in.f)) -> logic_ls__logic_ls__cell_8__z.f- + } + // b3__s_in(7).F := cgate(logic_ls__logic_ls__cell_8__y.F, logic_ls__logic_ls__cell_8__z.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_8__y.f & logic_ls__logic_ls__cell_8__z.f) -> b3__s_in[7].f+ + [after=1000]( ~(logic_ls__logic_ls__cell_8__y.f | logic_ls__logic_ls__cell_8__z.f)) -> b3__s_in[7].f- + } + // logic_ls__logic_ls__cell_8__yFzT := cgate(logic_ls__logic_ls__cell_8__y.F, logic_ls__logic_ls__cell_8__z.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_8__y.f & logic_ls__logic_ls__cell_8__z.t) -> logic_ls__logic_ls__cell_8__yFzT+ + [after=1000]( ~(logic_ls__logic_ls__cell_8__y.f | logic_ls__logic_ls__cell_8__z.t)) -> logic_ls__logic_ls__cell_8__yFzT- + } + // logic_ls__logic_ls__cell_8__yTzF := cgate(logic_ls__logic_ls__cell_8__y.T, logic_ls__logic_ls__cell_8__z.F) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_8__y.t & logic_ls__logic_ls__cell_8__z.f) -> logic_ls__logic_ls__cell_8__yTzF+ + [after=1000]( ~(logic_ls__logic_ls__cell_8__y.t | logic_ls__logic_ls__cell_8__z.f)) -> logic_ls__logic_ls__cell_8__yTzF- + } + // logic_ls__logic_ls__cell_8__yTzT := cgate(logic_ls__logic_ls__cell_8__y.T, logic_ls__logic_ls__cell_8__z.T) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_8__y.t & logic_ls__logic_ls__cell_8__z.t) -> logic_ls__logic_ls__cell_8__yTzT+ + [after=1000]( ~(logic_ls__logic_ls__cell_8__y.t | logic_ls__logic_ls__cell_8__z.t)) -> logic_ls__logic_ls__cell_8__yTzT- + } + // b3__s_in(7).T := or_gate(logic_ls__logic_ls__cell_8__yFzT, logic_ls__logic_ls__cell_8__yTzF, logic_ls__logic_ls__cell_8__yTzT) delay(1.0 ns); + prs { + [after=1000](logic_ls__logic_ls__cell_8__yFzT | logic_ls__logic_ls__cell_8__yTzF | logic_ls__logic_ls__cell_8__yTzT) -> b3__s_in[7].t+ + [after=1000]( ~(logic_ls__logic_ls__cell_8__yFzT | logic_ls__logic_ls__cell_8__yTzF | logic_ls__logic_ls__cell_8__yTzT)) -> b3__s_in[7].t- + } +} +