actlib_dataflow_neuro/test/unit_tests/register_wrw/run/test.prs

1837 lines
136 KiB
Plaintext

= "GND" "GND"
= "Vdd" "Vdd"
= "Reset" "Reset"
"Reset"->"t._reset_B"-
~("Reset")->"t._reset_B"+
= "t._supply.vss" "t.registers.supply.vss"
= "t._supply.vdd" "t.registers.supply.vdd"
= "Vdd" "t._supply.vdd"
= "GND" "t._supply.vss"
= "t._reset_B" "t.registers.reset_mem_B"
= "t._reset_B" "t.registers.reset_B"
= "t.data[0].d[0]" "t.registers.data[0].d[0]"
= "t.data[1].d[0]" "t.registers.data[1].d[0]"
= "t.data[2].d[0]" "t.registers.data[2].d[0]"
= "t.data[3].d[0]" "t.registers.data[3].d[0]"
= "t.data[0].d[1]" "t.registers.data[0].d[1]"
= "t.data[1].d[1]" "t.registers.data[1].d[1]"
= "t.data[2].d[1]" "t.registers.data[2].d[1]"
= "t.data[3].d[1]" "t.registers.data[3].d[1]"
"t.registers.reset_bufarray.buf3.a"->"t.registers.reset_bufarray.buf3._y"-
~("t.registers.reset_bufarray.buf3.a")->"t.registers.reset_bufarray.buf3._y"+
"t.registers.reset_bufarray.buf3._y"->"t.registers.reset_bufarray.buf3.y"-
~("t.registers.reset_bufarray.buf3._y")->"t.registers.reset_bufarray.buf3.y"+
= "t.registers.reset_bufarray.supply.vdd" "t.registers.reset_bufarray.buf3.vdd"
= "t.registers.reset_bufarray.supply.vss" "t.registers.reset_bufarray.buf3.vss"
= "t.registers.reset_bufarray.out[0]" "t.registers.reset_bufarray.out[7]"
= "t.registers.reset_bufarray.out[0]" "t.registers.reset_bufarray.out[6]"
= "t.registers.reset_bufarray.out[0]" "t.registers.reset_bufarray.out[5]"
= "t.registers.reset_bufarray.out[0]" "t.registers.reset_bufarray.out[4]"
= "t.registers.reset_bufarray.out[0]" "t.registers.reset_bufarray.out[3]"
= "t.registers.reset_bufarray.out[0]" "t.registers.reset_bufarray.out[2]"
= "t.registers.reset_bufarray.out[0]" "t.registers.reset_bufarray.out[1]"
= "t.registers.reset_bufarray.out[0]" "t.registers.reset_bufarray.buf3.y"
= "t.registers.reset_bufarray.in" "t.registers.reset_bufarray.buf3.a"
"t.registers.bitselector_f[0].or2s[0].a"|"t.registers.bitselector_f[0].or2s[0].b"->"t.registers.bitselector_f[0].or2s[0]._y"-
~("t.registers.bitselector_f[0].or2s[0].a"|"t.registers.bitselector_f[0].or2s[0].b")->"t.registers.bitselector_f[0].or2s[0]._y"+
"t.registers.bitselector_f[0].or2s[0]._y"->"t.registers.bitselector_f[0].or2s[0].y"-
~("t.registers.bitselector_f[0].or2s[0]._y")->"t.registers.bitselector_f[0].or2s[0].y"+
"t.registers.bitselector_f[0].or2s[1].a"|"t.registers.bitselector_f[0].or2s[1].b"->"t.registers.bitselector_f[0].or2s[1]._y"-
~("t.registers.bitselector_f[0].or2s[1].a"|"t.registers.bitselector_f[0].or2s[1].b")->"t.registers.bitselector_f[0].or2s[1]._y"+
"t.registers.bitselector_f[0].or2s[1]._y"->"t.registers.bitselector_f[0].or2s[1].y"-
~("t.registers.bitselector_f[0].or2s[1]._y")->"t.registers.bitselector_f[0].or2s[1].y"+
"t.registers.bitselector_f[0].or2s[2].a"|"t.registers.bitselector_f[0].or2s[2].b"->"t.registers.bitselector_f[0].or2s[2]._y"-
~("t.registers.bitselector_f[0].or2s[2].a"|"t.registers.bitselector_f[0].or2s[2].b")->"t.registers.bitselector_f[0].or2s[2]._y"+
"t.registers.bitselector_f[0].or2s[2]._y"->"t.registers.bitselector_f[0].or2s[2].y"-
~("t.registers.bitselector_f[0].or2s[2]._y")->"t.registers.bitselector_f[0].or2s[2].y"+
= "t.registers.bitselector_f[0].tmp[4]" "t.registers.bitselector_f[0].or2s[2].a"
= "t.registers.bitselector_f[0].tmp[4]" "t.registers.bitselector_f[0].or2s[0].y"
= "t.registers.bitselector_f[0].tmp[5]" "t.registers.bitselector_f[0].or2s[2].b"
= "t.registers.bitselector_f[0].tmp[5]" "t.registers.bitselector_f[0].or2s[1].y"
= "t.registers.bitselector_f[0].supply.vdd" "t.registers.bitselector_f[0].or2s[2].vdd"
= "t.registers.bitselector_f[0].supply.vdd" "t.registers.bitselector_f[0].or2s[1].vdd"
= "t.registers.bitselector_f[0].supply.vdd" "t.registers.bitselector_f[0].or2s[0].vdd"
= "t.registers.bitselector_f[0].supply.vss" "t.registers.bitselector_f[0].or2s[2].vss"
= "t.registers.bitselector_f[0].supply.vss" "t.registers.bitselector_f[0].or2s[1].vss"
= "t.registers.bitselector_f[0].supply.vss" "t.registers.bitselector_f[0].or2s[0].vss"
= "t.registers.bitselector_f[0].in[0]" "t.registers.bitselector_f[0].or2s[0].a"
= "t.registers.bitselector_f[0].in[0]" "t.registers.bitselector_f[0].tmp[0]"
= "t.registers.bitselector_f[0].in[1]" "t.registers.bitselector_f[0].or2s[0].b"
= "t.registers.bitselector_f[0].in[1]" "t.registers.bitselector_f[0].tmp[1]"
= "t.registers.bitselector_f[0].in[2]" "t.registers.bitselector_f[0].or2s[1].a"
= "t.registers.bitselector_f[0].in[2]" "t.registers.bitselector_f[0].tmp[2]"
= "t.registers.bitselector_f[0].in[3]" "t.registers.bitselector_f[0].or2s[1].b"
= "t.registers.bitselector_f[0].in[3]" "t.registers.bitselector_f[0].tmp[3]"
= "t.registers.bitselector_f[0].out" "t.registers.bitselector_f[0].or2s[2].y"
= "t.registers.bitselector_f[0].out" "t.registers.bitselector_f[0].tmp[6]"
"t.registers.bitselector_f[1].or2s[0].a"|"t.registers.bitselector_f[1].or2s[0].b"->"t.registers.bitselector_f[1].or2s[0]._y"-
~("t.registers.bitselector_f[1].or2s[0].a"|"t.registers.bitselector_f[1].or2s[0].b")->"t.registers.bitselector_f[1].or2s[0]._y"+
"t.registers.bitselector_f[1].or2s[0]._y"->"t.registers.bitselector_f[1].or2s[0].y"-
~("t.registers.bitselector_f[1].or2s[0]._y")->"t.registers.bitselector_f[1].or2s[0].y"+
"t.registers.bitselector_f[1].or2s[1].a"|"t.registers.bitselector_f[1].or2s[1].b"->"t.registers.bitselector_f[1].or2s[1]._y"-
~("t.registers.bitselector_f[1].or2s[1].a"|"t.registers.bitselector_f[1].or2s[1].b")->"t.registers.bitselector_f[1].or2s[1]._y"+
"t.registers.bitselector_f[1].or2s[1]._y"->"t.registers.bitselector_f[1].or2s[1].y"-
~("t.registers.bitselector_f[1].or2s[1]._y")->"t.registers.bitselector_f[1].or2s[1].y"+
"t.registers.bitselector_f[1].or2s[2].a"|"t.registers.bitselector_f[1].or2s[2].b"->"t.registers.bitselector_f[1].or2s[2]._y"-
~("t.registers.bitselector_f[1].or2s[2].a"|"t.registers.bitselector_f[1].or2s[2].b")->"t.registers.bitselector_f[1].or2s[2]._y"+
"t.registers.bitselector_f[1].or2s[2]._y"->"t.registers.bitselector_f[1].or2s[2].y"-
~("t.registers.bitselector_f[1].or2s[2]._y")->"t.registers.bitselector_f[1].or2s[2].y"+
= "t.registers.bitselector_f[1].tmp[4]" "t.registers.bitselector_f[1].or2s[2].a"
= "t.registers.bitselector_f[1].tmp[4]" "t.registers.bitselector_f[1].or2s[0].y"
= "t.registers.bitselector_f[1].tmp[5]" "t.registers.bitselector_f[1].or2s[2].b"
= "t.registers.bitselector_f[1].tmp[5]" "t.registers.bitselector_f[1].or2s[1].y"
= "t.registers.bitselector_f[1].supply.vdd" "t.registers.bitselector_f[1].or2s[2].vdd"
= "t.registers.bitselector_f[1].supply.vdd" "t.registers.bitselector_f[1].or2s[1].vdd"
= "t.registers.bitselector_f[1].supply.vdd" "t.registers.bitselector_f[1].or2s[0].vdd"
= "t.registers.bitselector_f[1].supply.vss" "t.registers.bitselector_f[1].or2s[2].vss"
= "t.registers.bitselector_f[1].supply.vss" "t.registers.bitselector_f[1].or2s[1].vss"
= "t.registers.bitselector_f[1].supply.vss" "t.registers.bitselector_f[1].or2s[0].vss"
= "t.registers.bitselector_f[1].in[0]" "t.registers.bitselector_f[1].or2s[0].a"
= "t.registers.bitselector_f[1].in[0]" "t.registers.bitselector_f[1].tmp[0]"
= "t.registers.bitselector_f[1].in[1]" "t.registers.bitselector_f[1].or2s[0].b"
= "t.registers.bitselector_f[1].in[1]" "t.registers.bitselector_f[1].tmp[1]"
= "t.registers.bitselector_f[1].in[2]" "t.registers.bitselector_f[1].or2s[1].a"
= "t.registers.bitselector_f[1].in[2]" "t.registers.bitselector_f[1].tmp[2]"
= "t.registers.bitselector_f[1].in[3]" "t.registers.bitselector_f[1].or2s[1].b"
= "t.registers.bitselector_f[1].in[3]" "t.registers.bitselector_f[1].tmp[3]"
= "t.registers.bitselector_f[1].out" "t.registers.bitselector_f[1].or2s[2].y"
= "t.registers.bitselector_f[1].out" "t.registers.bitselector_f[1].tmp[6]"
= "t.registers.bitselector_f[1].out" "t.registers.output_buf.in.d.d[1].f"
= "t.registers.bitselector_f[1].out" "t.registers.output_buf.in.d.d[1].d[0]"
= "t.registers.bitselector_f[0].out" "t.registers.output_buf.in.d.d[0].f"
= "t.registers.bitselector_f[0].out" "t.registers.output_buf.in.d.d[0].d[0]"
= "t.registers._clock_temp" "t.registers.ack_dly.in"
= "t.registers._clock_temp" "t.registers.inv_clk.a"
= "t.registers._clock_temp" "t.registers.clk_dly.out"
"t.registers.word_selector_t[0].a"&"t.registers.word_selector_t[0].b"->"t.registers.word_selector_t[0]._y"-
~("t.registers.word_selector_t[0].a"&"t.registers.word_selector_t[0].b")->"t.registers.word_selector_t[0]._y"+
"t.registers.word_selector_t[0]._y"->"t.registers.word_selector_t[0].y"-
~("t.registers.word_selector_t[0]._y")->"t.registers.word_selector_t[0].y"+
"t.registers.word_selector_t[1].a"&"t.registers.word_selector_t[1].b"->"t.registers.word_selector_t[1]._y"-
~("t.registers.word_selector_t[1].a"&"t.registers.word_selector_t[1].b")->"t.registers.word_selector_t[1]._y"+
"t.registers.word_selector_t[1]._y"->"t.registers.word_selector_t[1].y"-
~("t.registers.word_selector_t[1]._y")->"t.registers.word_selector_t[1].y"+
"t.registers.word_selector_t[2].a"&"t.registers.word_selector_t[2].b"->"t.registers.word_selector_t[2]._y"-
~("t.registers.word_selector_t[2].a"&"t.registers.word_selector_t[2].b")->"t.registers.word_selector_t[2]._y"+
"t.registers.word_selector_t[2]._y"->"t.registers.word_selector_t[2].y"-
~("t.registers.word_selector_t[2]._y")->"t.registers.word_selector_t[2].y"+
"t.registers.word_selector_t[3].a"&"t.registers.word_selector_t[3].b"->"t.registers.word_selector_t[3]._y"-
~("t.registers.word_selector_t[3].a"&"t.registers.word_selector_t[3].b")->"t.registers.word_selector_t[3]._y"+
"t.registers.word_selector_t[3]._y"->"t.registers.word_selector_t[3].y"-
~("t.registers.word_selector_t[3]._y")->"t.registers.word_selector_t[3].y"+
"t.registers.word_selector_t[4].a"&"t.registers.word_selector_t[4].b"->"t.registers.word_selector_t[4]._y"-
~("t.registers.word_selector_t[4].a"&"t.registers.word_selector_t[4].b")->"t.registers.word_selector_t[4]._y"+
"t.registers.word_selector_t[4]._y"->"t.registers.word_selector_t[4].y"-
~("t.registers.word_selector_t[4]._y")->"t.registers.word_selector_t[4].y"+
"t.registers.word_selector_t[5].a"&"t.registers.word_selector_t[5].b"->"t.registers.word_selector_t[5]._y"-
~("t.registers.word_selector_t[5].a"&"t.registers.word_selector_t[5].b")->"t.registers.word_selector_t[5]._y"+
"t.registers.word_selector_t[5]._y"->"t.registers.word_selector_t[5].y"-
~("t.registers.word_selector_t[5]._y")->"t.registers.word_selector_t[5].y"+
"t.registers.word_selector_t[6].a"&"t.registers.word_selector_t[6].b"->"t.registers.word_selector_t[6]._y"-
~("t.registers.word_selector_t[6].a"&"t.registers.word_selector_t[6].b")->"t.registers.word_selector_t[6]._y"+
"t.registers.word_selector_t[6]._y"->"t.registers.word_selector_t[6].y"-
~("t.registers.word_selector_t[6]._y")->"t.registers.word_selector_t[6].y"+
"t.registers.word_selector_t[7].a"&"t.registers.word_selector_t[7].b"->"t.registers.word_selector_t[7]._y"-
~("t.registers.word_selector_t[7].a"&"t.registers.word_selector_t[7].b")->"t.registers.word_selector_t[7]._y"+
"t.registers.word_selector_t[7]._y"->"t.registers.word_selector_t[7].y"-
~("t.registers.word_selector_t[7]._y")->"t.registers.word_selector_t[7].y"+
= "t.registers.word_selector_t[7].y" "t.registers.bitselector_t[1].in[3]"
= "t.registers.word_selector_t[6].y" "t.registers.bitselector_t[0].in[3]"
= "t.registers.word_selector_t[5].y" "t.registers.bitselector_t[1].in[2]"
= "t.registers.word_selector_t[4].y" "t.registers.bitselector_t[0].in[2]"
= "t.registers.word_selector_t[3].y" "t.registers.bitselector_t[1].in[1]"
= "t.registers.word_selector_t[2].y" "t.registers.bitselector_t[0].in[1]"
= "t.registers.word_selector_t[1].y" "t.registers.bitselector_t[1].in[0]"
= "t.registers.word_selector_t[0].y" "t.registers.bitselector_t[0].in[0]"
"t.registers.ack_write_and.a"&"t.registers.ack_write_and.b"->"t.registers.ack_write_and._y"-
~("t.registers.ack_write_and.a"&"t.registers.ack_write_and.b")->"t.registers.ack_write_and._y"+
"t.registers.ack_write_and._y"->"t.registers.ack_write_and.y"-
~("t.registers.ack_write_and._y")->"t.registers.ack_write_and.y"+
"t.registers.ff[0].clk_B"->"t.registers.ff[0]._clk_B"-
~("t.registers.ff[0].clk_B")->"t.registers.ff[0]._clk_B"+
"t.registers.ff[0]._clk_B"->"t.registers.ff[0].__clk_B"-
~("t.registers.ff[0]._clk_B")->"t.registers.ff[0].__clk_B"+
~"t.registers.ff[0].d"&~"t.registers.ff[0]._clk_B"|~"t.registers.ff[0].reset_B"|~"t.registers.ff[0].__clk_B"&~"t.registers.ff[0]._mqi"->"t.registers.ff[0]._mqib"+
("t.registers.ff[0].d"&"t.registers.ff[0].__clk_B"|"t.registers.ff[0]._mqi"&"t.registers.ff[0]._clk_B")&"t.registers.ff[0].reset_B"->"t.registers.ff[0]._mqib"-
"t.registers.ff[0]._mqib"->"t.registers.ff[0]._mqi"-
~("t.registers.ff[0]._mqib")->"t.registers.ff[0]._mqi"+
~"t.registers.ff[0]._mqi"&~"t.registers.ff[0].__clk_B"|~"t.registers.ff[0].reset_B"|~"t.registers.ff[0]._sqi"&~"t.registers.ff[0]._clk_B"->"t.registers.ff[0]._sqib"+
("t.registers.ff[0]._mqi"&"t.registers.ff[0]._clk_B"|"t.registers.ff[0]._sqi"&"t.registers.ff[0].__clk_B")&"t.registers.ff[0].reset_B"->"t.registers.ff[0]._sqib"-
"t.registers.ff[0]._sqib"->"t.registers.ff[0]._sqi"-
~("t.registers.ff[0]._sqib")->"t.registers.ff[0]._sqi"+
"t.registers.ff[0]._sqib"->"t.registers.ff[0].q"-
~("t.registers.ff[0]._sqib")->"t.registers.ff[0].q"+
"t.registers.ff[0].q"->"t.registers.ff[0].q_B"-
~("t.registers.ff[0].q")->"t.registers.ff[0].q_B"+
"t.registers.ff[1].clk_B"->"t.registers.ff[1]._clk_B"-
~("t.registers.ff[1].clk_B")->"t.registers.ff[1]._clk_B"+
"t.registers.ff[1]._clk_B"->"t.registers.ff[1].__clk_B"-
~("t.registers.ff[1]._clk_B")->"t.registers.ff[1].__clk_B"+
~"t.registers.ff[1].d"&~"t.registers.ff[1]._clk_B"|~"t.registers.ff[1].reset_B"|~"t.registers.ff[1].__clk_B"&~"t.registers.ff[1]._mqi"->"t.registers.ff[1]._mqib"+
("t.registers.ff[1].d"&"t.registers.ff[1].__clk_B"|"t.registers.ff[1]._mqi"&"t.registers.ff[1]._clk_B")&"t.registers.ff[1].reset_B"->"t.registers.ff[1]._mqib"-
"t.registers.ff[1]._mqib"->"t.registers.ff[1]._mqi"-
~("t.registers.ff[1]._mqib")->"t.registers.ff[1]._mqi"+
~"t.registers.ff[1]._mqi"&~"t.registers.ff[1].__clk_B"|~"t.registers.ff[1].reset_B"|~"t.registers.ff[1]._sqi"&~"t.registers.ff[1]._clk_B"->"t.registers.ff[1]._sqib"+
("t.registers.ff[1]._mqi"&"t.registers.ff[1]._clk_B"|"t.registers.ff[1]._sqi"&"t.registers.ff[1].__clk_B")&"t.registers.ff[1].reset_B"->"t.registers.ff[1]._sqib"-
"t.registers.ff[1]._sqib"->"t.registers.ff[1]._sqi"-
~("t.registers.ff[1]._sqib")->"t.registers.ff[1]._sqi"+
"t.registers.ff[1]._sqib"->"t.registers.ff[1].q"-
~("t.registers.ff[1]._sqib")->"t.registers.ff[1].q"+
"t.registers.ff[1].q"->"t.registers.ff[1].q_B"-
~("t.registers.ff[1].q")->"t.registers.ff[1].q_B"+
"t.registers.ff[2].clk_B"->"t.registers.ff[2]._clk_B"-
~("t.registers.ff[2].clk_B")->"t.registers.ff[2]._clk_B"+
"t.registers.ff[2]._clk_B"->"t.registers.ff[2].__clk_B"-
~("t.registers.ff[2]._clk_B")->"t.registers.ff[2].__clk_B"+
~"t.registers.ff[2].d"&~"t.registers.ff[2]._clk_B"|~"t.registers.ff[2].reset_B"|~"t.registers.ff[2].__clk_B"&~"t.registers.ff[2]._mqi"->"t.registers.ff[2]._mqib"+
("t.registers.ff[2].d"&"t.registers.ff[2].__clk_B"|"t.registers.ff[2]._mqi"&"t.registers.ff[2]._clk_B")&"t.registers.ff[2].reset_B"->"t.registers.ff[2]._mqib"-
"t.registers.ff[2]._mqib"->"t.registers.ff[2]._mqi"-
~("t.registers.ff[2]._mqib")->"t.registers.ff[2]._mqi"+
~"t.registers.ff[2]._mqi"&~"t.registers.ff[2].__clk_B"|~"t.registers.ff[2].reset_B"|~"t.registers.ff[2]._sqi"&~"t.registers.ff[2]._clk_B"->"t.registers.ff[2]._sqib"+
("t.registers.ff[2]._mqi"&"t.registers.ff[2]._clk_B"|"t.registers.ff[2]._sqi"&"t.registers.ff[2].__clk_B")&"t.registers.ff[2].reset_B"->"t.registers.ff[2]._sqib"-
"t.registers.ff[2]._sqib"->"t.registers.ff[2]._sqi"-
~("t.registers.ff[2]._sqib")->"t.registers.ff[2]._sqi"+
"t.registers.ff[2]._sqib"->"t.registers.ff[2].q"-
~("t.registers.ff[2]._sqib")->"t.registers.ff[2].q"+
"t.registers.ff[2].q"->"t.registers.ff[2].q_B"-
~("t.registers.ff[2].q")->"t.registers.ff[2].q_B"+
"t.registers.ff[3].clk_B"->"t.registers.ff[3]._clk_B"-
~("t.registers.ff[3].clk_B")->"t.registers.ff[3]._clk_B"+
"t.registers.ff[3]._clk_B"->"t.registers.ff[3].__clk_B"-
~("t.registers.ff[3]._clk_B")->"t.registers.ff[3].__clk_B"+
~"t.registers.ff[3].d"&~"t.registers.ff[3]._clk_B"|~"t.registers.ff[3].reset_B"|~"t.registers.ff[3].__clk_B"&~"t.registers.ff[3]._mqi"->"t.registers.ff[3]._mqib"+
("t.registers.ff[3].d"&"t.registers.ff[3].__clk_B"|"t.registers.ff[3]._mqi"&"t.registers.ff[3]._clk_B")&"t.registers.ff[3].reset_B"->"t.registers.ff[3]._mqib"-
"t.registers.ff[3]._mqib"->"t.registers.ff[3]._mqi"-
~("t.registers.ff[3]._mqib")->"t.registers.ff[3]._mqi"+
~"t.registers.ff[3]._mqi"&~"t.registers.ff[3].__clk_B"|~"t.registers.ff[3].reset_B"|~"t.registers.ff[3]._sqi"&~"t.registers.ff[3]._clk_B"->"t.registers.ff[3]._sqib"+
("t.registers.ff[3]._mqi"&"t.registers.ff[3]._clk_B"|"t.registers.ff[3]._sqi"&"t.registers.ff[3].__clk_B")&"t.registers.ff[3].reset_B"->"t.registers.ff[3]._sqib"-
"t.registers.ff[3]._sqib"->"t.registers.ff[3]._sqi"-
~("t.registers.ff[3]._sqib")->"t.registers.ff[3]._sqi"+
"t.registers.ff[3]._sqib"->"t.registers.ff[3].q"-
~("t.registers.ff[3]._sqib")->"t.registers.ff[3].q"+
"t.registers.ff[3].q"->"t.registers.ff[3].q_B"-
~("t.registers.ff[3].q")->"t.registers.ff[3].q_B"+
"t.registers.ff[4].clk_B"->"t.registers.ff[4]._clk_B"-
~("t.registers.ff[4].clk_B")->"t.registers.ff[4]._clk_B"+
"t.registers.ff[4]._clk_B"->"t.registers.ff[4].__clk_B"-
~("t.registers.ff[4]._clk_B")->"t.registers.ff[4].__clk_B"+
~"t.registers.ff[4].d"&~"t.registers.ff[4]._clk_B"|~"t.registers.ff[4].reset_B"|~"t.registers.ff[4].__clk_B"&~"t.registers.ff[4]._mqi"->"t.registers.ff[4]._mqib"+
("t.registers.ff[4].d"&"t.registers.ff[4].__clk_B"|"t.registers.ff[4]._mqi"&"t.registers.ff[4]._clk_B")&"t.registers.ff[4].reset_B"->"t.registers.ff[4]._mqib"-
"t.registers.ff[4]._mqib"->"t.registers.ff[4]._mqi"-
~("t.registers.ff[4]._mqib")->"t.registers.ff[4]._mqi"+
~"t.registers.ff[4]._mqi"&~"t.registers.ff[4].__clk_B"|~"t.registers.ff[4].reset_B"|~"t.registers.ff[4]._sqi"&~"t.registers.ff[4]._clk_B"->"t.registers.ff[4]._sqib"+
("t.registers.ff[4]._mqi"&"t.registers.ff[4]._clk_B"|"t.registers.ff[4]._sqi"&"t.registers.ff[4].__clk_B")&"t.registers.ff[4].reset_B"->"t.registers.ff[4]._sqib"-
"t.registers.ff[4]._sqib"->"t.registers.ff[4]._sqi"-
~("t.registers.ff[4]._sqib")->"t.registers.ff[4]._sqi"+
"t.registers.ff[4]._sqib"->"t.registers.ff[4].q"-
~("t.registers.ff[4]._sqib")->"t.registers.ff[4].q"+
"t.registers.ff[4].q"->"t.registers.ff[4].q_B"-
~("t.registers.ff[4].q")->"t.registers.ff[4].q_B"+
"t.registers.ff[5].clk_B"->"t.registers.ff[5]._clk_B"-
~("t.registers.ff[5].clk_B")->"t.registers.ff[5]._clk_B"+
"t.registers.ff[5]._clk_B"->"t.registers.ff[5].__clk_B"-
~("t.registers.ff[5]._clk_B")->"t.registers.ff[5].__clk_B"+
~"t.registers.ff[5].d"&~"t.registers.ff[5]._clk_B"|~"t.registers.ff[5].reset_B"|~"t.registers.ff[5].__clk_B"&~"t.registers.ff[5]._mqi"->"t.registers.ff[5]._mqib"+
("t.registers.ff[5].d"&"t.registers.ff[5].__clk_B"|"t.registers.ff[5]._mqi"&"t.registers.ff[5]._clk_B")&"t.registers.ff[5].reset_B"->"t.registers.ff[5]._mqib"-
"t.registers.ff[5]._mqib"->"t.registers.ff[5]._mqi"-
~("t.registers.ff[5]._mqib")->"t.registers.ff[5]._mqi"+
~"t.registers.ff[5]._mqi"&~"t.registers.ff[5].__clk_B"|~"t.registers.ff[5].reset_B"|~"t.registers.ff[5]._sqi"&~"t.registers.ff[5]._clk_B"->"t.registers.ff[5]._sqib"+
("t.registers.ff[5]._mqi"&"t.registers.ff[5]._clk_B"|"t.registers.ff[5]._sqi"&"t.registers.ff[5].__clk_B")&"t.registers.ff[5].reset_B"->"t.registers.ff[5]._sqib"-
"t.registers.ff[5]._sqib"->"t.registers.ff[5]._sqi"-
~("t.registers.ff[5]._sqib")->"t.registers.ff[5]._sqi"+
"t.registers.ff[5]._sqib"->"t.registers.ff[5].q"-
~("t.registers.ff[5]._sqib")->"t.registers.ff[5].q"+
"t.registers.ff[5].q"->"t.registers.ff[5].q_B"-
~("t.registers.ff[5].q")->"t.registers.ff[5].q_B"+
"t.registers.ff[6].clk_B"->"t.registers.ff[6]._clk_B"-
~("t.registers.ff[6].clk_B")->"t.registers.ff[6]._clk_B"+
"t.registers.ff[6]._clk_B"->"t.registers.ff[6].__clk_B"-
~("t.registers.ff[6]._clk_B")->"t.registers.ff[6].__clk_B"+
~"t.registers.ff[6].d"&~"t.registers.ff[6]._clk_B"|~"t.registers.ff[6].reset_B"|~"t.registers.ff[6].__clk_B"&~"t.registers.ff[6]._mqi"->"t.registers.ff[6]._mqib"+
("t.registers.ff[6].d"&"t.registers.ff[6].__clk_B"|"t.registers.ff[6]._mqi"&"t.registers.ff[6]._clk_B")&"t.registers.ff[6].reset_B"->"t.registers.ff[6]._mqib"-
"t.registers.ff[6]._mqib"->"t.registers.ff[6]._mqi"-
~("t.registers.ff[6]._mqib")->"t.registers.ff[6]._mqi"+
~"t.registers.ff[6]._mqi"&~"t.registers.ff[6].__clk_B"|~"t.registers.ff[6].reset_B"|~"t.registers.ff[6]._sqi"&~"t.registers.ff[6]._clk_B"->"t.registers.ff[6]._sqib"+
("t.registers.ff[6]._mqi"&"t.registers.ff[6]._clk_B"|"t.registers.ff[6]._sqi"&"t.registers.ff[6].__clk_B")&"t.registers.ff[6].reset_B"->"t.registers.ff[6]._sqib"-
"t.registers.ff[6]._sqib"->"t.registers.ff[6]._sqi"-
~("t.registers.ff[6]._sqib")->"t.registers.ff[6]._sqi"+
"t.registers.ff[6]._sqib"->"t.registers.ff[6].q"-
~("t.registers.ff[6]._sqib")->"t.registers.ff[6].q"+
"t.registers.ff[6].q"->"t.registers.ff[6].q_B"-
~("t.registers.ff[6].q")->"t.registers.ff[6].q_B"+
"t.registers.ff[7].clk_B"->"t.registers.ff[7]._clk_B"-
~("t.registers.ff[7].clk_B")->"t.registers.ff[7]._clk_B"+
"t.registers.ff[7]._clk_B"->"t.registers.ff[7].__clk_B"-
~("t.registers.ff[7]._clk_B")->"t.registers.ff[7].__clk_B"+
~"t.registers.ff[7].d"&~"t.registers.ff[7]._clk_B"|~"t.registers.ff[7].reset_B"|~"t.registers.ff[7].__clk_B"&~"t.registers.ff[7]._mqi"->"t.registers.ff[7]._mqib"+
("t.registers.ff[7].d"&"t.registers.ff[7].__clk_B"|"t.registers.ff[7]._mqi"&"t.registers.ff[7]._clk_B")&"t.registers.ff[7].reset_B"->"t.registers.ff[7]._mqib"-
"t.registers.ff[7]._mqib"->"t.registers.ff[7]._mqi"-
~("t.registers.ff[7]._mqib")->"t.registers.ff[7]._mqi"+
~"t.registers.ff[7]._mqi"&~"t.registers.ff[7].__clk_B"|~"t.registers.ff[7].reset_B"|~"t.registers.ff[7]._sqi"&~"t.registers.ff[7]._clk_B"->"t.registers.ff[7]._sqib"+
("t.registers.ff[7]._mqi"&"t.registers.ff[7]._clk_B"|"t.registers.ff[7]._sqi"&"t.registers.ff[7].__clk_B")&"t.registers.ff[7].reset_B"->"t.registers.ff[7]._sqib"-
"t.registers.ff[7]._sqib"->"t.registers.ff[7]._sqi"-
~("t.registers.ff[7]._sqib")->"t.registers.ff[7]._sqi"+
"t.registers.ff[7]._sqib"->"t.registers.ff[7].q"-
~("t.registers.ff[7]._sqib")->"t.registers.ff[7].q"+
"t.registers.ff[7].q"->"t.registers.ff[7].q_B"-
~("t.registers.ff[7].q")->"t.registers.ff[7].q_B"+
= "t.registers.ff[7].clk_B" "t.registers.clock_buffer[3].out[1]"
= "t.registers.ff[7].clk_B" "t.registers.clock_buffer[3].out[0]"
= "t.registers.ff[7].clk_B" "t.registers.ff[6].clk_B"
= "t.registers.ff[7].q_B" "t.registers.word_selector_f[7].b"
= "t.registers.ff[6].q_B" "t.registers.word_selector_f[6].b"
= "t.registers.ff[5].clk_B" "t.registers.clock_buffer[2].out[1]"
= "t.registers.ff[5].clk_B" "t.registers.clock_buffer[2].out[0]"
= "t.registers.ff[5].clk_B" "t.registers.ff[4].clk_B"
= "t.registers.ff[5].q_B" "t.registers.word_selector_f[5].b"
= "t.registers.ff[4].q_B" "t.registers.word_selector_f[4].b"
= "t.registers.ff[3].clk_B" "t.registers.clock_buffer[1].out[1]"
= "t.registers.ff[3].clk_B" "t.registers.clock_buffer[1].out[0]"
= "t.registers.ff[3].clk_B" "t.registers.ff[2].clk_B"
= "t.registers.ff[3].q_B" "t.registers.word_selector_f[3].b"
= "t.registers.ff[2].q_B" "t.registers.word_selector_f[2].b"
= "t.registers.ff[1].clk_B" "t.registers.clock_buffer[0].out[1]"
= "t.registers.ff[1].clk_B" "t.registers.clock_buffer[0].out[0]"
= "t.registers.ff[1].clk_B" "t.registers.ff[0].clk_B"
= "t.registers.ff[1].q_B" "t.registers.word_selector_f[1].b"
= "t.registers.ff[0].q_B" "t.registers.word_selector_f[0].b"
= "t.registers._clock_temp_inv" "t.registers.clk_X.in"
= "t.registers._clock_temp_inv" "t.registers.inv_clk.y"
= "t.registers.reset_mem_B" "t.registers.reset_buf_BXX.a"
"t.registers.clk_X.buf1.a"->"t.registers.clk_X.buf1._y"-
~("t.registers.clk_X.buf1.a")->"t.registers.clk_X.buf1._y"+
"t.registers.clk_X.buf1._y"->"t.registers.clk_X.buf1.y"-
~("t.registers.clk_X.buf1._y")->"t.registers.clk_X.buf1.y"+
= "t.registers.clk_X.supply.vdd" "t.registers.clk_X.buf1.vdd"
= "t.registers.clk_X.supply.vss" "t.registers.clk_X.buf1.vss"
= "t.registers.clk_X.out[0]" "t.registers.clk_X.out[3]"
= "t.registers.clk_X.out[0]" "t.registers.clk_X.out[2]"
= "t.registers.clk_X.out[0]" "t.registers.clk_X.out[1]"
= "t.registers.clk_X.out[0]" "t.registers.clk_X.buf1.y"
= "t.registers.clk_X.in" "t.registers.clk_X.buf1.a"
"t.registers.reset_buf_BX.a"->"t.registers.reset_buf_BX._y"-
~("t.registers.reset_buf_BX.a")->"t.registers.reset_buf_BX._y"+
"t.registers.reset_buf_BX._y"->"t.registers.reset_buf_BX.y"-
~("t.registers.reset_buf_BX._y")->"t.registers.reset_buf_BX.y"+
= "t.registers.in.d.d[0].d[0]" "t.registers.in.d.d[0].f"
= "t.registers.in.d.d[0].d[1]" "t.registers.in.d.d[0].t"
= "t.registers.in.d.d[1].d[0]" "t.registers.in.d.d[1].f"
= "t.registers.in.d.d[1].d[1]" "t.registers.in.d.d[1].t"
= "t.registers.in.d.d[2].d[0]" "t.registers.in.d.d[2].f"
= "t.registers.in.d.d[2].d[1]" "t.registers.in.d.d[2].t"
= "t.registers.in.d.d[3].d[0]" "t.registers.in.d.d[3].f"
= "t.registers.in.d.d[3].d[1]" "t.registers.in.d.d[3].t"
= "t.registers.in.d.d[4].d[0]" "t.registers.in.d.d[4].f"
= "t.registers.in.d.d[4].d[1]" "t.registers.in.d.d[4].t"
= "t.registers.in.d.d[4].d[0]" "t.registers.in.d.d[4].f"
= "t.registers.in.d.d[4].d[1]" "t.registers.in.d.d[4].t"
= "t.registers.in.d.d[3].d[0]" "t.registers.in.d.d[3].f"
= "t.registers.in.d.d[3].d[1]" "t.registers.in.d.d[3].t"
= "t.registers.in.d.d[2].d[0]" "t.registers.in.d.d[2].f"
= "t.registers.in.d.d[2].d[1]" "t.registers.in.d.d[2].t"
= "t.registers.in.d.d[1].d[0]" "t.registers.in.d.d[1].f"
= "t.registers.in.d.d[1].d[1]" "t.registers.in.d.d[1].t"
= "t.registers.in.d.d[0].d[0]" "t.registers.in.d.d[0].f"
= "t.registers.in.d.d[0].d[1]" "t.registers.in.d.d[0].t"
= "t.registers.in.d.d[4].d[0]" "t.registers.in.d.d[4].f"
= "t.registers.in.d.d[4].d[1]" "t.registers.in.d.d[4].t"
= "t.registers.in.d.d[3].d[0]" "t.registers.in.d.d[3].f"
= "t.registers.in.d.d[3].d[1]" "t.registers.in.d.d[3].t"
= "t.registers.in.d.d[2].d[0]" "t.registers.in.d.d[2].f"
= "t.registers.in.d.d[2].d[1]" "t.registers.in.d.d[2].t"
= "t.registers.in.d.d[1].d[0]" "t.registers.in.d.d[1].f"
= "t.registers.in.d.d[1].d[1]" "t.registers.in.d.d[1].t"
= "t.registers.in.d.d[0].d[0]" "t.registers.in.d.d[0].f"
= "t.registers.in.d.d[0].d[1]" "t.registers.in.d.d[0].t"
= "t.registers.in.d.d[0].f" "t.registers.val_input.in.d[0].f"
= "t.registers.in.d.d[0].t" "t.registers.val_input.in.d[0].t"
= "t.registers.in.d.d[0].d[0]" "t.registers.val_input.in.d[0].d[0]"
= "t.registers.in.d.d[0].d[1]" "t.registers.val_input.in.d[0].d[1]"
= "t.registers.in.d.d[1].f" "t.registers.val_input.in.d[1].f"
= "t.registers.in.d.d[1].t" "t.registers.val_input.in.d[1].t"
= "t.registers.in.d.d[1].d[0]" "t.registers.val_input.in.d[1].d[0]"
= "t.registers.in.d.d[1].d[1]" "t.registers.val_input.in.d[1].d[1]"
= "t.registers.in.d.d[2].f" "t.registers.val_input.in.d[2].f"
= "t.registers.in.d.d[2].t" "t.registers.val_input.in.d[2].t"
= "t.registers.in.d.d[2].d[0]" "t.registers.val_input.in.d[2].d[0]"
= "t.registers.in.d.d[2].d[1]" "t.registers.val_input.in.d[2].d[1]"
= "t.registers.in.d.d[3].f" "t.registers.val_input.in.d[3].f"
= "t.registers.in.d.d[3].t" "t.registers.val_input.in.d[3].t"
= "t.registers.in.d.d[3].d[0]" "t.registers.val_input.in.d[3].d[0]"
= "t.registers.in.d.d[3].d[1]" "t.registers.val_input.in.d[3].d[1]"
= "t.registers.in.d.d[4].f" "t.registers.val_input.in.d[4].f"
= "t.registers.in.d.d[4].t" "t.registers.val_input.in.d[4].t"
= "t.registers.in.d.d[4].d[0]" "t.registers.val_input.in.d[4].d[0]"
= "t.registers.in.d.d[4].d[1]" "t.registers.val_input.in.d[4].d[1]"
= "t.registers.in.a" "t.registers.ack_input_X.out"
= "t.registers.in.v" "t.registers.val_input_X.out"
= "t.registers.in.d.d[4].d[0]" "t.registers.ack_write_and.a"
= "t.registers.in.d.d[4].d[0]" "t.registers.clk_switch.b"
= "t.registers.in.d.d[4].d[0]" "t.registers.in.d.d[4].f"
= "t.registers.in.d.d[4].d[1]" "t.registers.word_to_read[3].a"
= "t.registers.in.d.d[4].d[1]" "t.registers.word_to_read[2].a"
= "t.registers.in.d.d[4].d[1]" "t.registers.word_to_read[1].a"
= "t.registers.in.d.d[4].d[1]" "t.registers.word_to_read[0].a"
= "t.registers.in.d.d[4].d[1]" "t.registers.ack_read_and.a"
= "t.registers.in.d.d[4].d[1]" "t.registers.address_propagator_f[1].a"
= "t.registers.in.d.d[4].d[1]" "t.registers.address_propagator_t[1].a"
= "t.registers.in.d.d[4].d[1]" "t.registers.address_propagator_f[0].a"
= "t.registers.in.d.d[4].d[1]" "t.registers.address_propagator_t[0].a"
= "t.registers.in.d.d[4].d[1]" "t.registers.in.d.d[4].t"
= "t.registers.in.d.d[3].d[0]" "t.registers.atree[1].in[1]"
= "t.registers.in.d.d[3].d[0]" "t.registers.atree[0].in[1]"
= "t.registers.in.d.d[3].d[0]" "t.registers.address_propagator_f[1].b"
= "t.registers.in.d.d[3].d[0]" "t.registers.in.d.d[3].f"
= "t.registers.in.d.d[3].d[1]" "t.registers.atree[3].in[1]"
= "t.registers.in.d.d[3].d[1]" "t.registers.atree[2].in[1]"
= "t.registers.in.d.d[3].d[1]" "t.registers.address_propagator_t[1].b"
= "t.registers.in.d.d[3].d[1]" "t.registers.in.d.d[3].t"
= "t.registers.in.d.d[2].d[0]" "t.registers.atree[2].in[0]"
= "t.registers.in.d.d[2].d[0]" "t.registers.atree[0].in[0]"
= "t.registers.in.d.d[2].d[0]" "t.registers.address_propagator_f[0].b"
= "t.registers.in.d.d[2].d[0]" "t.registers.in.d.d[2].f"
= "t.registers.in.d.d[2].d[1]" "t.registers.atree[3].in[0]"
= "t.registers.in.d.d[2].d[1]" "t.registers.atree[1].in[0]"
= "t.registers.in.d.d[2].d[1]" "t.registers.address_propagator_t[0].b"
= "t.registers.in.d.d[2].d[1]" "t.registers.in.d.d[2].t"
= "t.registers.in.d.d[1].d[0]" "t.registers.in.d.d[1].f"
= "t.registers.in.d.d[1].d[1]" "t.registers.ff[7].d"
= "t.registers.in.d.d[1].d[1]" "t.registers.ff[5].d"
= "t.registers.in.d.d[1].d[1]" "t.registers.ff[3].d"
= "t.registers.in.d.d[1].d[1]" "t.registers.ff[1].d"
= "t.registers.in.d.d[1].d[1]" "t.registers.in.d.d[1].t"
= "t.registers.in.d.d[0].d[0]" "t.registers.in.d.d[0].f"
= "t.registers.in.d.d[0].d[1]" "t.registers.ff[6].d"
= "t.registers.in.d.d[0].d[1]" "t.registers.ff[4].d"
= "t.registers.in.d.d[0].d[1]" "t.registers.ff[2].d"
= "t.registers.in.d.d[0].d[1]" "t.registers.ff[0].d"
= "t.registers.in.d.d[0].d[1]" "t.registers.in.d.d[0].t"
"t.registers.word_to_read_X[0].buf1.a"->"t.registers.word_to_read_X[0].buf1._y"-
~("t.registers.word_to_read_X[0].buf1.a")->"t.registers.word_to_read_X[0].buf1._y"+
"t.registers.word_to_read_X[0].buf1._y"->"t.registers.word_to_read_X[0].buf1.y"-
~("t.registers.word_to_read_X[0].buf1._y")->"t.registers.word_to_read_X[0].buf1.y"+
= "t.registers.word_to_read_X[0].supply.vdd" "t.registers.word_to_read_X[0].buf1.vdd"
= "t.registers.word_to_read_X[0].supply.vss" "t.registers.word_to_read_X[0].buf1.vss"
= "t.registers.word_to_read_X[0].out[0]" "t.registers.word_to_read_X[0].out[3]"
= "t.registers.word_to_read_X[0].out[0]" "t.registers.word_to_read_X[0].out[2]"
= "t.registers.word_to_read_X[0].out[0]" "t.registers.word_to_read_X[0].out[1]"
= "t.registers.word_to_read_X[0].out[0]" "t.registers.word_to_read_X[0].buf1.y"
= "t.registers.word_to_read_X[0].in" "t.registers.word_to_read_X[0].buf1.a"
"t.registers.word_to_read_X[1].buf1.a"->"t.registers.word_to_read_X[1].buf1._y"-
~("t.registers.word_to_read_X[1].buf1.a")->"t.registers.word_to_read_X[1].buf1._y"+
"t.registers.word_to_read_X[1].buf1._y"->"t.registers.word_to_read_X[1].buf1.y"-
~("t.registers.word_to_read_X[1].buf1._y")->"t.registers.word_to_read_X[1].buf1.y"+
= "t.registers.word_to_read_X[1].supply.vdd" "t.registers.word_to_read_X[1].buf1.vdd"
= "t.registers.word_to_read_X[1].supply.vss" "t.registers.word_to_read_X[1].buf1.vss"
= "t.registers.word_to_read_X[1].out[0]" "t.registers.word_to_read_X[1].out[3]"
= "t.registers.word_to_read_X[1].out[0]" "t.registers.word_to_read_X[1].out[2]"
= "t.registers.word_to_read_X[1].out[0]" "t.registers.word_to_read_X[1].out[1]"
= "t.registers.word_to_read_X[1].out[0]" "t.registers.word_to_read_X[1].buf1.y"
= "t.registers.word_to_read_X[1].in" "t.registers.word_to_read_X[1].buf1.a"
"t.registers.word_to_read_X[2].buf1.a"->"t.registers.word_to_read_X[2].buf1._y"-
~("t.registers.word_to_read_X[2].buf1.a")->"t.registers.word_to_read_X[2].buf1._y"+
"t.registers.word_to_read_X[2].buf1._y"->"t.registers.word_to_read_X[2].buf1.y"-
~("t.registers.word_to_read_X[2].buf1._y")->"t.registers.word_to_read_X[2].buf1.y"+
= "t.registers.word_to_read_X[2].supply.vdd" "t.registers.word_to_read_X[2].buf1.vdd"
= "t.registers.word_to_read_X[2].supply.vss" "t.registers.word_to_read_X[2].buf1.vss"
= "t.registers.word_to_read_X[2].out[0]" "t.registers.word_to_read_X[2].out[3]"
= "t.registers.word_to_read_X[2].out[0]" "t.registers.word_to_read_X[2].out[2]"
= "t.registers.word_to_read_X[2].out[0]" "t.registers.word_to_read_X[2].out[1]"
= "t.registers.word_to_read_X[2].out[0]" "t.registers.word_to_read_X[2].buf1.y"
= "t.registers.word_to_read_X[2].in" "t.registers.word_to_read_X[2].buf1.a"
"t.registers.word_to_read_X[3].buf1.a"->"t.registers.word_to_read_X[3].buf1._y"-
~("t.registers.word_to_read_X[3].buf1.a")->"t.registers.word_to_read_X[3].buf1._y"+
"t.registers.word_to_read_X[3].buf1._y"->"t.registers.word_to_read_X[3].buf1.y"-
~("t.registers.word_to_read_X[3].buf1._y")->"t.registers.word_to_read_X[3].buf1.y"+
= "t.registers.word_to_read_X[3].supply.vdd" "t.registers.word_to_read_X[3].buf1.vdd"
= "t.registers.word_to_read_X[3].supply.vss" "t.registers.word_to_read_X[3].buf1.vss"
= "t.registers.word_to_read_X[3].out[0]" "t.registers.word_to_read_X[3].out[3]"
= "t.registers.word_to_read_X[3].out[0]" "t.registers.word_to_read_X[3].out[2]"
= "t.registers.word_to_read_X[3].out[0]" "t.registers.word_to_read_X[3].out[1]"
= "t.registers.word_to_read_X[3].out[0]" "t.registers.word_to_read_X[3].buf1.y"
= "t.registers.word_to_read_X[3].in" "t.registers.word_to_read_X[3].buf1.a"
"t.registers.ack_dly.and2[0].a"&"t.registers.ack_dly.and2[0].b"->"t.registers.ack_dly.and2[0]._y"-
~("t.registers.ack_dly.and2[0].a"&"t.registers.ack_dly.and2[0].b")->"t.registers.ack_dly.and2[0]._y"+
"t.registers.ack_dly.and2[0]._y"->"t.registers.ack_dly.and2[0].y"-
~("t.registers.ack_dly.and2[0]._y")->"t.registers.ack_dly.and2[0].y"+
"t.registers.ack_dly.and2[1].a"&"t.registers.ack_dly.and2[1].b"->"t.registers.ack_dly.and2[1]._y"-
~("t.registers.ack_dly.and2[1].a"&"t.registers.ack_dly.and2[1].b")->"t.registers.ack_dly.and2[1]._y"+
"t.registers.ack_dly.and2[1]._y"->"t.registers.ack_dly.and2[1].y"-
~("t.registers.ack_dly.and2[1]._y")->"t.registers.ack_dly.and2[1].y"+
= "t.registers.ack_dly.s[0]" "t.registers.ack_dly.mu2[0].s"
= "t.registers.ack_dly.s[0]" "t.registers.ack_dly.and2[0].b"
= "t.registers.ack_dly.s[1]" "t.registers.ack_dly.mu2[1].s"
= "t.registers.ack_dly.s[1]" "t.registers.ack_dly.and2[1].b"
= "t.registers.ack_dly.supply.vdd" "t.registers.ack_dly.dly[2].vdd"
= "t.registers.ack_dly.supply.vdd" "t.registers.ack_dly.dly[1].vdd"
= "t.registers.ack_dly.supply.vdd" "t.registers.ack_dly.dly[0].vdd"
= "t.registers.ack_dly.supply.vdd" "t.registers.ack_dly.mu2[1].vdd"
= "t.registers.ack_dly.supply.vdd" "t.registers.ack_dly.mu2[0].vdd"
= "t.registers.ack_dly.supply.vdd" "t.registers.ack_dly.and2[1].vdd"
= "t.registers.ack_dly.supply.vdd" "t.registers.ack_dly.and2[0].vdd"
= "t.registers.ack_dly.supply.vss" "t.registers.ack_dly.dly[2].vss"
= "t.registers.ack_dly.supply.vss" "t.registers.ack_dly.dly[1].vss"
= "t.registers.ack_dly.supply.vss" "t.registers.ack_dly.dly[0].vss"
= "t.registers.ack_dly.supply.vss" "t.registers.ack_dly.mu2[1].vss"
= "t.registers.ack_dly.supply.vss" "t.registers.ack_dly.mu2[0].vss"
= "t.registers.ack_dly.supply.vss" "t.registers.ack_dly.and2[1].vss"
= "t.registers.ack_dly.supply.vss" "t.registers.ack_dly.and2[0].vss"
"t.registers.ack_dly.mu2[0].s"->"t.registers.ack_dly.mu2[0]._s"-
~("t.registers.ack_dly.mu2[0].s")->"t.registers.ack_dly.mu2[0]._s"+
~"t.registers.ack_dly.mu2[0].a"&~"t.registers.ack_dly.mu2[0].s"|~"t.registers.ack_dly.mu2[0].b"&~"t.registers.ack_dly.mu2[0]._s"->"t.registers.ack_dly.mu2[0]._y"+
"t.registers.ack_dly.mu2[0].a"&"t.registers.ack_dly.mu2[0]._s"|"t.registers.ack_dly.mu2[0].b"&"t.registers.ack_dly.mu2[0].s"->"t.registers.ack_dly.mu2[0]._y"-
"t.registers.ack_dly.mu2[0]._y"->"t.registers.ack_dly.mu2[0].y"-
~("t.registers.ack_dly.mu2[0]._y")->"t.registers.ack_dly.mu2[0].y"+
"t.registers.ack_dly.mu2[1].s"->"t.registers.ack_dly.mu2[1]._s"-
~("t.registers.ack_dly.mu2[1].s")->"t.registers.ack_dly.mu2[1]._s"+
~"t.registers.ack_dly.mu2[1].a"&~"t.registers.ack_dly.mu2[1].s"|~"t.registers.ack_dly.mu2[1].b"&~"t.registers.ack_dly.mu2[1]._s"->"t.registers.ack_dly.mu2[1]._y"+
"t.registers.ack_dly.mu2[1].a"&"t.registers.ack_dly.mu2[1]._s"|"t.registers.ack_dly.mu2[1].b"&"t.registers.ack_dly.mu2[1].s"->"t.registers.ack_dly.mu2[1]._y"-
"t.registers.ack_dly.mu2[1]._y"->"t.registers.ack_dly.mu2[1].y"-
~("t.registers.ack_dly.mu2[1]._y")->"t.registers.ack_dly.mu2[1].y"+
"t.registers.ack_dly.dly[0].a"->"t.registers.ack_dly.dly[0]._y"-
~("t.registers.ack_dly.dly[0].a")->"t.registers.ack_dly.dly[0]._y"+
"t.registers.ack_dly.dly[0]._y"->"t.registers.ack_dly.dly[0].__y"-
~("t.registers.ack_dly.dly[0]._y")->"t.registers.ack_dly.dly[0].__y"+
"t.registers.ack_dly.dly[0].__y"->"t.registers.ack_dly.dly[0].___y"-
~("t.registers.ack_dly.dly[0].__y")->"t.registers.ack_dly.dly[0].___y"+
"t.registers.ack_dly.dly[0].___y"->"t.registers.ack_dly.dly[0].y"-
~("t.registers.ack_dly.dly[0].___y")->"t.registers.ack_dly.dly[0].y"+
"t.registers.ack_dly.dly[1].a"->"t.registers.ack_dly.dly[1]._y"-
~("t.registers.ack_dly.dly[1].a")->"t.registers.ack_dly.dly[1]._y"+
"t.registers.ack_dly.dly[1]._y"->"t.registers.ack_dly.dly[1].__y"-
~("t.registers.ack_dly.dly[1]._y")->"t.registers.ack_dly.dly[1].__y"+
"t.registers.ack_dly.dly[1].__y"->"t.registers.ack_dly.dly[1].___y"-
~("t.registers.ack_dly.dly[1].__y")->"t.registers.ack_dly.dly[1].___y"+
"t.registers.ack_dly.dly[1].___y"->"t.registers.ack_dly.dly[1].y"-
~("t.registers.ack_dly.dly[1].___y")->"t.registers.ack_dly.dly[1].y"+
"t.registers.ack_dly.dly[2].a"->"t.registers.ack_dly.dly[2]._y"-
~("t.registers.ack_dly.dly[2].a")->"t.registers.ack_dly.dly[2]._y"+
"t.registers.ack_dly.dly[2]._y"->"t.registers.ack_dly.dly[2].__y"-
~("t.registers.ack_dly.dly[2]._y")->"t.registers.ack_dly.dly[2].__y"+
"t.registers.ack_dly.dly[2].__y"->"t.registers.ack_dly.dly[2].___y"-
~("t.registers.ack_dly.dly[2].__y")->"t.registers.ack_dly.dly[2].___y"+
"t.registers.ack_dly.dly[2].___y"->"t.registers.ack_dly.dly[2].y"-
~("t.registers.ack_dly.dly[2].___y")->"t.registers.ack_dly.dly[2].y"+
= "t.registers.ack_dly.dly[2].y" "t.registers.ack_dly.mu2[1].b"
= "t.registers.ack_dly.dly[2].a" "t.registers.ack_dly.dly[1].y"
= "t.registers.ack_dly.dly[1].a" "t.registers.ack_dly.and2[1].y"
= "t.registers.ack_dly.dly[0].y" "t.registers.ack_dly.mu2[0].b"
= "t.registers.ack_dly.dly[0].a" "t.registers.ack_dly.and2[0].y"
= "t.registers.ack_dly._a[1]" "t.registers.ack_dly.mu2[1].a"
= "t.registers.ack_dly._a[1]" "t.registers.ack_dly.and2[1].a"
= "t.registers.ack_dly._a[1]" "t.registers.ack_dly.mu2[0].y"
= "t.registers.ack_dly.out" "t.registers.ack_dly.mu2[1].y"
= "t.registers.ack_dly.out" "t.registers.ack_dly._a[2]"
= "t.registers.ack_dly.in" "t.registers.ack_dly.mu2[0].a"
= "t.registers.ack_dly.in" "t.registers.ack_dly.and2[0].a"
= "t.registers.ack_dly.in" "t.registers.ack_dly._a[0]"
= "t.registers._reset_BX" "t.registers.reset_buf_BX.y"
= "t.registers.reset_B" "t.registers.reset_buf_BX.a"
= "t.registers.reset_B" "t.registers.output_buf.reset_B"
"t.registers.clk_switch.a"&"t.registers.clk_switch.b"->"t.registers.clk_switch._y"-
~("t.registers.clk_switch.a"&"t.registers.clk_switch.b")->"t.registers.clk_switch._y"+
"t.registers.clk_switch._y"->"t.registers.clk_switch.y"-
~("t.registers.clk_switch._y")->"t.registers.clk_switch.y"+
= "t.registers._out_encoder[0]" "t.registers.word_to_read[0].b"
= "t.registers._out_encoder[0]" "t.registers.and_encoder[0].a"
= "t.registers._out_encoder[0]" "t.registers.atree[0].out"
= "t.registers._out_encoder[1]" "t.registers.word_to_read[1].b"
= "t.registers._out_encoder[1]" "t.registers.and_encoder[1].a"
= "t.registers._out_encoder[1]" "t.registers.atree[1].out"
= "t.registers._out_encoder[2]" "t.registers.word_to_read[2].b"
= "t.registers._out_encoder[2]" "t.registers.and_encoder[2].a"
= "t.registers._out_encoder[2]" "t.registers.atree[2].out"
= "t.registers._out_encoder[3]" "t.registers.word_to_read[3].b"
= "t.registers._out_encoder[3]" "t.registers.and_encoder[3].a"
= "t.registers._out_encoder[3]" "t.registers.atree[3].out"
= "t.registers._reset_mem_BXX[0]" "t.registers.reset_bufarray.out[0]"
= "t.registers._reset_mem_BXX[1]" "t.registers.reset_bufarray.out[1]"
= "t.registers._reset_mem_BXX[2]" "t.registers.reset_bufarray.out[2]"
= "t.registers._reset_mem_BXX[3]" "t.registers.reset_bufarray.out[3]"
= "t.registers._reset_mem_BXX[4]" "t.registers.reset_bufarray.out[4]"
= "t.registers._reset_mem_BXX[5]" "t.registers.reset_bufarray.out[5]"
= "t.registers._reset_mem_BXX[6]" "t.registers.reset_bufarray.out[6]"
= "t.registers._reset_mem_BXX[7]" "t.registers.reset_bufarray.out[7]"
= "t.registers._reset_mem_BXX[0]" "t.registers.ff[7].reset_B"
= "t.registers._reset_mem_BXX[0]" "t.registers.ff[6].reset_B"
= "t.registers._reset_mem_BXX[0]" "t.registers.ff[5].reset_B"
= "t.registers._reset_mem_BXX[0]" "t.registers.ff[4].reset_B"
= "t.registers._reset_mem_BXX[0]" "t.registers.ff[3].reset_B"
= "t.registers._reset_mem_BXX[0]" "t.registers.ff[2].reset_B"
= "t.registers._reset_mem_BXX[0]" "t.registers.ff[1].reset_B"
= "t.registers._reset_mem_BXX[0]" "t.registers.ff[0].reset_B"
= "t.registers._reset_mem_BXX[0]" "t.registers._reset_mem_BXX[7]"
= "t.registers._reset_mem_BXX[0]" "t.registers._reset_mem_BXX[6]"
= "t.registers._reset_mem_BXX[0]" "t.registers._reset_mem_BXX[5]"
= "t.registers._reset_mem_BXX[0]" "t.registers._reset_mem_BXX[4]"
= "t.registers._reset_mem_BXX[0]" "t.registers._reset_mem_BXX[3]"
= "t.registers._reset_mem_BXX[0]" "t.registers._reset_mem_BXX[2]"
= "t.registers._reset_mem_BXX[0]" "t.registers._reset_mem_BXX[1]"
"t.registers.output_buf.out_a_B_buf_t.buf1.a"->"t.registers.output_buf.out_a_B_buf_t.buf1._y"-
~("t.registers.output_buf.out_a_B_buf_t.buf1.a")->"t.registers.output_buf.out_a_B_buf_t.buf1._y"+
"t.registers.output_buf.out_a_B_buf_t.buf1._y"->"t.registers.output_buf.out_a_B_buf_t.buf1.y"-
~("t.registers.output_buf.out_a_B_buf_t.buf1._y")->"t.registers.output_buf.out_a_B_buf_t.buf1.y"+
= "t.registers.output_buf.out_a_B_buf_t.supply.vdd" "t.registers.output_buf.out_a_B_buf_t.buf1.vdd"
= "t.registers.output_buf.out_a_B_buf_t.supply.vss" "t.registers.output_buf.out_a_B_buf_t.buf1.vss"
= "t.registers.output_buf.out_a_B_buf_t.out[0]" "t.registers.output_buf.out_a_B_buf_t.out[3]"
= "t.registers.output_buf.out_a_B_buf_t.out[0]" "t.registers.output_buf.out_a_B_buf_t.out[2]"
= "t.registers.output_buf.out_a_B_buf_t.out[0]" "t.registers.output_buf.out_a_B_buf_t.out[1]"
= "t.registers.output_buf.out_a_B_buf_t.out[0]" "t.registers.output_buf.out_a_B_buf_t.buf1.y"
= "t.registers.output_buf.out_a_B_buf_t.in" "t.registers.output_buf.out_a_B_buf_t.buf1.a"
= "t.registers.output_buf._en_X_f[0]" "t.registers.output_buf.en_buf_f.out[0]"
= "t.registers.output_buf._en_X_f[1]" "t.registers.output_buf.en_buf_f.out[1]"
= "t.registers.output_buf._en_X_f[2]" "t.registers.output_buf.en_buf_f.out[2]"
= "t.registers.output_buf._en_X_f[3]" "t.registers.output_buf.en_buf_f.out[3]"
= "t.registers.output_buf._en_X_f[0]" "t.registers.output_buf.f_buf_func[3].c1"
= "t.registers.output_buf._en_X_f[0]" "t.registers.output_buf.f_buf_func[2].c1"
= "t.registers.output_buf._en_X_f[0]" "t.registers.output_buf.f_buf_func[1].c1"
= "t.registers.output_buf._en_X_f[0]" "t.registers.output_buf.f_buf_func[0].c1"
= "t.registers.output_buf._en_X_f[0]" "t.registers.output_buf._en_X_f[3]"
= "t.registers.output_buf._en_X_f[0]" "t.registers.output_buf._en_X_f[2]"
= "t.registers.output_buf._en_X_f[0]" "t.registers.output_buf._en_X_f[1]"
~"t.registers.output_buf.inack_ctl.c1"&~"t.registers.output_buf.inack_ctl.c2"&~"t.registers.output_buf.inack_ctl.c3"|~"t.registers.output_buf.inack_ctl.pr_B"->"t.registers.output_buf.inack_ctl._y"+
"t.registers.output_buf.inack_ctl.c1"&"t.registers.output_buf.inack_ctl.c2"&"t.registers.output_buf.inack_ctl.c3"&"t.registers.output_buf.inack_ctl.sr_B"->"t.registers.output_buf.inack_ctl._y"-
"t.registers.output_buf.inack_ctl._y"->"t.registers.output_buf.inack_ctl.y"-
~("t.registers.output_buf.inack_ctl._y")->"t.registers.output_buf.inack_ctl.y"+
"t.registers.output_buf.reset_bufarray.buf1.a"->"t.registers.output_buf.reset_bufarray.buf1._y"-
~("t.registers.output_buf.reset_bufarray.buf1.a")->"t.registers.output_buf.reset_bufarray.buf1._y"+
"t.registers.output_buf.reset_bufarray.buf1._y"->"t.registers.output_buf.reset_bufarray.buf1.y"-
~("t.registers.output_buf.reset_bufarray.buf1._y")->"t.registers.output_buf.reset_bufarray.buf1.y"+
= "t.registers.output_buf.reset_bufarray.supply.vdd" "t.registers.output_buf.reset_bufarray.buf1.vdd"
= "t.registers.output_buf.reset_bufarray.supply.vss" "t.registers.output_buf.reset_bufarray.buf1.vss"
= "t.registers.output_buf.reset_bufarray.out[0]" "t.registers.output_buf.reset_bufarray.out[3]"
= "t.registers.output_buf.reset_bufarray.out[0]" "t.registers.output_buf.reset_bufarray.out[2]"
= "t.registers.output_buf.reset_bufarray.out[0]" "t.registers.output_buf.reset_bufarray.out[1]"
= "t.registers.output_buf.reset_bufarray.out[0]" "t.registers.output_buf.reset_bufarray.buf1.y"
= "t.registers.output_buf.reset_bufarray.in" "t.registers.output_buf.reset_bufarray.buf1.a"
"t.registers.output_buf.in_v_buf4.a"->"t.registers.output_buf.in_v_buf4._y"-
~("t.registers.output_buf.in_v_buf4.a")->"t.registers.output_buf.in_v_buf4._y"+
"t.registers.output_buf.in_v_buf4._y"->"t.registers.output_buf.in_v_buf4.y"-
~("t.registers.output_buf.in_v_buf4._y")->"t.registers.output_buf.in_v_buf4.y"+
"t.registers.output_buf.out_a_inv.a"->"t.registers.output_buf.out_a_inv.y"-
~("t.registers.output_buf.out_a_inv.a")->"t.registers.output_buf.out_a_inv.y"+
= "t.registers.output_buf._out_a_BX_f[0]" "t.registers.output_buf.out_a_B_buf_t.out[0]"
= "t.registers.output_buf._out_a_BX_f[1]" "t.registers.output_buf.out_a_B_buf_t.out[1]"
= "t.registers.output_buf._out_a_BX_f[2]" "t.registers.output_buf.out_a_B_buf_t.out[2]"
= "t.registers.output_buf._out_a_BX_f[3]" "t.registers.output_buf.out_a_B_buf_t.out[3]"
= "t.registers.output_buf._out_a_BX_f[0]" "t.registers.output_buf.f_buf_func[3].c2"
= "t.registers.output_buf._out_a_BX_f[0]" "t.registers.output_buf.f_buf_func[2].c2"
= "t.registers.output_buf._out_a_BX_f[0]" "t.registers.output_buf.f_buf_func[1].c2"
= "t.registers.output_buf._out_a_BX_f[0]" "t.registers.output_buf.f_buf_func[0].c2"
= "t.registers.output_buf._out_a_BX_f[0]" "t.registers.output_buf._out_a_BX_f[3]"
= "t.registers.output_buf._out_a_BX_f[0]" "t.registers.output_buf._out_a_BX_f[2]"
= "t.registers.output_buf._out_a_BX_f[0]" "t.registers.output_buf._out_a_BX_f[1]"
= "t.registers.output_buf.supply.vss" "t.registers.output_buf.out_a_B_buf_t.supply.vss"
= "t.registers.output_buf.supply.vdd" "t.registers.output_buf.out_a_B_buf_t.supply.vdd"
= "t.registers.output_buf.supply.vss" "t.registers.output_buf.out_a_B_buf_f.supply.vss"
= "t.registers.output_buf.supply.vdd" "t.registers.output_buf.out_a_B_buf_f.supply.vdd"
= "t.registers.output_buf.supply.vss" "t.registers.output_buf.en_buf_f.supply.vss"
= "t.registers.output_buf.supply.vdd" "t.registers.output_buf.en_buf_f.supply.vdd"
= "t.registers.output_buf.supply.vss" "t.registers.output_buf.en_buf_t.supply.vss"
= "t.registers.output_buf.supply.vdd" "t.registers.output_buf.en_buf_t.supply.vdd"
= "t.registers.output_buf.supply.vss" "t.registers.output_buf.in_v_bufN.supply.vss"
= "t.registers.output_buf.supply.vdd" "t.registers.output_buf.in_v_bufN.supply.vdd"
= "t.registers.output_buf.supply.vss" "t.registers.output_buf.vc.supply.vss"
= "t.registers.output_buf.supply.vdd" "t.registers.output_buf.vc.supply.vdd"
= "t.registers.output_buf.supply.vss" "t.registers.output_buf.reset_bufarray.supply.vss"
= "t.registers.output_buf.supply.vdd" "t.registers.output_buf.reset_bufarray.supply.vdd"
= "t.registers.output_buf.supply.vdd" "t.registers.output_buf.t_buf_func[3].vdd"
= "t.registers.output_buf.supply.vdd" "t.registers.output_buf.f_buf_func[3].vdd"
= "t.registers.output_buf.supply.vdd" "t.registers.output_buf.t_buf_func[2].vdd"
= "t.registers.output_buf.supply.vdd" "t.registers.output_buf.f_buf_func[2].vdd"
= "t.registers.output_buf.supply.vdd" "t.registers.output_buf.t_buf_func[1].vdd"
= "t.registers.output_buf.supply.vdd" "t.registers.output_buf.f_buf_func[1].vdd"
= "t.registers.output_buf.supply.vdd" "t.registers.output_buf.t_buf_func[0].vdd"
= "t.registers.output_buf.supply.vdd" "t.registers.output_buf.f_buf_func[0].vdd"
= "t.registers.output_buf.supply.vdd" "t.registers.output_buf.out_a_inv.vdd"
= "t.registers.output_buf.supply.vdd" "t.registers.output_buf.in_v_buf4.vdd"
= "t.registers.output_buf.supply.vdd" "t.registers.output_buf.reset_buf.vdd"
= "t.registers.output_buf.supply.vdd" "t.registers.output_buf.en_ctl.vdd"
= "t.registers.output_buf.supply.vdd" "t.registers.output_buf.inack_ctl.vdd"
= "t.registers.output_buf.supply.vss" "t.registers.output_buf.t_buf_func[3].vss"
= "t.registers.output_buf.supply.vss" "t.registers.output_buf.f_buf_func[3].vss"
= "t.registers.output_buf.supply.vss" "t.registers.output_buf.t_buf_func[2].vss"
= "t.registers.output_buf.supply.vss" "t.registers.output_buf.f_buf_func[2].vss"
= "t.registers.output_buf.supply.vss" "t.registers.output_buf.t_buf_func[1].vss"
= "t.registers.output_buf.supply.vss" "t.registers.output_buf.f_buf_func[1].vss"
= "t.registers.output_buf.supply.vss" "t.registers.output_buf.t_buf_func[0].vss"
= "t.registers.output_buf.supply.vss" "t.registers.output_buf.f_buf_func[0].vss"
= "t.registers.output_buf.supply.vss" "t.registers.output_buf.out_a_inv.vss"
= "t.registers.output_buf.supply.vss" "t.registers.output_buf.in_v_buf4.vss"
= "t.registers.output_buf.supply.vss" "t.registers.output_buf.reset_buf.vss"
= "t.registers.output_buf.supply.vss" "t.registers.output_buf.en_ctl.vss"
= "t.registers.output_buf.supply.vss" "t.registers.output_buf.inack_ctl.vss"
~"t.registers.output_buf.vc.ct.C2Els[0].c1"&~"t.registers.output_buf.vc.ct.C2Els[0].c2"->"t.registers.output_buf.vc.ct.C2Els[0]._y"+
"t.registers.output_buf.vc.ct.C2Els[0].c1"&"t.registers.output_buf.vc.ct.C2Els[0].c2"->"t.registers.output_buf.vc.ct.C2Els[0]._y"-
"t.registers.output_buf.vc.ct.C2Els[0]._y"->"t.registers.output_buf.vc.ct.C2Els[0].y"-
~("t.registers.output_buf.vc.ct.C2Els[0]._y")->"t.registers.output_buf.vc.ct.C2Els[0].y"+
~"t.registers.output_buf.vc.ct.C2Els[1].c1"&~"t.registers.output_buf.vc.ct.C2Els[1].c2"->"t.registers.output_buf.vc.ct.C2Els[1]._y"+
"t.registers.output_buf.vc.ct.C2Els[1].c1"&"t.registers.output_buf.vc.ct.C2Els[1].c2"->"t.registers.output_buf.vc.ct.C2Els[1]._y"-
"t.registers.output_buf.vc.ct.C2Els[1]._y"->"t.registers.output_buf.vc.ct.C2Els[1].y"-
~("t.registers.output_buf.vc.ct.C2Els[1]._y")->"t.registers.output_buf.vc.ct.C2Els[1].y"+
~"t.registers.output_buf.vc.ct.C2Els[2].c1"&~"t.registers.output_buf.vc.ct.C2Els[2].c2"->"t.registers.output_buf.vc.ct.C2Els[2]._y"+
"t.registers.output_buf.vc.ct.C2Els[2].c1"&"t.registers.output_buf.vc.ct.C2Els[2].c2"->"t.registers.output_buf.vc.ct.C2Els[2]._y"-
"t.registers.output_buf.vc.ct.C2Els[2]._y"->"t.registers.output_buf.vc.ct.C2Els[2].y"-
~("t.registers.output_buf.vc.ct.C2Els[2]._y")->"t.registers.output_buf.vc.ct.C2Els[2].y"+
= "t.registers.output_buf.vc.ct.tmp[4]" "t.registers.output_buf.vc.ct.C2Els[2].c1"
= "t.registers.output_buf.vc.ct.tmp[4]" "t.registers.output_buf.vc.ct.C2Els[0].y"
= "t.registers.output_buf.vc.ct.tmp[5]" "t.registers.output_buf.vc.ct.C2Els[2].c2"
= "t.registers.output_buf.vc.ct.tmp[5]" "t.registers.output_buf.vc.ct.C2Els[1].y"
= "t.registers.output_buf.vc.ct.supply.vdd" "t.registers.output_buf.vc.ct.C2Els[2].vdd"
= "t.registers.output_buf.vc.ct.supply.vdd" "t.registers.output_buf.vc.ct.C2Els[1].vdd"
= "t.registers.output_buf.vc.ct.supply.vdd" "t.registers.output_buf.vc.ct.C2Els[0].vdd"
= "t.registers.output_buf.vc.ct.supply.vss" "t.registers.output_buf.vc.ct.C2Els[2].vss"
= "t.registers.output_buf.vc.ct.supply.vss" "t.registers.output_buf.vc.ct.C2Els[1].vss"
= "t.registers.output_buf.vc.ct.supply.vss" "t.registers.output_buf.vc.ct.C2Els[0].vss"
= "t.registers.output_buf.vc.ct.in[0]" "t.registers.output_buf.vc.ct.C2Els[0].c1"
= "t.registers.output_buf.vc.ct.in[0]" "t.registers.output_buf.vc.ct.tmp[0]"
= "t.registers.output_buf.vc.ct.in[1]" "t.registers.output_buf.vc.ct.C2Els[0].c2"
= "t.registers.output_buf.vc.ct.in[1]" "t.registers.output_buf.vc.ct.tmp[1]"
= "t.registers.output_buf.vc.ct.in[2]" "t.registers.output_buf.vc.ct.C2Els[1].c1"
= "t.registers.output_buf.vc.ct.in[2]" "t.registers.output_buf.vc.ct.tmp[2]"
= "t.registers.output_buf.vc.ct.in[3]" "t.registers.output_buf.vc.ct.C2Els[1].c2"
= "t.registers.output_buf.vc.ct.in[3]" "t.registers.output_buf.vc.ct.tmp[3]"
= "t.registers.output_buf.vc.ct.out" "t.registers.output_buf.vc.ct.C2Els[2].y"
= "t.registers.output_buf.vc.ct.out" "t.registers.output_buf.vc.ct.tmp[6]"
= "t.registers.output_buf.vc.ct.in[0]" "t.registers.output_buf.vc.OR2_tf[0].y"
= "t.registers.output_buf.vc.ct.in[1]" "t.registers.output_buf.vc.OR2_tf[1].y"
= "t.registers.output_buf.vc.ct.in[2]" "t.registers.output_buf.vc.OR2_tf[2].y"
= "t.registers.output_buf.vc.ct.in[3]" "t.registers.output_buf.vc.OR2_tf[3].y"
"t.registers.output_buf.vc.OR2_tf[0].a"|"t.registers.output_buf.vc.OR2_tf[0].b"->"t.registers.output_buf.vc.OR2_tf[0]._y"-
~("t.registers.output_buf.vc.OR2_tf[0].a"|"t.registers.output_buf.vc.OR2_tf[0].b")->"t.registers.output_buf.vc.OR2_tf[0]._y"+
"t.registers.output_buf.vc.OR2_tf[0]._y"->"t.registers.output_buf.vc.OR2_tf[0].y"-
~("t.registers.output_buf.vc.OR2_tf[0]._y")->"t.registers.output_buf.vc.OR2_tf[0].y"+
"t.registers.output_buf.vc.OR2_tf[1].a"|"t.registers.output_buf.vc.OR2_tf[1].b"->"t.registers.output_buf.vc.OR2_tf[1]._y"-
~("t.registers.output_buf.vc.OR2_tf[1].a"|"t.registers.output_buf.vc.OR2_tf[1].b")->"t.registers.output_buf.vc.OR2_tf[1]._y"+
"t.registers.output_buf.vc.OR2_tf[1]._y"->"t.registers.output_buf.vc.OR2_tf[1].y"-
~("t.registers.output_buf.vc.OR2_tf[1]._y")->"t.registers.output_buf.vc.OR2_tf[1].y"+
"t.registers.output_buf.vc.OR2_tf[2].a"|"t.registers.output_buf.vc.OR2_tf[2].b"->"t.registers.output_buf.vc.OR2_tf[2]._y"-
~("t.registers.output_buf.vc.OR2_tf[2].a"|"t.registers.output_buf.vc.OR2_tf[2].b")->"t.registers.output_buf.vc.OR2_tf[2]._y"+
"t.registers.output_buf.vc.OR2_tf[2]._y"->"t.registers.output_buf.vc.OR2_tf[2].y"-
~("t.registers.output_buf.vc.OR2_tf[2]._y")->"t.registers.output_buf.vc.OR2_tf[2].y"+
"t.registers.output_buf.vc.OR2_tf[3].a"|"t.registers.output_buf.vc.OR2_tf[3].b"->"t.registers.output_buf.vc.OR2_tf[3]._y"-
~("t.registers.output_buf.vc.OR2_tf[3].a"|"t.registers.output_buf.vc.OR2_tf[3].b")->"t.registers.output_buf.vc.OR2_tf[3]._y"+
"t.registers.output_buf.vc.OR2_tf[3]._y"->"t.registers.output_buf.vc.OR2_tf[3].y"-
~("t.registers.output_buf.vc.OR2_tf[3]._y")->"t.registers.output_buf.vc.OR2_tf[3].y"+
= "t.registers.output_buf.vc.supply.vss" "t.registers.output_buf.vc.ct.supply.vss"
= "t.registers.output_buf.vc.supply.vdd" "t.registers.output_buf.vc.ct.supply.vdd"
= "t.registers.output_buf.vc.supply.vdd" "t.registers.output_buf.vc.OR2_tf[3].vdd"
= "t.registers.output_buf.vc.supply.vdd" "t.registers.output_buf.vc.OR2_tf[2].vdd"
= "t.registers.output_buf.vc.supply.vdd" "t.registers.output_buf.vc.OR2_tf[1].vdd"
= "t.registers.output_buf.vc.supply.vdd" "t.registers.output_buf.vc.OR2_tf[0].vdd"
= "t.registers.output_buf.vc.supply.vss" "t.registers.output_buf.vc.OR2_tf[3].vss"
= "t.registers.output_buf.vc.supply.vss" "t.registers.output_buf.vc.OR2_tf[2].vss"
= "t.registers.output_buf.vc.supply.vss" "t.registers.output_buf.vc.OR2_tf[1].vss"
= "t.registers.output_buf.vc.supply.vss" "t.registers.output_buf.vc.OR2_tf[0].vss"
= "t.registers.output_buf.vc.out" "t.registers.output_buf.vc.ct.out"
= "t.registers.output_buf.vc.in.d[0].d[0]" "t.registers.output_buf.vc.in.d[0].f"
= "t.registers.output_buf.vc.in.d[0].d[1]" "t.registers.output_buf.vc.in.d[0].t"
= "t.registers.output_buf.vc.in.d[1].d[0]" "t.registers.output_buf.vc.in.d[1].f"
= "t.registers.output_buf.vc.in.d[1].d[1]" "t.registers.output_buf.vc.in.d[1].t"
= "t.registers.output_buf.vc.in.d[2].d[0]" "t.registers.output_buf.vc.in.d[2].f"
= "t.registers.output_buf.vc.in.d[2].d[1]" "t.registers.output_buf.vc.in.d[2].t"
= "t.registers.output_buf.vc.in.d[3].d[0]" "t.registers.output_buf.vc.in.d[3].f"
= "t.registers.output_buf.vc.in.d[3].d[1]" "t.registers.output_buf.vc.in.d[3].t"
= "t.registers.output_buf.vc.in.d[3].d[0]" "t.registers.output_buf.vc.in.d[3].f"
= "t.registers.output_buf.vc.in.d[3].d[1]" "t.registers.output_buf.vc.in.d[3].t"
= "t.registers.output_buf.vc.in.d[2].d[0]" "t.registers.output_buf.vc.in.d[2].f"
= "t.registers.output_buf.vc.in.d[2].d[1]" "t.registers.output_buf.vc.in.d[2].t"
= "t.registers.output_buf.vc.in.d[1].d[0]" "t.registers.output_buf.vc.in.d[1].f"
= "t.registers.output_buf.vc.in.d[1].d[1]" "t.registers.output_buf.vc.in.d[1].t"
= "t.registers.output_buf.vc.in.d[0].d[0]" "t.registers.output_buf.vc.in.d[0].f"
= "t.registers.output_buf.vc.in.d[0].d[1]" "t.registers.output_buf.vc.in.d[0].t"
= "t.registers.output_buf.vc.in.d[3].d[0]" "t.registers.output_buf.vc.OR2_tf[3].b"
= "t.registers.output_buf.vc.in.d[3].d[0]" "t.registers.output_buf.vc.in.d[3].f"
= "t.registers.output_buf.vc.in.d[3].d[1]" "t.registers.output_buf.vc.OR2_tf[3].a"
= "t.registers.output_buf.vc.in.d[3].d[1]" "t.registers.output_buf.vc.in.d[3].t"
= "t.registers.output_buf.vc.in.d[2].d[0]" "t.registers.output_buf.vc.OR2_tf[2].b"
= "t.registers.output_buf.vc.in.d[2].d[0]" "t.registers.output_buf.vc.in.d[2].f"
= "t.registers.output_buf.vc.in.d[2].d[1]" "t.registers.output_buf.vc.OR2_tf[2].a"
= "t.registers.output_buf.vc.in.d[2].d[1]" "t.registers.output_buf.vc.in.d[2].t"
= "t.registers.output_buf.vc.in.d[1].d[0]" "t.registers.output_buf.vc.OR2_tf[1].b"
= "t.registers.output_buf.vc.in.d[1].d[0]" "t.registers.output_buf.vc.in.d[1].f"
= "t.registers.output_buf.vc.in.d[1].d[1]" "t.registers.output_buf.vc.OR2_tf[1].a"
= "t.registers.output_buf.vc.in.d[1].d[1]" "t.registers.output_buf.vc.in.d[1].t"
= "t.registers.output_buf.vc.in.d[0].d[0]" "t.registers.output_buf.vc.OR2_tf[0].b"
= "t.registers.output_buf.vc.in.d[0].d[0]" "t.registers.output_buf.vc.in.d[0].f"
= "t.registers.output_buf.vc.in.d[0].d[1]" "t.registers.output_buf.vc.OR2_tf[0].a"
= "t.registers.output_buf.vc.in.d[0].d[1]" "t.registers.output_buf.vc.in.d[0].t"
"t.registers.output_buf.out_a_B_buf_f.buf1.a"->"t.registers.output_buf.out_a_B_buf_f.buf1._y"-
~("t.registers.output_buf.out_a_B_buf_f.buf1.a")->"t.registers.output_buf.out_a_B_buf_f.buf1._y"+
"t.registers.output_buf.out_a_B_buf_f.buf1._y"->"t.registers.output_buf.out_a_B_buf_f.buf1.y"-
~("t.registers.output_buf.out_a_B_buf_f.buf1._y")->"t.registers.output_buf.out_a_B_buf_f.buf1.y"+
= "t.registers.output_buf.out_a_B_buf_f.supply.vdd" "t.registers.output_buf.out_a_B_buf_f.buf1.vdd"
= "t.registers.output_buf.out_a_B_buf_f.supply.vss" "t.registers.output_buf.out_a_B_buf_f.buf1.vss"
= "t.registers.output_buf.out_a_B_buf_f.out[0]" "t.registers.output_buf.out_a_B_buf_f.out[3]"
= "t.registers.output_buf.out_a_B_buf_f.out[0]" "t.registers.output_buf.out_a_B_buf_f.out[2]"
= "t.registers.output_buf.out_a_B_buf_f.out[0]" "t.registers.output_buf.out_a_B_buf_f.out[1]"
= "t.registers.output_buf.out_a_B_buf_f.out[0]" "t.registers.output_buf.out_a_B_buf_f.buf1.y"
= "t.registers.output_buf.out_a_B_buf_f.in" "t.registers.output_buf.out_a_B_buf_f.buf1.a"
= "t.registers.output_buf._en" "t.registers.output_buf.en_buf_f.in"
= "t.registers.output_buf._en" "t.registers.output_buf.en_buf_t.in"
= "t.registers.output_buf._en" "t.registers.output_buf.en_ctl.y"
= "t.registers.output_buf._en" "t.registers.output_buf.inack_ctl.c1"
~"t.registers.output_buf.en_ctl.p1"&~"t.registers.output_buf.en_ctl.c1"->"t.registers.output_buf.en_ctl.y"+
"t.registers.output_buf.en_ctl.c1"->"t.registers.output_buf.en_ctl.y"-
= "t.registers.output_buf.out.d.d[0].d[0]" "t.registers.output_buf.out.d.d[0].f"
= "t.registers.output_buf.out.d.d[0].d[1]" "t.registers.output_buf.out.d.d[0].t"
= "t.registers.output_buf.out.d.d[1].d[0]" "t.registers.output_buf.out.d.d[1].f"
= "t.registers.output_buf.out.d.d[1].d[1]" "t.registers.output_buf.out.d.d[1].t"
= "t.registers.output_buf.out.d.d[2].d[0]" "t.registers.output_buf.out.d.d[2].f"
= "t.registers.output_buf.out.d.d[2].d[1]" "t.registers.output_buf.out.d.d[2].t"
= "t.registers.output_buf.out.d.d[3].d[0]" "t.registers.output_buf.out.d.d[3].f"
= "t.registers.output_buf.out.d.d[3].d[1]" "t.registers.output_buf.out.d.d[3].t"
= "t.registers.output_buf.out.d.d[3].d[0]" "t.registers.output_buf.out.d.d[3].f"
= "t.registers.output_buf.out.d.d[3].d[1]" "t.registers.output_buf.out.d.d[3].t"
= "t.registers.output_buf.out.d.d[2].d[0]" "t.registers.output_buf.out.d.d[2].f"
= "t.registers.output_buf.out.d.d[2].d[1]" "t.registers.output_buf.out.d.d[2].t"
= "t.registers.output_buf.out.d.d[1].d[0]" "t.registers.output_buf.out.d.d[1].f"
= "t.registers.output_buf.out.d.d[1].d[1]" "t.registers.output_buf.out.d.d[1].t"
= "t.registers.output_buf.out.d.d[0].d[0]" "t.registers.output_buf.out.d.d[0].f"
= "t.registers.output_buf.out.d.d[0].d[1]" "t.registers.output_buf.out.d.d[0].t"
= "t.registers.output_buf.out.d.d[3].d[0]" "t.registers.output_buf.out.d.d[3].f"
= "t.registers.output_buf.out.d.d[3].d[1]" "t.registers.output_buf.out.d.d[3].t"
= "t.registers.output_buf.out.d.d[2].d[0]" "t.registers.output_buf.out.d.d[2].f"
= "t.registers.output_buf.out.d.d[2].d[1]" "t.registers.output_buf.out.d.d[2].t"
= "t.registers.output_buf.out.d.d[1].d[0]" "t.registers.output_buf.out.d.d[1].f"
= "t.registers.output_buf.out.d.d[1].d[1]" "t.registers.output_buf.out.d.d[1].t"
= "t.registers.output_buf.out.d.d[0].d[0]" "t.registers.output_buf.out.d.d[0].f"
= "t.registers.output_buf.out.d.d[0].d[1]" "t.registers.output_buf.out.d.d[0].t"
= "t.registers.output_buf.out.a" "t.registers.output_buf.out_a_inv.a"
= "t.registers.output_buf.out.v" "t.registers.output_buf.en_ctl.p1"
= "t.registers.output_buf.out.v" "t.registers.output_buf.inack_ctl.c3"
= "t.registers.output_buf.out.d.d[3].d[0]" "t.registers.output_buf.f_buf_func[3].y"
= "t.registers.output_buf.out.d.d[3].d[0]" "t.registers.output_buf.out.d.d[3].f"
= "t.registers.output_buf.out.d.d[3].d[1]" "t.registers.output_buf.t_buf_func[3].y"
= "t.registers.output_buf.out.d.d[3].d[1]" "t.registers.output_buf.out.d.d[3].t"
= "t.registers.output_buf.out.d.d[2].d[0]" "t.registers.output_buf.f_buf_func[2].y"
= "t.registers.output_buf.out.d.d[2].d[0]" "t.registers.output_buf.out.d.d[2].f"
= "t.registers.output_buf.out.d.d[2].d[1]" "t.registers.output_buf.t_buf_func[2].y"
= "t.registers.output_buf.out.d.d[2].d[1]" "t.registers.output_buf.out.d.d[2].t"
= "t.registers.output_buf.out.d.d[1].d[0]" "t.registers.output_buf.f_buf_func[1].y"
= "t.registers.output_buf.out.d.d[1].d[0]" "t.registers.output_buf.out.d.d[1].f"
= "t.registers.output_buf.out.d.d[1].d[1]" "t.registers.output_buf.t_buf_func[1].y"
= "t.registers.output_buf.out.d.d[1].d[1]" "t.registers.output_buf.out.d.d[1].t"
= "t.registers.output_buf.out.d.d[0].d[0]" "t.registers.output_buf.f_buf_func[0].y"
= "t.registers.output_buf.out.d.d[0].d[0]" "t.registers.output_buf.out.d.d[0].f"
= "t.registers.output_buf.out.d.d[0].d[1]" "t.registers.output_buf.t_buf_func[0].y"
= "t.registers.output_buf.out.d.d[0].d[1]" "t.registers.output_buf.out.d.d[0].t"
= "t.registers.output_buf.in.d.d[0].d[0]" "t.registers.output_buf.in.d.d[0].f"
= "t.registers.output_buf.in.d.d[0].d[1]" "t.registers.output_buf.in.d.d[0].t"
= "t.registers.output_buf.in.d.d[1].d[0]" "t.registers.output_buf.in.d.d[1].f"
= "t.registers.output_buf.in.d.d[1].d[1]" "t.registers.output_buf.in.d.d[1].t"
= "t.registers.output_buf.in.d.d[2].d[0]" "t.registers.output_buf.in.d.d[2].f"
= "t.registers.output_buf.in.d.d[2].d[1]" "t.registers.output_buf.in.d.d[2].t"
= "t.registers.output_buf.in.d.d[3].d[0]" "t.registers.output_buf.in.d.d[3].f"
= "t.registers.output_buf.in.d.d[3].d[1]" "t.registers.output_buf.in.d.d[3].t"
= "t.registers.output_buf.in.d.d[3].d[0]" "t.registers.output_buf.in.d.d[3].f"
= "t.registers.output_buf.in.d.d[3].d[1]" "t.registers.output_buf.in.d.d[3].t"
= "t.registers.output_buf.in.d.d[2].d[0]" "t.registers.output_buf.in.d.d[2].f"
= "t.registers.output_buf.in.d.d[2].d[1]" "t.registers.output_buf.in.d.d[2].t"
= "t.registers.output_buf.in.d.d[1].d[0]" "t.registers.output_buf.in.d.d[1].f"
= "t.registers.output_buf.in.d.d[1].d[1]" "t.registers.output_buf.in.d.d[1].t"
= "t.registers.output_buf.in.d.d[0].d[0]" "t.registers.output_buf.in.d.d[0].f"
= "t.registers.output_buf.in.d.d[0].d[1]" "t.registers.output_buf.in.d.d[0].t"
= "t.registers.output_buf.in.d.d[3].d[0]" "t.registers.output_buf.in.d.d[3].f"
= "t.registers.output_buf.in.d.d[3].d[1]" "t.registers.output_buf.in.d.d[3].t"
= "t.registers.output_buf.in.d.d[2].d[0]" "t.registers.output_buf.in.d.d[2].f"
= "t.registers.output_buf.in.d.d[2].d[1]" "t.registers.output_buf.in.d.d[2].t"
= "t.registers.output_buf.in.d.d[1].d[0]" "t.registers.output_buf.in.d.d[1].f"
= "t.registers.output_buf.in.d.d[1].d[1]" "t.registers.output_buf.in.d.d[1].t"
= "t.registers.output_buf.in.d.d[0].d[0]" "t.registers.output_buf.in.d.d[0].f"
= "t.registers.output_buf.in.d.d[0].d[1]" "t.registers.output_buf.in.d.d[0].t"
= "t.registers.output_buf.in.d.d[0].f" "t.registers.output_buf.vc.in.d[0].f"
= "t.registers.output_buf.in.d.d[0].t" "t.registers.output_buf.vc.in.d[0].t"
= "t.registers.output_buf.in.d.d[0].d[0]" "t.registers.output_buf.vc.in.d[0].d[0]"
= "t.registers.output_buf.in.d.d[0].d[1]" "t.registers.output_buf.vc.in.d[0].d[1]"
= "t.registers.output_buf.in.d.d[1].f" "t.registers.output_buf.vc.in.d[1].f"
= "t.registers.output_buf.in.d.d[1].t" "t.registers.output_buf.vc.in.d[1].t"
= "t.registers.output_buf.in.d.d[1].d[0]" "t.registers.output_buf.vc.in.d[1].d[0]"
= "t.registers.output_buf.in.d.d[1].d[1]" "t.registers.output_buf.vc.in.d[1].d[1]"
= "t.registers.output_buf.in.d.d[2].f" "t.registers.output_buf.vc.in.d[2].f"
= "t.registers.output_buf.in.d.d[2].t" "t.registers.output_buf.vc.in.d[2].t"
= "t.registers.output_buf.in.d.d[2].d[0]" "t.registers.output_buf.vc.in.d[2].d[0]"
= "t.registers.output_buf.in.d.d[2].d[1]" "t.registers.output_buf.vc.in.d[2].d[1]"
= "t.registers.output_buf.in.d.d[3].f" "t.registers.output_buf.vc.in.d[3].f"
= "t.registers.output_buf.in.d.d[3].t" "t.registers.output_buf.vc.in.d[3].t"
= "t.registers.output_buf.in.d.d[3].d[0]" "t.registers.output_buf.vc.in.d[3].d[0]"
= "t.registers.output_buf.in.d.d[3].d[1]" "t.registers.output_buf.vc.in.d[3].d[1]"
= "t.registers.output_buf.in.a" "t.registers.output_buf.en_ctl.c1"
= "t.registers.output_buf.in.a" "t.registers.output_buf.inack_ctl.y"
= "t.registers.output_buf.in.v" "t.registers.output_buf.in_v_bufN.in"
= "t.registers.output_buf.in.v" "t.registers.output_buf.in_v_buf4.y"
= "t.registers.output_buf.in.v" "t.registers.output_buf.inack_ctl.c2"
= "t.registers.output_buf.in.d.d[3].d[0]" "t.registers.output_buf.f_buf_func[3].n1"
= "t.registers.output_buf.in.d.d[3].d[0]" "t.registers.output_buf.in.d.d[3].f"
= "t.registers.output_buf.in.d.d[3].d[1]" "t.registers.output_buf.t_buf_func[3].n1"
= "t.registers.output_buf.in.d.d[3].d[1]" "t.registers.output_buf.in.d.d[3].t"
= "t.registers.output_buf.in.d.d[2].d[0]" "t.registers.output_buf.f_buf_func[2].n1"
= "t.registers.output_buf.in.d.d[2].d[0]" "t.registers.output_buf.in.d.d[2].f"
= "t.registers.output_buf.in.d.d[2].d[1]" "t.registers.output_buf.t_buf_func[2].n1"
= "t.registers.output_buf.in.d.d[2].d[1]" "t.registers.output_buf.in.d.d[2].t"
= "t.registers.output_buf.in.d.d[1].d[0]" "t.registers.output_buf.f_buf_func[1].n1"
= "t.registers.output_buf.in.d.d[1].d[0]" "t.registers.output_buf.in.d.d[1].f"
= "t.registers.output_buf.in.d.d[1].d[1]" "t.registers.output_buf.t_buf_func[1].n1"
= "t.registers.output_buf.in.d.d[1].d[1]" "t.registers.output_buf.in.d.d[1].t"
= "t.registers.output_buf.in.d.d[0].d[0]" "t.registers.output_buf.f_buf_func[0].n1"
= "t.registers.output_buf.in.d.d[0].d[0]" "t.registers.output_buf.in.d.d[0].f"
= "t.registers.output_buf.in.d.d[0].d[1]" "t.registers.output_buf.t_buf_func[0].n1"
= "t.registers.output_buf.in.d.d[0].d[1]" "t.registers.output_buf.in.d.d[0].t"
"t.registers.output_buf.reset_buf.a"->"t.registers.output_buf.reset_buf._y"-
~("t.registers.output_buf.reset_buf.a")->"t.registers.output_buf.reset_buf._y"+
"t.registers.output_buf.reset_buf._y"->"t.registers.output_buf.reset_buf.y"-
~("t.registers.output_buf.reset_buf._y")->"t.registers.output_buf.reset_buf.y"+
= "t.registers.output_buf._in_v" "t.registers.output_buf.in_v_buf4.a"
= "t.registers.output_buf._in_v" "t.registers.output_buf.vc.out"
= "t.registers.output_buf._out_a_BX_t[0]" "t.registers.output_buf.out_a_B_buf_f.out[0]"
= "t.registers.output_buf._out_a_BX_t[1]" "t.registers.output_buf.out_a_B_buf_f.out[1]"
= "t.registers.output_buf._out_a_BX_t[2]" "t.registers.output_buf.out_a_B_buf_f.out[2]"
= "t.registers.output_buf._out_a_BX_t[3]" "t.registers.output_buf.out_a_B_buf_f.out[3]"
= "t.registers.output_buf._out_a_BX_t[0]" "t.registers.output_buf.t_buf_func[3].c2"
= "t.registers.output_buf._out_a_BX_t[0]" "t.registers.output_buf.t_buf_func[2].c2"
= "t.registers.output_buf._out_a_BX_t[0]" "t.registers.output_buf.t_buf_func[1].c2"
= "t.registers.output_buf._out_a_BX_t[0]" "t.registers.output_buf.t_buf_func[0].c2"
= "t.registers.output_buf._out_a_BX_t[0]" "t.registers.output_buf._out_a_BX_t[3]"
= "t.registers.output_buf._out_a_BX_t[0]" "t.registers.output_buf._out_a_BX_t[2]"
= "t.registers.output_buf._out_a_BX_t[0]" "t.registers.output_buf._out_a_BX_t[1]"
= "t.registers.output_buf._reset_BX" "t.registers.output_buf.reset_bufarray.in"
= "t.registers.output_buf._reset_BX" "t.registers.output_buf.reset_buf.y"
= "t.registers.output_buf._reset_BX" "t.registers.output_buf.inack_ctl.sr_B"
= "t.registers.output_buf._reset_BX" "t.registers.output_buf.inack_ctl.pr_B"
= "t.registers.output_buf.reset_B" "t.registers.output_buf.reset_buf.a"
"t.registers.output_buf.en_buf_f.buf1.a"->"t.registers.output_buf.en_buf_f.buf1._y"-
~("t.registers.output_buf.en_buf_f.buf1.a")->"t.registers.output_buf.en_buf_f.buf1._y"+
"t.registers.output_buf.en_buf_f.buf1._y"->"t.registers.output_buf.en_buf_f.buf1.y"-
~("t.registers.output_buf.en_buf_f.buf1._y")->"t.registers.output_buf.en_buf_f.buf1.y"+
= "t.registers.output_buf.en_buf_f.supply.vdd" "t.registers.output_buf.en_buf_f.buf1.vdd"
= "t.registers.output_buf.en_buf_f.supply.vss" "t.registers.output_buf.en_buf_f.buf1.vss"
= "t.registers.output_buf.en_buf_f.out[0]" "t.registers.output_buf.en_buf_f.out[3]"
= "t.registers.output_buf.en_buf_f.out[0]" "t.registers.output_buf.en_buf_f.out[2]"
= "t.registers.output_buf.en_buf_f.out[0]" "t.registers.output_buf.en_buf_f.out[1]"
= "t.registers.output_buf.en_buf_f.out[0]" "t.registers.output_buf.en_buf_f.buf1.y"
= "t.registers.output_buf.en_buf_f.in" "t.registers.output_buf.en_buf_f.buf1.a"
"t.registers.output_buf.en_buf_t.buf1.a"->"t.registers.output_buf.en_buf_t.buf1._y"-
~("t.registers.output_buf.en_buf_t.buf1.a")->"t.registers.output_buf.en_buf_t.buf1._y"+
"t.registers.output_buf.en_buf_t.buf1._y"->"t.registers.output_buf.en_buf_t.buf1.y"-
~("t.registers.output_buf.en_buf_t.buf1._y")->"t.registers.output_buf.en_buf_t.buf1.y"+
= "t.registers.output_buf.en_buf_t.supply.vdd" "t.registers.output_buf.en_buf_t.buf1.vdd"
= "t.registers.output_buf.en_buf_t.supply.vss" "t.registers.output_buf.en_buf_t.buf1.vss"
= "t.registers.output_buf.en_buf_t.out[0]" "t.registers.output_buf.en_buf_t.out[3]"
= "t.registers.output_buf.en_buf_t.out[0]" "t.registers.output_buf.en_buf_t.out[2]"
= "t.registers.output_buf.en_buf_t.out[0]" "t.registers.output_buf.en_buf_t.out[1]"
= "t.registers.output_buf.en_buf_t.out[0]" "t.registers.output_buf.en_buf_t.buf1.y"
= "t.registers.output_buf.en_buf_t.in" "t.registers.output_buf.en_buf_t.buf1.a"
= "t.registers.output_buf._out_a_B" "t.registers.output_buf.out_a_B_buf_t.in"
= "t.registers.output_buf._out_a_B" "t.registers.output_buf.out_a_B_buf_f.in"
= "t.registers.output_buf._out_a_B" "t.registers.output_buf.out_a_inv.y"
= "t.registers.output_buf._reset_BXX[0]" "t.registers.output_buf.reset_bufarray.out[0]"
= "t.registers.output_buf._reset_BXX[1]" "t.registers.output_buf.reset_bufarray.out[1]"
= "t.registers.output_buf._reset_BXX[2]" "t.registers.output_buf.reset_bufarray.out[2]"
= "t.registers.output_buf._reset_BXX[3]" "t.registers.output_buf.reset_bufarray.out[3]"
= "t.registers.output_buf._reset_BXX[0]" "t.registers.output_buf.f_buf_func[3].sr_B"
= "t.registers.output_buf._reset_BXX[0]" "t.registers.output_buf.f_buf_func[3].pr_B"
= "t.registers.output_buf._reset_BXX[0]" "t.registers.output_buf.t_buf_func[3].sr_B"
= "t.registers.output_buf._reset_BXX[0]" "t.registers.output_buf.t_buf_func[3].pr_B"
= "t.registers.output_buf._reset_BXX[0]" "t.registers.output_buf.f_buf_func[2].sr_B"
= "t.registers.output_buf._reset_BXX[0]" "t.registers.output_buf.f_buf_func[2].pr_B"
= "t.registers.output_buf._reset_BXX[0]" "t.registers.output_buf.t_buf_func[2].sr_B"
= "t.registers.output_buf._reset_BXX[0]" "t.registers.output_buf.t_buf_func[2].pr_B"
= "t.registers.output_buf._reset_BXX[0]" "t.registers.output_buf.f_buf_func[1].sr_B"
= "t.registers.output_buf._reset_BXX[0]" "t.registers.output_buf.f_buf_func[1].pr_B"
= "t.registers.output_buf._reset_BXX[0]" "t.registers.output_buf.t_buf_func[1].sr_B"
= "t.registers.output_buf._reset_BXX[0]" "t.registers.output_buf.t_buf_func[1].pr_B"
= "t.registers.output_buf._reset_BXX[0]" "t.registers.output_buf.f_buf_func[0].sr_B"
= "t.registers.output_buf._reset_BXX[0]" "t.registers.output_buf.f_buf_func[0].pr_B"
= "t.registers.output_buf._reset_BXX[0]" "t.registers.output_buf.t_buf_func[0].sr_B"
= "t.registers.output_buf._reset_BXX[0]" "t.registers.output_buf.t_buf_func[0].pr_B"
= "t.registers.output_buf._reset_BXX[0]" "t.registers.output_buf._reset_BXX[3]"
= "t.registers.output_buf._reset_BXX[0]" "t.registers.output_buf._reset_BXX[2]"
= "t.registers.output_buf._reset_BXX[0]" "t.registers.output_buf._reset_BXX[1]"
= "t.registers.output_buf._in_vX[0]" "t.registers.output_buf.in_v_bufN.out[0]"
= "t.registers.output_buf._in_vX[1]" "t.registers.output_buf.in_v_bufN.out[1]"
= "t.registers.output_buf._in_vX[2]" "t.registers.output_buf.in_v_bufN.out[2]"
= "t.registers.output_buf._in_vX[3]" "t.registers.output_buf.in_v_bufN.out[3]"
= "t.registers.output_buf._in_vX[0]" "t.registers.output_buf.t_buf_func[3].n2"
= "t.registers.output_buf._in_vX[0]" "t.registers.output_buf.f_buf_func[3].n2"
= "t.registers.output_buf._in_vX[0]" "t.registers.output_buf.t_buf_func[2].n2"
= "t.registers.output_buf._in_vX[0]" "t.registers.output_buf.f_buf_func[2].n2"
= "t.registers.output_buf._in_vX[0]" "t.registers.output_buf.t_buf_func[1].n2"
= "t.registers.output_buf._in_vX[0]" "t.registers.output_buf.f_buf_func[1].n2"
= "t.registers.output_buf._in_vX[0]" "t.registers.output_buf.t_buf_func[0].n2"
= "t.registers.output_buf._in_vX[0]" "t.registers.output_buf.f_buf_func[0].n2"
= "t.registers.output_buf._in_vX[0]" "t.registers.output_buf._in_vX[3]"
= "t.registers.output_buf._in_vX[0]" "t.registers.output_buf._in_vX[2]"
= "t.registers.output_buf._in_vX[0]" "t.registers.output_buf._in_vX[1]"
"t.registers.output_buf.in_v_bufN.buf1.a"->"t.registers.output_buf.in_v_bufN.buf1._y"-
~("t.registers.output_buf.in_v_bufN.buf1.a")->"t.registers.output_buf.in_v_bufN.buf1._y"+
"t.registers.output_buf.in_v_bufN.buf1._y"->"t.registers.output_buf.in_v_bufN.buf1.y"-
~("t.registers.output_buf.in_v_bufN.buf1._y")->"t.registers.output_buf.in_v_bufN.buf1.y"+
= "t.registers.output_buf.in_v_bufN.supply.vdd" "t.registers.output_buf.in_v_bufN.buf1.vdd"
= "t.registers.output_buf.in_v_bufN.supply.vss" "t.registers.output_buf.in_v_bufN.buf1.vss"
= "t.registers.output_buf.in_v_bufN.out[0]" "t.registers.output_buf.in_v_bufN.out[3]"
= "t.registers.output_buf.in_v_bufN.out[0]" "t.registers.output_buf.in_v_bufN.out[2]"
= "t.registers.output_buf.in_v_bufN.out[0]" "t.registers.output_buf.in_v_bufN.out[1]"
= "t.registers.output_buf.in_v_bufN.out[0]" "t.registers.output_buf.in_v_bufN.buf1.y"
= "t.registers.output_buf.in_v_bufN.in" "t.registers.output_buf.in_v_bufN.buf1.a"
~"t.registers.output_buf.t_buf_func[0].c1"&~"t.registers.output_buf.t_buf_func[0].c2"|~"t.registers.output_buf.t_buf_func[0].pr_B"->"t.registers.output_buf.t_buf_func[0]._y"+
"t.registers.output_buf.t_buf_func[0].c1"&"t.registers.output_buf.t_buf_func[0].c2"&"t.registers.output_buf.t_buf_func[0].n1"&"t.registers.output_buf.t_buf_func[0].n2"&"t.registers.output_buf.t_buf_func[0].sr_B"->"t.registers.output_buf.t_buf_func[0]._y"-
"t.registers.output_buf.t_buf_func[0]._y"->"t.registers.output_buf.t_buf_func[0].y"-
~("t.registers.output_buf.t_buf_func[0]._y")->"t.registers.output_buf.t_buf_func[0].y"+
~"t.registers.output_buf.t_buf_func[1].c1"&~"t.registers.output_buf.t_buf_func[1].c2"|~"t.registers.output_buf.t_buf_func[1].pr_B"->"t.registers.output_buf.t_buf_func[1]._y"+
"t.registers.output_buf.t_buf_func[1].c1"&"t.registers.output_buf.t_buf_func[1].c2"&"t.registers.output_buf.t_buf_func[1].n1"&"t.registers.output_buf.t_buf_func[1].n2"&"t.registers.output_buf.t_buf_func[1].sr_B"->"t.registers.output_buf.t_buf_func[1]._y"-
"t.registers.output_buf.t_buf_func[1]._y"->"t.registers.output_buf.t_buf_func[1].y"-
~("t.registers.output_buf.t_buf_func[1]._y")->"t.registers.output_buf.t_buf_func[1].y"+
~"t.registers.output_buf.t_buf_func[2].c1"&~"t.registers.output_buf.t_buf_func[2].c2"|~"t.registers.output_buf.t_buf_func[2].pr_B"->"t.registers.output_buf.t_buf_func[2]._y"+
"t.registers.output_buf.t_buf_func[2].c1"&"t.registers.output_buf.t_buf_func[2].c2"&"t.registers.output_buf.t_buf_func[2].n1"&"t.registers.output_buf.t_buf_func[2].n2"&"t.registers.output_buf.t_buf_func[2].sr_B"->"t.registers.output_buf.t_buf_func[2]._y"-
"t.registers.output_buf.t_buf_func[2]._y"->"t.registers.output_buf.t_buf_func[2].y"-
~("t.registers.output_buf.t_buf_func[2]._y")->"t.registers.output_buf.t_buf_func[2].y"+
~"t.registers.output_buf.t_buf_func[3].c1"&~"t.registers.output_buf.t_buf_func[3].c2"|~"t.registers.output_buf.t_buf_func[3].pr_B"->"t.registers.output_buf.t_buf_func[3]._y"+
"t.registers.output_buf.t_buf_func[3].c1"&"t.registers.output_buf.t_buf_func[3].c2"&"t.registers.output_buf.t_buf_func[3].n1"&"t.registers.output_buf.t_buf_func[3].n2"&"t.registers.output_buf.t_buf_func[3].sr_B"->"t.registers.output_buf.t_buf_func[3]._y"-
"t.registers.output_buf.t_buf_func[3]._y"->"t.registers.output_buf.t_buf_func[3].y"-
~("t.registers.output_buf.t_buf_func[3]._y")->"t.registers.output_buf.t_buf_func[3].y"+
~"t.registers.output_buf.f_buf_func[0].c1"&~"t.registers.output_buf.f_buf_func[0].c2"|~"t.registers.output_buf.f_buf_func[0].pr_B"->"t.registers.output_buf.f_buf_func[0]._y"+
"t.registers.output_buf.f_buf_func[0].c1"&"t.registers.output_buf.f_buf_func[0].c2"&"t.registers.output_buf.f_buf_func[0].n1"&"t.registers.output_buf.f_buf_func[0].n2"&"t.registers.output_buf.f_buf_func[0].sr_B"->"t.registers.output_buf.f_buf_func[0]._y"-
"t.registers.output_buf.f_buf_func[0]._y"->"t.registers.output_buf.f_buf_func[0].y"-
~("t.registers.output_buf.f_buf_func[0]._y")->"t.registers.output_buf.f_buf_func[0].y"+
~"t.registers.output_buf.f_buf_func[1].c1"&~"t.registers.output_buf.f_buf_func[1].c2"|~"t.registers.output_buf.f_buf_func[1].pr_B"->"t.registers.output_buf.f_buf_func[1]._y"+
"t.registers.output_buf.f_buf_func[1].c1"&"t.registers.output_buf.f_buf_func[1].c2"&"t.registers.output_buf.f_buf_func[1].n1"&"t.registers.output_buf.f_buf_func[1].n2"&"t.registers.output_buf.f_buf_func[1].sr_B"->"t.registers.output_buf.f_buf_func[1]._y"-
"t.registers.output_buf.f_buf_func[1]._y"->"t.registers.output_buf.f_buf_func[1].y"-
~("t.registers.output_buf.f_buf_func[1]._y")->"t.registers.output_buf.f_buf_func[1].y"+
~"t.registers.output_buf.f_buf_func[2].c1"&~"t.registers.output_buf.f_buf_func[2].c2"|~"t.registers.output_buf.f_buf_func[2].pr_B"->"t.registers.output_buf.f_buf_func[2]._y"+
"t.registers.output_buf.f_buf_func[2].c1"&"t.registers.output_buf.f_buf_func[2].c2"&"t.registers.output_buf.f_buf_func[2].n1"&"t.registers.output_buf.f_buf_func[2].n2"&"t.registers.output_buf.f_buf_func[2].sr_B"->"t.registers.output_buf.f_buf_func[2]._y"-
"t.registers.output_buf.f_buf_func[2]._y"->"t.registers.output_buf.f_buf_func[2].y"-
~("t.registers.output_buf.f_buf_func[2]._y")->"t.registers.output_buf.f_buf_func[2].y"+
~"t.registers.output_buf.f_buf_func[3].c1"&~"t.registers.output_buf.f_buf_func[3].c2"|~"t.registers.output_buf.f_buf_func[3].pr_B"->"t.registers.output_buf.f_buf_func[3]._y"+
"t.registers.output_buf.f_buf_func[3].c1"&"t.registers.output_buf.f_buf_func[3].c2"&"t.registers.output_buf.f_buf_func[3].n1"&"t.registers.output_buf.f_buf_func[3].n2"&"t.registers.output_buf.f_buf_func[3].sr_B"->"t.registers.output_buf.f_buf_func[3]._y"-
"t.registers.output_buf.f_buf_func[3]._y"->"t.registers.output_buf.f_buf_func[3].y"-
~("t.registers.output_buf.f_buf_func[3]._y")->"t.registers.output_buf.f_buf_func[3].y"+
= "t.registers.output_buf._en_X_t[0]" "t.registers.output_buf.en_buf_t.out[0]"
= "t.registers.output_buf._en_X_t[1]" "t.registers.output_buf.en_buf_t.out[1]"
= "t.registers.output_buf._en_X_t[2]" "t.registers.output_buf.en_buf_t.out[2]"
= "t.registers.output_buf._en_X_t[3]" "t.registers.output_buf.en_buf_t.out[3]"
= "t.registers.output_buf._en_X_t[0]" "t.registers.output_buf.t_buf_func[3].c1"
= "t.registers.output_buf._en_X_t[0]" "t.registers.output_buf.t_buf_func[2].c1"
= "t.registers.output_buf._en_X_t[0]" "t.registers.output_buf.t_buf_func[1].c1"
= "t.registers.output_buf._en_X_t[0]" "t.registers.output_buf.t_buf_func[0].c1"
= "t.registers.output_buf._en_X_t[0]" "t.registers.output_buf._en_X_t[3]"
= "t.registers.output_buf._en_X_t[0]" "t.registers.output_buf._en_X_t[2]"
= "t.registers.output_buf._en_X_t[0]" "t.registers.output_buf._en_X_t[1]"
= "t.registers._clock_word_temp[0]" "t.registers.clock_buffer[0].in"
= "t.registers._clock_word_temp[0]" "t.registers.and_encoder[0].y"
= "t.registers._clock_word_temp[1]" "t.registers.clock_buffer[1].in"
= "t.registers._clock_word_temp[1]" "t.registers.and_encoder[1].y"
= "t.registers._clock_word_temp[2]" "t.registers.clock_buffer[2].in"
= "t.registers._clock_word_temp[2]" "t.registers.and_encoder[2].y"
= "t.registers._clock_word_temp[3]" "t.registers.clock_buffer[3].in"
= "t.registers._clock_word_temp[3]" "t.registers.and_encoder[3].y"
= "t.registers._in_a_write" "t.registers.ack_write_and.y"
= "t.registers._in_a_write" "t.registers.ack_readwrite.a"
= "t.registers._in_a_read" "t.registers.ack_read_and.y"
= "t.registers._in_a_read" "t.registers.ack_readwrite.b"
"t.registers.ack_readwrite.a"|"t.registers.ack_readwrite.b"->"t.registers.ack_readwrite._y"-
~("t.registers.ack_readwrite.a"|"t.registers.ack_readwrite.b")->"t.registers.ack_readwrite._y"+
"t.registers.ack_readwrite._y"->"t.registers.ack_readwrite.y"-
~("t.registers.ack_readwrite._y")->"t.registers.ack_readwrite.y"+
"t.registers.and_encoder[0].a"&"t.registers.and_encoder[0].b"->"t.registers.and_encoder[0]._y"-
~("t.registers.and_encoder[0].a"&"t.registers.and_encoder[0].b")->"t.registers.and_encoder[0]._y"+
"t.registers.and_encoder[0]._y"->"t.registers.and_encoder[0].y"-
~("t.registers.and_encoder[0]._y")->"t.registers.and_encoder[0].y"+
"t.registers.and_encoder[1].a"&"t.registers.and_encoder[1].b"->"t.registers.and_encoder[1]._y"-
~("t.registers.and_encoder[1].a"&"t.registers.and_encoder[1].b")->"t.registers.and_encoder[1]._y"+
"t.registers.and_encoder[1]._y"->"t.registers.and_encoder[1].y"-
~("t.registers.and_encoder[1]._y")->"t.registers.and_encoder[1].y"+
"t.registers.and_encoder[2].a"&"t.registers.and_encoder[2].b"->"t.registers.and_encoder[2]._y"-
~("t.registers.and_encoder[2].a"&"t.registers.and_encoder[2].b")->"t.registers.and_encoder[2]._y"+
"t.registers.and_encoder[2]._y"->"t.registers.and_encoder[2].y"-
~("t.registers.and_encoder[2]._y")->"t.registers.and_encoder[2].y"+
"t.registers.and_encoder[3].a"&"t.registers.and_encoder[3].b"->"t.registers.and_encoder[3]._y"-
~("t.registers.and_encoder[3].a"&"t.registers.and_encoder[3].b")->"t.registers.and_encoder[3]._y"+
"t.registers.and_encoder[3]._y"->"t.registers.and_encoder[3].y"-
~("t.registers.and_encoder[3]._y")->"t.registers.and_encoder[3].y"+
= "t.registers._reset_mem_BX" "t.registers.reset_bufarray.in"
= "t.registers._reset_mem_BX" "t.registers.reset_buf_BXX.y"
"t.registers.ack_read_and.a"&"t.registers.ack_read_and.b"->"t.registers.ack_read_and._y"-
~("t.registers.ack_read_and.a"&"t.registers.ack_read_and.b")->"t.registers.ack_read_and._y"+
"t.registers.ack_read_and._y"->"t.registers.ack_read_and.y"-
~("t.registers.ack_read_and._y")->"t.registers.ack_read_and.y"+
= "t.registers.ack_read_and.b" "t.registers.output_buf.in.a"
"t.registers.word_to_read[0].a"&"t.registers.word_to_read[0].b"->"t.registers.word_to_read[0]._y"-
~("t.registers.word_to_read[0].a"&"t.registers.word_to_read[0].b")->"t.registers.word_to_read[0]._y"+
"t.registers.word_to_read[0]._y"->"t.registers.word_to_read[0].y"-
~("t.registers.word_to_read[0]._y")->"t.registers.word_to_read[0].y"+
"t.registers.word_to_read[1].a"&"t.registers.word_to_read[1].b"->"t.registers.word_to_read[1]._y"-
~("t.registers.word_to_read[1].a"&"t.registers.word_to_read[1].b")->"t.registers.word_to_read[1]._y"+
"t.registers.word_to_read[1]._y"->"t.registers.word_to_read[1].y"-
~("t.registers.word_to_read[1]._y")->"t.registers.word_to_read[1].y"+
"t.registers.word_to_read[2].a"&"t.registers.word_to_read[2].b"->"t.registers.word_to_read[2]._y"-
~("t.registers.word_to_read[2].a"&"t.registers.word_to_read[2].b")->"t.registers.word_to_read[2]._y"+
"t.registers.word_to_read[2]._y"->"t.registers.word_to_read[2].y"-
~("t.registers.word_to_read[2]._y")->"t.registers.word_to_read[2].y"+
"t.registers.word_to_read[3].a"&"t.registers.word_to_read[3].b"->"t.registers.word_to_read[3]._y"-
~("t.registers.word_to_read[3].a"&"t.registers.word_to_read[3].b")->"t.registers.word_to_read[3]._y"+
"t.registers.word_to_read[3]._y"->"t.registers.word_to_read[3].y"-
~("t.registers.word_to_read[3]._y")->"t.registers.word_to_read[3].y"+
= "t.registers.word_to_read[3].y" "t.registers.word_to_read_X[3].in"
= "t.registers.word_to_read[2].y" "t.registers.word_to_read_X[2].in"
= "t.registers.word_to_read[1].y" "t.registers.word_to_read_X[1].in"
= "t.registers.word_to_read[0].y" "t.registers.word_to_read_X[0].in"
= "t.registers._in_a_temp" "t.registers.ack_input_X.in"
= "t.registers._in_a_temp" "t.registers.ack_readwrite.y"
= "t.registers.dly_cfg[0]" "t.registers.ack_dly.s[0]"
= "t.registers.dly_cfg[1]" "t.registers.ack_dly.s[1]"
= "t.registers.dly_cfg[0]" "t.registers.clk_dly.s[0]"
= "t.registers.dly_cfg[1]" "t.registers.clk_dly.s[1]"
= "t.registers.supply.vss" "t.registers.word_to_read_X[3].supply.vss"
= "t.registers.supply.vdd" "t.registers.word_to_read_X[3].supply.vdd"
= "t.registers.supply.vss" "t.registers.clock_buffer[3].supply.vss"
= "t.registers.supply.vdd" "t.registers.clock_buffer[3].supply.vdd"
= "t.registers.supply.vss" "t.registers.word_to_read_X[2].supply.vss"
= "t.registers.supply.vdd" "t.registers.word_to_read_X[2].supply.vdd"
= "t.registers.supply.vss" "t.registers.clock_buffer[2].supply.vss"
= "t.registers.supply.vdd" "t.registers.clock_buffer[2].supply.vdd"
= "t.registers.supply.vss" "t.registers.word_to_read_X[1].supply.vss"
= "t.registers.supply.vdd" "t.registers.word_to_read_X[1].supply.vdd"
= "t.registers.supply.vss" "t.registers.clock_buffer[1].supply.vss"
= "t.registers.supply.vdd" "t.registers.clock_buffer[1].supply.vdd"
= "t.registers.supply.vss" "t.registers.bitselector_f[1].supply.vss"
= "t.registers.supply.vdd" "t.registers.bitselector_f[1].supply.vdd"
= "t.registers.supply.vss" "t.registers.bitselector_t[1].supply.vss"
= "t.registers.supply.vdd" "t.registers.bitselector_t[1].supply.vdd"
= "t.registers.supply.vss" "t.registers.bitselector_f[0].supply.vss"
= "t.registers.supply.vdd" "t.registers.bitselector_f[0].supply.vdd"
= "t.registers.supply.vss" "t.registers.bitselector_t[0].supply.vss"
= "t.registers.supply.vdd" "t.registers.bitselector_t[0].supply.vdd"
= "t.registers.supply.vss" "t.registers.word_to_read_X[0].supply.vss"
= "t.registers.supply.vdd" "t.registers.word_to_read_X[0].supply.vdd"
= "t.registers.supply.vss" "t.registers.clock_buffer[0].supply.vss"
= "t.registers.supply.vdd" "t.registers.clock_buffer[0].supply.vdd"
= "t.registers.supply.vss" "t.registers.atree[3].supply.vss"
= "t.registers.supply.vdd" "t.registers.atree[3].supply.vdd"
= "t.registers.supply.vss" "t.registers.atree[2].supply.vss"
= "t.registers.supply.vdd" "t.registers.atree[2].supply.vdd"
= "t.registers.supply.vss" "t.registers.atree[1].supply.vss"
= "t.registers.supply.vdd" "t.registers.atree[1].supply.vdd"
= "t.registers.supply.vss" "t.registers.atree[0].supply.vss"
= "t.registers.supply.vdd" "t.registers.atree[0].supply.vdd"
= "t.registers.supply.vss" "t.registers.reset_bufarray.supply.vss"
= "t.registers.supply.vdd" "t.registers.reset_bufarray.supply.vdd"
= "t.registers.supply.vss" "t.registers.output_buf.supply.vss"
= "t.registers.supply.vdd" "t.registers.output_buf.supply.vdd"
= "t.registers.supply.vss" "t.registers.ack_dly.supply.vss"
= "t.registers.supply.vdd" "t.registers.ack_dly.supply.vdd"
= "t.registers.supply.vss" "t.registers.clk_X.supply.vss"
= "t.registers.supply.vdd" "t.registers.clk_X.supply.vdd"
= "t.registers.supply.vss" "t.registers.clk_dly.supply.vss"
= "t.registers.supply.vdd" "t.registers.clk_dly.supply.vdd"
= "t.registers.supply.vss" "t.registers.ack_input_X.supply.vss"
= "t.registers.supply.vdd" "t.registers.ack_input_X.supply.vdd"
= "t.registers.supply.vss" "t.registers.val_input_X.supply.vss"
= "t.registers.supply.vdd" "t.registers.val_input_X.supply.vdd"
= "t.registers.supply.vss" "t.registers.val_input.supply.vss"
= "t.registers.supply.vdd" "t.registers.val_input.supply.vdd"
= "t.registers.supply.vdd" "t.registers.ff[7].vdd"
= "t.registers.supply.vdd" "t.registers.ff[6].vdd"
= "t.registers.supply.vdd" "t.registers.word_to_read[3].vdd"
= "t.registers.supply.vdd" "t.registers.and_encoder[3].vdd"
= "t.registers.supply.vdd" "t.registers.ff[5].vdd"
= "t.registers.supply.vdd" "t.registers.ff[4].vdd"
= "t.registers.supply.vdd" "t.registers.word_to_read[2].vdd"
= "t.registers.supply.vdd" "t.registers.and_encoder[2].vdd"
= "t.registers.supply.vdd" "t.registers.ff[3].vdd"
= "t.registers.supply.vdd" "t.registers.ff[2].vdd"
= "t.registers.supply.vdd" "t.registers.word_to_read[1].vdd"
= "t.registers.supply.vdd" "t.registers.and_encoder[1].vdd"
= "t.registers.supply.vdd" "t.registers.ff[1].vdd"
= "t.registers.supply.vdd" "t.registers.ff[0].vdd"
= "t.registers.supply.vdd" "t.registers.word_to_read[0].vdd"
= "t.registers.supply.vdd" "t.registers.and_encoder[0].vdd"
= "t.registers.supply.vdd" "t.registers.reset_buf_BXX.vdd"
= "t.registers.supply.vdd" "t.registers.reset_buf_BX.vdd"
= "t.registers.supply.vdd" "t.registers.ack_read_and.vdd"
= "t.registers.supply.vdd" "t.registers.address_propagator_f[1].vdd"
= "t.registers.supply.vdd" "t.registers.address_propagator_t[1].vdd"
= "t.registers.supply.vdd" "t.registers.address_propagator_f[0].vdd"
= "t.registers.supply.vdd" "t.registers.address_propagator_t[0].vdd"
= "t.registers.supply.vdd" "t.registers.ack_write_and.vdd"
= "t.registers.supply.vdd" "t.registers.inv_clk.vdd"
= "t.registers.supply.vdd" "t.registers.clk_switch.vdd"
= "t.registers.supply.vdd" "t.registers.ack_readwrite.vdd"
= "t.registers.supply.vss" "t.registers.ff[7].vss"
= "t.registers.supply.vss" "t.registers.ff[6].vss"
= "t.registers.supply.vss" "t.registers.word_to_read[3].vss"
= "t.registers.supply.vss" "t.registers.and_encoder[3].vss"
= "t.registers.supply.vss" "t.registers.ff[5].vss"
= "t.registers.supply.vss" "t.registers.ff[4].vss"
= "t.registers.supply.vss" "t.registers.word_to_read[2].vss"
= "t.registers.supply.vss" "t.registers.and_encoder[2].vss"
= "t.registers.supply.vss" "t.registers.ff[3].vss"
= "t.registers.supply.vss" "t.registers.ff[2].vss"
= "t.registers.supply.vss" "t.registers.word_to_read[1].vss"
= "t.registers.supply.vss" "t.registers.and_encoder[1].vss"
= "t.registers.supply.vss" "t.registers.ff[1].vss"
= "t.registers.supply.vss" "t.registers.ff[0].vss"
= "t.registers.supply.vss" "t.registers.word_to_read[0].vss"
= "t.registers.supply.vss" "t.registers.and_encoder[0].vss"
= "t.registers.supply.vss" "t.registers.reset_buf_BXX.vss"
= "t.registers.supply.vss" "t.registers.reset_buf_BX.vss"
= "t.registers.supply.vss" "t.registers.ack_read_and.vss"
= "t.registers.supply.vss" "t.registers.address_propagator_f[1].vss"
= "t.registers.supply.vss" "t.registers.address_propagator_t[1].vss"
= "t.registers.supply.vss" "t.registers.address_propagator_f[0].vss"
= "t.registers.supply.vss" "t.registers.address_propagator_t[0].vss"
= "t.registers.supply.vss" "t.registers.ack_write_and.vss"
= "t.registers.supply.vss" "t.registers.inv_clk.vss"
= "t.registers.supply.vss" "t.registers.clk_switch.vss"
= "t.registers.supply.vss" "t.registers.ack_readwrite.vss"
"t.registers.inv_clk.a"->"t.registers.inv_clk.y"-
~("t.registers.inv_clk.a")->"t.registers.inv_clk.y"+
= "t.registers.data[3].d[0]" "t.registers.word_selector_t[6].b"
= "t.registers.data[3].d[0]" "t.registers.ff[6].q"
= "t.registers.data[3].d[1]" "t.registers.word_selector_t[7].b"
= "t.registers.data[3].d[1]" "t.registers.ff[7].q"
= "t.registers.data[2].d[0]" "t.registers.word_selector_t[4].b"
= "t.registers.data[2].d[0]" "t.registers.ff[4].q"
= "t.registers.data[2].d[1]" "t.registers.word_selector_t[5].b"
= "t.registers.data[2].d[1]" "t.registers.ff[5].q"
= "t.registers.data[1].d[0]" "t.registers.word_selector_t[2].b"
= "t.registers.data[1].d[0]" "t.registers.ff[2].q"
= "t.registers.data[1].d[1]" "t.registers.word_selector_t[3].b"
= "t.registers.data[1].d[1]" "t.registers.ff[3].q"
= "t.registers.data[0].d[0]" "t.registers.word_selector_t[0].b"
= "t.registers.data[0].d[0]" "t.registers.ff[0].q"
= "t.registers.data[0].d[1]" "t.registers.word_selector_t[1].b"
= "t.registers.data[0].d[1]" "t.registers.ff[1].q"
"t.registers.val_input_X.buf4.a"->"t.registers.val_input_X.buf4._y"-
~("t.registers.val_input_X.buf4.a")->"t.registers.val_input_X.buf4._y"+
"t.registers.val_input_X.buf4._y"->"t.registers.val_input_X.buf4.y"-
~("t.registers.val_input_X.buf4._y")->"t.registers.val_input_X.buf4.y"+
= "t.registers.val_input_X.supply.vdd" "t.registers.val_input_X.buf4.vdd"
= "t.registers.val_input_X.supply.vss" "t.registers.val_input_X.buf4.vss"
= "t.registers.val_input_X.out" "t.registers.val_input_X.buf4.y"
= "t.registers.val_input_X.in" "t.registers.val_input_X.buf4.a"
= "t.registers.out.d.d[0].d[0]" "t.registers.out.d.d[0].f"
= "t.registers.out.d.d[0].d[1]" "t.registers.out.d.d[0].t"
= "t.registers.out.d.d[1].d[0]" "t.registers.out.d.d[1].f"
= "t.registers.out.d.d[1].d[1]" "t.registers.out.d.d[1].t"
= "t.registers.out.d.d[2].d[0]" "t.registers.out.d.d[2].f"
= "t.registers.out.d.d[2].d[1]" "t.registers.out.d.d[2].t"
= "t.registers.out.d.d[3].d[0]" "t.registers.out.d.d[3].f"
= "t.registers.out.d.d[3].d[1]" "t.registers.out.d.d[3].t"
= "t.registers.out.d.d[3].d[0]" "t.registers.out.d.d[3].f"
= "t.registers.out.d.d[3].d[1]" "t.registers.out.d.d[3].t"
= "t.registers.out.d.d[2].d[0]" "t.registers.out.d.d[2].f"
= "t.registers.out.d.d[2].d[1]" "t.registers.out.d.d[2].t"
= "t.registers.out.d.d[1].d[0]" "t.registers.out.d.d[1].f"
= "t.registers.out.d.d[1].d[1]" "t.registers.out.d.d[1].t"
= "t.registers.out.d.d[0].d[0]" "t.registers.out.d.d[0].f"
= "t.registers.out.d.d[0].d[1]" "t.registers.out.d.d[0].t"
= "t.registers.out.d.d[3].d[0]" "t.registers.out.d.d[3].f"
= "t.registers.out.d.d[3].d[1]" "t.registers.out.d.d[3].t"
= "t.registers.out.d.d[2].d[0]" "t.registers.out.d.d[2].f"
= "t.registers.out.d.d[2].d[1]" "t.registers.out.d.d[2].t"
= "t.registers.out.d.d[1].d[0]" "t.registers.out.d.d[1].f"
= "t.registers.out.d.d[1].d[1]" "t.registers.out.d.d[1].t"
= "t.registers.out.d.d[0].d[0]" "t.registers.out.d.d[0].f"
= "t.registers.out.d.d[0].d[1]" "t.registers.out.d.d[0].t"
= "t.registers.out.v" "t.registers.output_buf.out.v"
= "t.registers.out.a" "t.registers.output_buf.out.a"
= "t.registers.out.d.d[0].f" "t.registers.output_buf.out.d.d[0].f"
= "t.registers.out.d.d[0].t" "t.registers.output_buf.out.d.d[0].t"
= "t.registers.out.d.d[0].d[0]" "t.registers.output_buf.out.d.d[0].d[0]"
= "t.registers.out.d.d[0].d[1]" "t.registers.output_buf.out.d.d[0].d[1]"
= "t.registers.out.d.d[1].f" "t.registers.output_buf.out.d.d[1].f"
= "t.registers.out.d.d[1].t" "t.registers.output_buf.out.d.d[1].t"
= "t.registers.out.d.d[1].d[0]" "t.registers.output_buf.out.d.d[1].d[0]"
= "t.registers.out.d.d[1].d[1]" "t.registers.output_buf.out.d.d[1].d[1]"
= "t.registers.out.d.d[2].f" "t.registers.output_buf.out.d.d[2].f"
= "t.registers.out.d.d[2].t" "t.registers.output_buf.out.d.d[2].t"
= "t.registers.out.d.d[2].d[0]" "t.registers.output_buf.out.d.d[2].d[0]"
= "t.registers.out.d.d[2].d[1]" "t.registers.output_buf.out.d.d[2].d[1]"
= "t.registers.out.d.d[3].f" "t.registers.output_buf.out.d.d[3].f"
= "t.registers.out.d.d[3].t" "t.registers.output_buf.out.d.d[3].t"
= "t.registers.out.d.d[3].d[0]" "t.registers.output_buf.out.d.d[3].d[0]"
= "t.registers.out.d.d[3].d[1]" "t.registers.output_buf.out.d.d[3].d[1]"
= "t.registers.out.d.d[3].d[0]" "t.registers.out.d.d[3].f"
= "t.registers.out.d.d[3].d[1]" "t.registers.out.d.d[3].t"
= "t.registers.out.d.d[2].d[0]" "t.registers.out.d.d[2].f"
= "t.registers.out.d.d[2].d[1]" "t.registers.out.d.d[2].t"
= "t.registers.out.d.d[1].d[0]" "t.registers.out.d.d[1].f"
= "t.registers.out.d.d[1].d[1]" "t.registers.out.d.d[1].t"
= "t.registers.out.d.d[0].d[0]" "t.registers.out.d.d[0].f"
= "t.registers.out.d.d[0].d[1]" "t.registers.out.d.d[0].t"
"t.registers.ack_input_X.buf4.a"->"t.registers.ack_input_X.buf4._y"-
~("t.registers.ack_input_X.buf4.a")->"t.registers.ack_input_X.buf4._y"+
"t.registers.ack_input_X.buf4._y"->"t.registers.ack_input_X.buf4.y"-
~("t.registers.ack_input_X.buf4._y")->"t.registers.ack_input_X.buf4.y"+
= "t.registers.ack_input_X.supply.vdd" "t.registers.ack_input_X.buf4.vdd"
= "t.registers.ack_input_X.supply.vss" "t.registers.ack_input_X.buf4.vss"
= "t.registers.ack_input_X.out" "t.registers.ack_input_X.buf4.y"
= "t.registers.ack_input_X.in" "t.registers.ack_input_X.buf4.a"
= "t.registers.atree[0].supply.vdd" "t.registers.atree[0].and2s[0].vdd"
= "t.registers.atree[0].supply.vss" "t.registers.atree[0].and2s[0].vss"
"t.registers.atree[0].and2s[0].a"&"t.registers.atree[0].and2s[0].b"->"t.registers.atree[0].and2s[0]._y"-
~("t.registers.atree[0].and2s[0].a"&"t.registers.atree[0].and2s[0].b")->"t.registers.atree[0].and2s[0]._y"+
"t.registers.atree[0].and2s[0]._y"->"t.registers.atree[0].and2s[0].y"-
~("t.registers.atree[0].and2s[0]._y")->"t.registers.atree[0].and2s[0].y"+
= "t.registers.atree[0].in[0]" "t.registers.atree[0].and2s[0].a"
= "t.registers.atree[0].in[0]" "t.registers.atree[0].tmp[0]"
= "t.registers.atree[0].in[1]" "t.registers.atree[0].and2s[0].b"
= "t.registers.atree[0].in[1]" "t.registers.atree[0].tmp[1]"
= "t.registers.atree[0].out" "t.registers.atree[0].and2s[0].y"
= "t.registers.atree[0].out" "t.registers.atree[0].tmp[2]"
= "t.registers.atree[1].supply.vdd" "t.registers.atree[1].and2s[0].vdd"
= "t.registers.atree[1].supply.vss" "t.registers.atree[1].and2s[0].vss"
"t.registers.atree[1].and2s[0].a"&"t.registers.atree[1].and2s[0].b"->"t.registers.atree[1].and2s[0]._y"-
~("t.registers.atree[1].and2s[0].a"&"t.registers.atree[1].and2s[0].b")->"t.registers.atree[1].and2s[0]._y"+
"t.registers.atree[1].and2s[0]._y"->"t.registers.atree[1].and2s[0].y"-
~("t.registers.atree[1].and2s[0]._y")->"t.registers.atree[1].and2s[0].y"+
= "t.registers.atree[1].in[0]" "t.registers.atree[1].and2s[0].a"
= "t.registers.atree[1].in[0]" "t.registers.atree[1].tmp[0]"
= "t.registers.atree[1].in[1]" "t.registers.atree[1].and2s[0].b"
= "t.registers.atree[1].in[1]" "t.registers.atree[1].tmp[1]"
= "t.registers.atree[1].out" "t.registers.atree[1].and2s[0].y"
= "t.registers.atree[1].out" "t.registers.atree[1].tmp[2]"
= "t.registers.atree[2].supply.vdd" "t.registers.atree[2].and2s[0].vdd"
= "t.registers.atree[2].supply.vss" "t.registers.atree[2].and2s[0].vss"
"t.registers.atree[2].and2s[0].a"&"t.registers.atree[2].and2s[0].b"->"t.registers.atree[2].and2s[0]._y"-
~("t.registers.atree[2].and2s[0].a"&"t.registers.atree[2].and2s[0].b")->"t.registers.atree[2].and2s[0]._y"+
"t.registers.atree[2].and2s[0]._y"->"t.registers.atree[2].and2s[0].y"-
~("t.registers.atree[2].and2s[0]._y")->"t.registers.atree[2].and2s[0].y"+
= "t.registers.atree[2].in[0]" "t.registers.atree[2].and2s[0].a"
= "t.registers.atree[2].in[0]" "t.registers.atree[2].tmp[0]"
= "t.registers.atree[2].in[1]" "t.registers.atree[2].and2s[0].b"
= "t.registers.atree[2].in[1]" "t.registers.atree[2].tmp[1]"
= "t.registers.atree[2].out" "t.registers.atree[2].and2s[0].y"
= "t.registers.atree[2].out" "t.registers.atree[2].tmp[2]"
= "t.registers.atree[3].supply.vdd" "t.registers.atree[3].and2s[0].vdd"
= "t.registers.atree[3].supply.vss" "t.registers.atree[3].and2s[0].vss"
"t.registers.atree[3].and2s[0].a"&"t.registers.atree[3].and2s[0].b"->"t.registers.atree[3].and2s[0]._y"-
~("t.registers.atree[3].and2s[0].a"&"t.registers.atree[3].and2s[0].b")->"t.registers.atree[3].and2s[0]._y"+
"t.registers.atree[3].and2s[0]._y"->"t.registers.atree[3].and2s[0].y"-
~("t.registers.atree[3].and2s[0]._y")->"t.registers.atree[3].and2s[0].y"+
= "t.registers.atree[3].in[0]" "t.registers.atree[3].and2s[0].a"
= "t.registers.atree[3].in[0]" "t.registers.atree[3].tmp[0]"
= "t.registers.atree[3].in[1]" "t.registers.atree[3].and2s[0].b"
= "t.registers.atree[3].in[1]" "t.registers.atree[3].tmp[1]"
= "t.registers.atree[3].out" "t.registers.atree[3].and2s[0].y"
= "t.registers.atree[3].out" "t.registers.atree[3].tmp[2]"
"t.registers.reset_buf_BXX.a"->"t.registers.reset_buf_BXX._y"-
~("t.registers.reset_buf_BXX.a")->"t.registers.reset_buf_BXX._y"+
"t.registers.reset_buf_BXX._y"->"t.registers.reset_buf_BXX.y"-
~("t.registers.reset_buf_BXX._y")->"t.registers.reset_buf_BXX.y"+
"t.registers.bitselector_t[0].or2s[0].a"|"t.registers.bitselector_t[0].or2s[0].b"->"t.registers.bitselector_t[0].or2s[0]._y"-
~("t.registers.bitselector_t[0].or2s[0].a"|"t.registers.bitselector_t[0].or2s[0].b")->"t.registers.bitselector_t[0].or2s[0]._y"+
"t.registers.bitselector_t[0].or2s[0]._y"->"t.registers.bitselector_t[0].or2s[0].y"-
~("t.registers.bitselector_t[0].or2s[0]._y")->"t.registers.bitselector_t[0].or2s[0].y"+
"t.registers.bitselector_t[0].or2s[1].a"|"t.registers.bitselector_t[0].or2s[1].b"->"t.registers.bitselector_t[0].or2s[1]._y"-
~("t.registers.bitselector_t[0].or2s[1].a"|"t.registers.bitselector_t[0].or2s[1].b")->"t.registers.bitselector_t[0].or2s[1]._y"+
"t.registers.bitselector_t[0].or2s[1]._y"->"t.registers.bitselector_t[0].or2s[1].y"-
~("t.registers.bitselector_t[0].or2s[1]._y")->"t.registers.bitselector_t[0].or2s[1].y"+
"t.registers.bitselector_t[0].or2s[2].a"|"t.registers.bitselector_t[0].or2s[2].b"->"t.registers.bitselector_t[0].or2s[2]._y"-
~("t.registers.bitselector_t[0].or2s[2].a"|"t.registers.bitselector_t[0].or2s[2].b")->"t.registers.bitselector_t[0].or2s[2]._y"+
"t.registers.bitselector_t[0].or2s[2]._y"->"t.registers.bitselector_t[0].or2s[2].y"-
~("t.registers.bitselector_t[0].or2s[2]._y")->"t.registers.bitselector_t[0].or2s[2].y"+
= "t.registers.bitselector_t[0].tmp[4]" "t.registers.bitselector_t[0].or2s[2].a"
= "t.registers.bitselector_t[0].tmp[4]" "t.registers.bitselector_t[0].or2s[0].y"
= "t.registers.bitselector_t[0].tmp[5]" "t.registers.bitselector_t[0].or2s[2].b"
= "t.registers.bitselector_t[0].tmp[5]" "t.registers.bitselector_t[0].or2s[1].y"
= "t.registers.bitselector_t[0].supply.vdd" "t.registers.bitselector_t[0].or2s[2].vdd"
= "t.registers.bitselector_t[0].supply.vdd" "t.registers.bitselector_t[0].or2s[1].vdd"
= "t.registers.bitselector_t[0].supply.vdd" "t.registers.bitselector_t[0].or2s[0].vdd"
= "t.registers.bitselector_t[0].supply.vss" "t.registers.bitselector_t[0].or2s[2].vss"
= "t.registers.bitselector_t[0].supply.vss" "t.registers.bitselector_t[0].or2s[1].vss"
= "t.registers.bitselector_t[0].supply.vss" "t.registers.bitselector_t[0].or2s[0].vss"
= "t.registers.bitselector_t[0].in[0]" "t.registers.bitselector_t[0].or2s[0].a"
= "t.registers.bitselector_t[0].in[0]" "t.registers.bitselector_t[0].tmp[0]"
= "t.registers.bitselector_t[0].in[1]" "t.registers.bitselector_t[0].or2s[0].b"
= "t.registers.bitselector_t[0].in[1]" "t.registers.bitselector_t[0].tmp[1]"
= "t.registers.bitselector_t[0].in[2]" "t.registers.bitselector_t[0].or2s[1].a"
= "t.registers.bitselector_t[0].in[2]" "t.registers.bitselector_t[0].tmp[2]"
= "t.registers.bitselector_t[0].in[3]" "t.registers.bitselector_t[0].or2s[1].b"
= "t.registers.bitselector_t[0].in[3]" "t.registers.bitselector_t[0].tmp[3]"
= "t.registers.bitselector_t[0].out" "t.registers.bitselector_t[0].or2s[2].y"
= "t.registers.bitselector_t[0].out" "t.registers.bitselector_t[0].tmp[6]"
"t.registers.bitselector_t[1].or2s[0].a"|"t.registers.bitselector_t[1].or2s[0].b"->"t.registers.bitselector_t[1].or2s[0]._y"-
~("t.registers.bitselector_t[1].or2s[0].a"|"t.registers.bitselector_t[1].or2s[0].b")->"t.registers.bitselector_t[1].or2s[0]._y"+
"t.registers.bitselector_t[1].or2s[0]._y"->"t.registers.bitselector_t[1].or2s[0].y"-
~("t.registers.bitselector_t[1].or2s[0]._y")->"t.registers.bitselector_t[1].or2s[0].y"+
"t.registers.bitselector_t[1].or2s[1].a"|"t.registers.bitselector_t[1].or2s[1].b"->"t.registers.bitselector_t[1].or2s[1]._y"-
~("t.registers.bitselector_t[1].or2s[1].a"|"t.registers.bitselector_t[1].or2s[1].b")->"t.registers.bitselector_t[1].or2s[1]._y"+
"t.registers.bitselector_t[1].or2s[1]._y"->"t.registers.bitselector_t[1].or2s[1].y"-
~("t.registers.bitselector_t[1].or2s[1]._y")->"t.registers.bitselector_t[1].or2s[1].y"+
"t.registers.bitselector_t[1].or2s[2].a"|"t.registers.bitselector_t[1].or2s[2].b"->"t.registers.bitselector_t[1].or2s[2]._y"-
~("t.registers.bitselector_t[1].or2s[2].a"|"t.registers.bitselector_t[1].or2s[2].b")->"t.registers.bitselector_t[1].or2s[2]._y"+
"t.registers.bitselector_t[1].or2s[2]._y"->"t.registers.bitselector_t[1].or2s[2].y"-
~("t.registers.bitselector_t[1].or2s[2]._y")->"t.registers.bitselector_t[1].or2s[2].y"+
= "t.registers.bitselector_t[1].tmp[4]" "t.registers.bitselector_t[1].or2s[2].a"
= "t.registers.bitselector_t[1].tmp[4]" "t.registers.bitselector_t[1].or2s[0].y"
= "t.registers.bitselector_t[1].tmp[5]" "t.registers.bitselector_t[1].or2s[2].b"
= "t.registers.bitselector_t[1].tmp[5]" "t.registers.bitselector_t[1].or2s[1].y"
= "t.registers.bitselector_t[1].supply.vdd" "t.registers.bitselector_t[1].or2s[2].vdd"
= "t.registers.bitselector_t[1].supply.vdd" "t.registers.bitselector_t[1].or2s[1].vdd"
= "t.registers.bitselector_t[1].supply.vdd" "t.registers.bitselector_t[1].or2s[0].vdd"
= "t.registers.bitselector_t[1].supply.vss" "t.registers.bitselector_t[1].or2s[2].vss"
= "t.registers.bitselector_t[1].supply.vss" "t.registers.bitselector_t[1].or2s[1].vss"
= "t.registers.bitselector_t[1].supply.vss" "t.registers.bitselector_t[1].or2s[0].vss"
= "t.registers.bitselector_t[1].in[0]" "t.registers.bitselector_t[1].or2s[0].a"
= "t.registers.bitselector_t[1].in[0]" "t.registers.bitselector_t[1].tmp[0]"
= "t.registers.bitselector_t[1].in[1]" "t.registers.bitselector_t[1].or2s[0].b"
= "t.registers.bitselector_t[1].in[1]" "t.registers.bitselector_t[1].tmp[1]"
= "t.registers.bitselector_t[1].in[2]" "t.registers.bitselector_t[1].or2s[1].a"
= "t.registers.bitselector_t[1].in[2]" "t.registers.bitselector_t[1].tmp[2]"
= "t.registers.bitselector_t[1].in[3]" "t.registers.bitselector_t[1].or2s[1].b"
= "t.registers.bitselector_t[1].in[3]" "t.registers.bitselector_t[1].tmp[3]"
= "t.registers.bitselector_t[1].out" "t.registers.bitselector_t[1].or2s[2].y"
= "t.registers.bitselector_t[1].out" "t.registers.bitselector_t[1].tmp[6]"
= "t.registers.bitselector_t[1].out" "t.registers.output_buf.in.d.d[1].t"
= "t.registers.bitselector_t[1].out" "t.registers.output_buf.in.d.d[1].d[1]"
= "t.registers.bitselector_t[0].out" "t.registers.output_buf.in.d.d[0].t"
= "t.registers.bitselector_t[0].out" "t.registers.output_buf.in.d.d[0].d[1]"
~"t.registers.val_input.ct.C2Els[0].c1"&~"t.registers.val_input.ct.C2Els[0].c2"->"t.registers.val_input.ct.C2Els[0]._y"+
"t.registers.val_input.ct.C2Els[0].c1"&"t.registers.val_input.ct.C2Els[0].c2"->"t.registers.val_input.ct.C2Els[0]._y"-
"t.registers.val_input.ct.C2Els[0]._y"->"t.registers.val_input.ct.C2Els[0].y"-
~("t.registers.val_input.ct.C2Els[0]._y")->"t.registers.val_input.ct.C2Els[0].y"+
~"t.registers.val_input.ct.C2Els[1].c1"&~"t.registers.val_input.ct.C2Els[1].c2"->"t.registers.val_input.ct.C2Els[1]._y"+
"t.registers.val_input.ct.C2Els[1].c1"&"t.registers.val_input.ct.C2Els[1].c2"->"t.registers.val_input.ct.C2Els[1]._y"-
"t.registers.val_input.ct.C2Els[1]._y"->"t.registers.val_input.ct.C2Els[1].y"-
~("t.registers.val_input.ct.C2Els[1]._y")->"t.registers.val_input.ct.C2Els[1].y"+
~"t.registers.val_input.ct.C3Els[0].c1"&~"t.registers.val_input.ct.C3Els[0].c2"&~"t.registers.val_input.ct.C3Els[0].c3"->"t.registers.val_input.ct.C3Els[0]._y"+
"t.registers.val_input.ct.C3Els[0].c1"&"t.registers.val_input.ct.C3Els[0].c2"&"t.registers.val_input.ct.C3Els[0].c3"->"t.registers.val_input.ct.C3Els[0]._y"-
"t.registers.val_input.ct.C3Els[0]._y"->"t.registers.val_input.ct.C3Els[0].y"-
~("t.registers.val_input.ct.C3Els[0]._y")->"t.registers.val_input.ct.C3Els[0].y"+
= "t.registers.val_input.ct.tmp[5]" "t.registers.val_input.ct.C2Els[1].c1"
= "t.registers.val_input.ct.tmp[5]" "t.registers.val_input.ct.C2Els[0].y"
= "t.registers.val_input.ct.tmp[6]" "t.registers.val_input.ct.C2Els[1].c2"
= "t.registers.val_input.ct.tmp[6]" "t.registers.val_input.ct.C3Els[0].y"
= "t.registers.val_input.ct.supply.vdd" "t.registers.val_input.ct.C3Els[0].vdd"
= "t.registers.val_input.ct.supply.vdd" "t.registers.val_input.ct.C2Els[1].vdd"
= "t.registers.val_input.ct.supply.vdd" "t.registers.val_input.ct.C2Els[0].vdd"
= "t.registers.val_input.ct.supply.vss" "t.registers.val_input.ct.C3Els[0].vss"
= "t.registers.val_input.ct.supply.vss" "t.registers.val_input.ct.C2Els[1].vss"
= "t.registers.val_input.ct.supply.vss" "t.registers.val_input.ct.C2Els[0].vss"
= "t.registers.val_input.ct.in[0]" "t.registers.val_input.ct.C2Els[0].c1"
= "t.registers.val_input.ct.in[0]" "t.registers.val_input.ct.tmp[0]"
= "t.registers.val_input.ct.in[1]" "t.registers.val_input.ct.C2Els[0].c2"
= "t.registers.val_input.ct.in[1]" "t.registers.val_input.ct.tmp[1]"
= "t.registers.val_input.ct.in[2]" "t.registers.val_input.ct.C3Els[0].c1"
= "t.registers.val_input.ct.in[2]" "t.registers.val_input.ct.tmp[2]"
= "t.registers.val_input.ct.in[3]" "t.registers.val_input.ct.C3Els[0].c2"
= "t.registers.val_input.ct.in[3]" "t.registers.val_input.ct.tmp[3]"
= "t.registers.val_input.ct.in[4]" "t.registers.val_input.ct.C3Els[0].c3"
= "t.registers.val_input.ct.in[4]" "t.registers.val_input.ct.tmp[4]"
= "t.registers.val_input.ct.out" "t.registers.val_input.ct.C2Els[1].y"
= "t.registers.val_input.ct.out" "t.registers.val_input.ct.tmp[7]"
= "t.registers.val_input.ct.in[0]" "t.registers.val_input.OR2_tf[0].y"
= "t.registers.val_input.ct.in[1]" "t.registers.val_input.OR2_tf[1].y"
= "t.registers.val_input.ct.in[2]" "t.registers.val_input.OR2_tf[2].y"
= "t.registers.val_input.ct.in[3]" "t.registers.val_input.OR2_tf[3].y"
= "t.registers.val_input.ct.in[4]" "t.registers.val_input.OR2_tf[4].y"
"t.registers.val_input.OR2_tf[0].a"|"t.registers.val_input.OR2_tf[0].b"->"t.registers.val_input.OR2_tf[0]._y"-
~("t.registers.val_input.OR2_tf[0].a"|"t.registers.val_input.OR2_tf[0].b")->"t.registers.val_input.OR2_tf[0]._y"+
"t.registers.val_input.OR2_tf[0]._y"->"t.registers.val_input.OR2_tf[0].y"-
~("t.registers.val_input.OR2_tf[0]._y")->"t.registers.val_input.OR2_tf[0].y"+
"t.registers.val_input.OR2_tf[1].a"|"t.registers.val_input.OR2_tf[1].b"->"t.registers.val_input.OR2_tf[1]._y"-
~("t.registers.val_input.OR2_tf[1].a"|"t.registers.val_input.OR2_tf[1].b")->"t.registers.val_input.OR2_tf[1]._y"+
"t.registers.val_input.OR2_tf[1]._y"->"t.registers.val_input.OR2_tf[1].y"-
~("t.registers.val_input.OR2_tf[1]._y")->"t.registers.val_input.OR2_tf[1].y"+
"t.registers.val_input.OR2_tf[2].a"|"t.registers.val_input.OR2_tf[2].b"->"t.registers.val_input.OR2_tf[2]._y"-
~("t.registers.val_input.OR2_tf[2].a"|"t.registers.val_input.OR2_tf[2].b")->"t.registers.val_input.OR2_tf[2]._y"+
"t.registers.val_input.OR2_tf[2]._y"->"t.registers.val_input.OR2_tf[2].y"-
~("t.registers.val_input.OR2_tf[2]._y")->"t.registers.val_input.OR2_tf[2].y"+
"t.registers.val_input.OR2_tf[3].a"|"t.registers.val_input.OR2_tf[3].b"->"t.registers.val_input.OR2_tf[3]._y"-
~("t.registers.val_input.OR2_tf[3].a"|"t.registers.val_input.OR2_tf[3].b")->"t.registers.val_input.OR2_tf[3]._y"+
"t.registers.val_input.OR2_tf[3]._y"->"t.registers.val_input.OR2_tf[3].y"-
~("t.registers.val_input.OR2_tf[3]._y")->"t.registers.val_input.OR2_tf[3].y"+
"t.registers.val_input.OR2_tf[4].a"|"t.registers.val_input.OR2_tf[4].b"->"t.registers.val_input.OR2_tf[4]._y"-
~("t.registers.val_input.OR2_tf[4].a"|"t.registers.val_input.OR2_tf[4].b")->"t.registers.val_input.OR2_tf[4]._y"+
"t.registers.val_input.OR2_tf[4]._y"->"t.registers.val_input.OR2_tf[4].y"-
~("t.registers.val_input.OR2_tf[4]._y")->"t.registers.val_input.OR2_tf[4].y"+
= "t.registers.val_input.supply.vss" "t.registers.val_input.ct.supply.vss"
= "t.registers.val_input.supply.vdd" "t.registers.val_input.ct.supply.vdd"
= "t.registers.val_input.supply.vdd" "t.registers.val_input.OR2_tf[4].vdd"
= "t.registers.val_input.supply.vdd" "t.registers.val_input.OR2_tf[3].vdd"
= "t.registers.val_input.supply.vdd" "t.registers.val_input.OR2_tf[2].vdd"
= "t.registers.val_input.supply.vdd" "t.registers.val_input.OR2_tf[1].vdd"
= "t.registers.val_input.supply.vdd" "t.registers.val_input.OR2_tf[0].vdd"
= "t.registers.val_input.supply.vss" "t.registers.val_input.OR2_tf[4].vss"
= "t.registers.val_input.supply.vss" "t.registers.val_input.OR2_tf[3].vss"
= "t.registers.val_input.supply.vss" "t.registers.val_input.OR2_tf[2].vss"
= "t.registers.val_input.supply.vss" "t.registers.val_input.OR2_tf[1].vss"
= "t.registers.val_input.supply.vss" "t.registers.val_input.OR2_tf[0].vss"
= "t.registers.val_input.out" "t.registers.val_input.ct.out"
= "t.registers.val_input.in.d[0].d[0]" "t.registers.val_input.in.d[0].f"
= "t.registers.val_input.in.d[0].d[1]" "t.registers.val_input.in.d[0].t"
= "t.registers.val_input.in.d[1].d[0]" "t.registers.val_input.in.d[1].f"
= "t.registers.val_input.in.d[1].d[1]" "t.registers.val_input.in.d[1].t"
= "t.registers.val_input.in.d[2].d[0]" "t.registers.val_input.in.d[2].f"
= "t.registers.val_input.in.d[2].d[1]" "t.registers.val_input.in.d[2].t"
= "t.registers.val_input.in.d[3].d[0]" "t.registers.val_input.in.d[3].f"
= "t.registers.val_input.in.d[3].d[1]" "t.registers.val_input.in.d[3].t"
= "t.registers.val_input.in.d[4].d[0]" "t.registers.val_input.in.d[4].f"
= "t.registers.val_input.in.d[4].d[1]" "t.registers.val_input.in.d[4].t"
= "t.registers.val_input.in.d[4].d[0]" "t.registers.val_input.in.d[4].f"
= "t.registers.val_input.in.d[4].d[1]" "t.registers.val_input.in.d[4].t"
= "t.registers.val_input.in.d[3].d[0]" "t.registers.val_input.in.d[3].f"
= "t.registers.val_input.in.d[3].d[1]" "t.registers.val_input.in.d[3].t"
= "t.registers.val_input.in.d[2].d[0]" "t.registers.val_input.in.d[2].f"
= "t.registers.val_input.in.d[2].d[1]" "t.registers.val_input.in.d[2].t"
= "t.registers.val_input.in.d[1].d[0]" "t.registers.val_input.in.d[1].f"
= "t.registers.val_input.in.d[1].d[1]" "t.registers.val_input.in.d[1].t"
= "t.registers.val_input.in.d[0].d[0]" "t.registers.val_input.in.d[0].f"
= "t.registers.val_input.in.d[0].d[1]" "t.registers.val_input.in.d[0].t"
= "t.registers.val_input.in.d[4].d[0]" "t.registers.val_input.OR2_tf[4].b"
= "t.registers.val_input.in.d[4].d[0]" "t.registers.val_input.in.d[4].f"
= "t.registers.val_input.in.d[4].d[1]" "t.registers.val_input.OR2_tf[4].a"
= "t.registers.val_input.in.d[4].d[1]" "t.registers.val_input.in.d[4].t"
= "t.registers.val_input.in.d[3].d[0]" "t.registers.val_input.OR2_tf[3].b"
= "t.registers.val_input.in.d[3].d[0]" "t.registers.val_input.in.d[3].f"
= "t.registers.val_input.in.d[3].d[1]" "t.registers.val_input.OR2_tf[3].a"
= "t.registers.val_input.in.d[3].d[1]" "t.registers.val_input.in.d[3].t"
= "t.registers.val_input.in.d[2].d[0]" "t.registers.val_input.OR2_tf[2].b"
= "t.registers.val_input.in.d[2].d[0]" "t.registers.val_input.in.d[2].f"
= "t.registers.val_input.in.d[2].d[1]" "t.registers.val_input.OR2_tf[2].a"
= "t.registers.val_input.in.d[2].d[1]" "t.registers.val_input.in.d[2].t"
= "t.registers.val_input.in.d[1].d[0]" "t.registers.val_input.OR2_tf[1].b"
= "t.registers.val_input.in.d[1].d[0]" "t.registers.val_input.in.d[1].f"
= "t.registers.val_input.in.d[1].d[1]" "t.registers.val_input.OR2_tf[1].a"
= "t.registers.val_input.in.d[1].d[1]" "t.registers.val_input.in.d[1].t"
= "t.registers.val_input.in.d[0].d[0]" "t.registers.val_input.OR2_tf[0].b"
= "t.registers.val_input.in.d[0].d[0]" "t.registers.val_input.in.d[0].f"
= "t.registers.val_input.in.d[0].d[1]" "t.registers.val_input.OR2_tf[0].a"
= "t.registers.val_input.in.d[0].d[1]" "t.registers.val_input.in.d[0].t"
"t.registers.clk_dly.and2[0].a"&"t.registers.clk_dly.and2[0].b"->"t.registers.clk_dly.and2[0]._y"-
~("t.registers.clk_dly.and2[0].a"&"t.registers.clk_dly.and2[0].b")->"t.registers.clk_dly.and2[0]._y"+
"t.registers.clk_dly.and2[0]._y"->"t.registers.clk_dly.and2[0].y"-
~("t.registers.clk_dly.and2[0]._y")->"t.registers.clk_dly.and2[0].y"+
"t.registers.clk_dly.and2[1].a"&"t.registers.clk_dly.and2[1].b"->"t.registers.clk_dly.and2[1]._y"-
~("t.registers.clk_dly.and2[1].a"&"t.registers.clk_dly.and2[1].b")->"t.registers.clk_dly.and2[1]._y"+
"t.registers.clk_dly.and2[1]._y"->"t.registers.clk_dly.and2[1].y"-
~("t.registers.clk_dly.and2[1]._y")->"t.registers.clk_dly.and2[1].y"+
= "t.registers.clk_dly.s[0]" "t.registers.clk_dly.mu2[0].s"
= "t.registers.clk_dly.s[0]" "t.registers.clk_dly.and2[0].b"
= "t.registers.clk_dly.s[1]" "t.registers.clk_dly.mu2[1].s"
= "t.registers.clk_dly.s[1]" "t.registers.clk_dly.and2[1].b"
= "t.registers.clk_dly.supply.vdd" "t.registers.clk_dly.dly[2].vdd"
= "t.registers.clk_dly.supply.vdd" "t.registers.clk_dly.dly[1].vdd"
= "t.registers.clk_dly.supply.vdd" "t.registers.clk_dly.dly[0].vdd"
= "t.registers.clk_dly.supply.vdd" "t.registers.clk_dly.mu2[1].vdd"
= "t.registers.clk_dly.supply.vdd" "t.registers.clk_dly.mu2[0].vdd"
= "t.registers.clk_dly.supply.vdd" "t.registers.clk_dly.and2[1].vdd"
= "t.registers.clk_dly.supply.vdd" "t.registers.clk_dly.and2[0].vdd"
= "t.registers.clk_dly.supply.vss" "t.registers.clk_dly.dly[2].vss"
= "t.registers.clk_dly.supply.vss" "t.registers.clk_dly.dly[1].vss"
= "t.registers.clk_dly.supply.vss" "t.registers.clk_dly.dly[0].vss"
= "t.registers.clk_dly.supply.vss" "t.registers.clk_dly.mu2[1].vss"
= "t.registers.clk_dly.supply.vss" "t.registers.clk_dly.mu2[0].vss"
= "t.registers.clk_dly.supply.vss" "t.registers.clk_dly.and2[1].vss"
= "t.registers.clk_dly.supply.vss" "t.registers.clk_dly.and2[0].vss"
"t.registers.clk_dly.mu2[0].s"->"t.registers.clk_dly.mu2[0]._s"-
~("t.registers.clk_dly.mu2[0].s")->"t.registers.clk_dly.mu2[0]._s"+
~"t.registers.clk_dly.mu2[0].a"&~"t.registers.clk_dly.mu2[0].s"|~"t.registers.clk_dly.mu2[0].b"&~"t.registers.clk_dly.mu2[0]._s"->"t.registers.clk_dly.mu2[0]._y"+
"t.registers.clk_dly.mu2[0].a"&"t.registers.clk_dly.mu2[0]._s"|"t.registers.clk_dly.mu2[0].b"&"t.registers.clk_dly.mu2[0].s"->"t.registers.clk_dly.mu2[0]._y"-
"t.registers.clk_dly.mu2[0]._y"->"t.registers.clk_dly.mu2[0].y"-
~("t.registers.clk_dly.mu2[0]._y")->"t.registers.clk_dly.mu2[0].y"+
"t.registers.clk_dly.mu2[1].s"->"t.registers.clk_dly.mu2[1]._s"-
~("t.registers.clk_dly.mu2[1].s")->"t.registers.clk_dly.mu2[1]._s"+
~"t.registers.clk_dly.mu2[1].a"&~"t.registers.clk_dly.mu2[1].s"|~"t.registers.clk_dly.mu2[1].b"&~"t.registers.clk_dly.mu2[1]._s"->"t.registers.clk_dly.mu2[1]._y"+
"t.registers.clk_dly.mu2[1].a"&"t.registers.clk_dly.mu2[1]._s"|"t.registers.clk_dly.mu2[1].b"&"t.registers.clk_dly.mu2[1].s"->"t.registers.clk_dly.mu2[1]._y"-
"t.registers.clk_dly.mu2[1]._y"->"t.registers.clk_dly.mu2[1].y"-
~("t.registers.clk_dly.mu2[1]._y")->"t.registers.clk_dly.mu2[1].y"+
"t.registers.clk_dly.dly[0].a"->"t.registers.clk_dly.dly[0]._y"-
~("t.registers.clk_dly.dly[0].a")->"t.registers.clk_dly.dly[0]._y"+
"t.registers.clk_dly.dly[0]._y"->"t.registers.clk_dly.dly[0].__y"-
~("t.registers.clk_dly.dly[0]._y")->"t.registers.clk_dly.dly[0].__y"+
"t.registers.clk_dly.dly[0].__y"->"t.registers.clk_dly.dly[0].___y"-
~("t.registers.clk_dly.dly[0].__y")->"t.registers.clk_dly.dly[0].___y"+
"t.registers.clk_dly.dly[0].___y"->"t.registers.clk_dly.dly[0].y"-
~("t.registers.clk_dly.dly[0].___y")->"t.registers.clk_dly.dly[0].y"+
"t.registers.clk_dly.dly[1].a"->"t.registers.clk_dly.dly[1]._y"-
~("t.registers.clk_dly.dly[1].a")->"t.registers.clk_dly.dly[1]._y"+
"t.registers.clk_dly.dly[1]._y"->"t.registers.clk_dly.dly[1].__y"-
~("t.registers.clk_dly.dly[1]._y")->"t.registers.clk_dly.dly[1].__y"+
"t.registers.clk_dly.dly[1].__y"->"t.registers.clk_dly.dly[1].___y"-
~("t.registers.clk_dly.dly[1].__y")->"t.registers.clk_dly.dly[1].___y"+
"t.registers.clk_dly.dly[1].___y"->"t.registers.clk_dly.dly[1].y"-
~("t.registers.clk_dly.dly[1].___y")->"t.registers.clk_dly.dly[1].y"+
"t.registers.clk_dly.dly[2].a"->"t.registers.clk_dly.dly[2]._y"-
~("t.registers.clk_dly.dly[2].a")->"t.registers.clk_dly.dly[2]._y"+
"t.registers.clk_dly.dly[2]._y"->"t.registers.clk_dly.dly[2].__y"-
~("t.registers.clk_dly.dly[2]._y")->"t.registers.clk_dly.dly[2].__y"+
"t.registers.clk_dly.dly[2].__y"->"t.registers.clk_dly.dly[2].___y"-
~("t.registers.clk_dly.dly[2].__y")->"t.registers.clk_dly.dly[2].___y"+
"t.registers.clk_dly.dly[2].___y"->"t.registers.clk_dly.dly[2].y"-
~("t.registers.clk_dly.dly[2].___y")->"t.registers.clk_dly.dly[2].y"+
= "t.registers.clk_dly.dly[2].y" "t.registers.clk_dly.mu2[1].b"
= "t.registers.clk_dly.dly[2].a" "t.registers.clk_dly.dly[1].y"
= "t.registers.clk_dly.dly[1].a" "t.registers.clk_dly.and2[1].y"
= "t.registers.clk_dly.dly[0].y" "t.registers.clk_dly.mu2[0].b"
= "t.registers.clk_dly.dly[0].a" "t.registers.clk_dly.and2[0].y"
= "t.registers.clk_dly._a[1]" "t.registers.clk_dly.mu2[1].a"
= "t.registers.clk_dly._a[1]" "t.registers.clk_dly.and2[1].a"
= "t.registers.clk_dly._a[1]" "t.registers.clk_dly.mu2[0].y"
= "t.registers.clk_dly.out" "t.registers.clk_dly.mu2[1].y"
= "t.registers.clk_dly.out" "t.registers.clk_dly._a[2]"
= "t.registers.clk_dly.in" "t.registers.clk_dly.mu2[0].a"
= "t.registers.clk_dly.in" "t.registers.clk_dly.and2[0].a"
= "t.registers.clk_dly.in" "t.registers.clk_dly._a[0]"
= "t.registers._in_a_write_temp" "t.registers.ack_write_and.b"
= "t.registers._in_a_write_temp" "t.registers.ack_dly.out"
"t.registers.address_propagator_f[0].a"&"t.registers.address_propagator_f[0].b"->"t.registers.address_propagator_f[0]._y"-
~("t.registers.address_propagator_f[0].a"&"t.registers.address_propagator_f[0].b")->"t.registers.address_propagator_f[0]._y"+
"t.registers.address_propagator_f[0]._y"->"t.registers.address_propagator_f[0].y"-
~("t.registers.address_propagator_f[0]._y")->"t.registers.address_propagator_f[0].y"+
"t.registers.address_propagator_f[1].a"&"t.registers.address_propagator_f[1].b"->"t.registers.address_propagator_f[1]._y"-
~("t.registers.address_propagator_f[1].a"&"t.registers.address_propagator_f[1].b")->"t.registers.address_propagator_f[1]._y"+
"t.registers.address_propagator_f[1]._y"->"t.registers.address_propagator_f[1].y"-
~("t.registers.address_propagator_f[1]._y")->"t.registers.address_propagator_f[1].y"+
= "t.registers.address_propagator_f[1].y" "t.registers.output_buf.in.d.d[3].f"
= "t.registers.address_propagator_f[1].y" "t.registers.output_buf.in.d.d[3].d[0]"
= "t.registers.address_propagator_f[0].y" "t.registers.output_buf.in.d.d[2].f"
= "t.registers.address_propagator_f[0].y" "t.registers.output_buf.in.d.d[2].d[0]"
"t.registers.word_selector_f[0].a"&"t.registers.word_selector_f[0].b"->"t.registers.word_selector_f[0]._y"-
~("t.registers.word_selector_f[0].a"&"t.registers.word_selector_f[0].b")->"t.registers.word_selector_f[0]._y"+
"t.registers.word_selector_f[0]._y"->"t.registers.word_selector_f[0].y"-
~("t.registers.word_selector_f[0]._y")->"t.registers.word_selector_f[0].y"+
"t.registers.word_selector_f[1].a"&"t.registers.word_selector_f[1].b"->"t.registers.word_selector_f[1]._y"-
~("t.registers.word_selector_f[1].a"&"t.registers.word_selector_f[1].b")->"t.registers.word_selector_f[1]._y"+
"t.registers.word_selector_f[1]._y"->"t.registers.word_selector_f[1].y"-
~("t.registers.word_selector_f[1]._y")->"t.registers.word_selector_f[1].y"+
"t.registers.word_selector_f[2].a"&"t.registers.word_selector_f[2].b"->"t.registers.word_selector_f[2]._y"-
~("t.registers.word_selector_f[2].a"&"t.registers.word_selector_f[2].b")->"t.registers.word_selector_f[2]._y"+
"t.registers.word_selector_f[2]._y"->"t.registers.word_selector_f[2].y"-
~("t.registers.word_selector_f[2]._y")->"t.registers.word_selector_f[2].y"+
"t.registers.word_selector_f[3].a"&"t.registers.word_selector_f[3].b"->"t.registers.word_selector_f[3]._y"-
~("t.registers.word_selector_f[3].a"&"t.registers.word_selector_f[3].b")->"t.registers.word_selector_f[3]._y"+
"t.registers.word_selector_f[3]._y"->"t.registers.word_selector_f[3].y"-
~("t.registers.word_selector_f[3]._y")->"t.registers.word_selector_f[3].y"+
"t.registers.word_selector_f[4].a"&"t.registers.word_selector_f[4].b"->"t.registers.word_selector_f[4]._y"-
~("t.registers.word_selector_f[4].a"&"t.registers.word_selector_f[4].b")->"t.registers.word_selector_f[4]._y"+
"t.registers.word_selector_f[4]._y"->"t.registers.word_selector_f[4].y"-
~("t.registers.word_selector_f[4]._y")->"t.registers.word_selector_f[4].y"+
"t.registers.word_selector_f[5].a"&"t.registers.word_selector_f[5].b"->"t.registers.word_selector_f[5]._y"-
~("t.registers.word_selector_f[5].a"&"t.registers.word_selector_f[5].b")->"t.registers.word_selector_f[5]._y"+
"t.registers.word_selector_f[5]._y"->"t.registers.word_selector_f[5].y"-
~("t.registers.word_selector_f[5]._y")->"t.registers.word_selector_f[5].y"+
"t.registers.word_selector_f[6].a"&"t.registers.word_selector_f[6].b"->"t.registers.word_selector_f[6]._y"-
~("t.registers.word_selector_f[6].a"&"t.registers.word_selector_f[6].b")->"t.registers.word_selector_f[6]._y"+
"t.registers.word_selector_f[6]._y"->"t.registers.word_selector_f[6].y"-
~("t.registers.word_selector_f[6]._y")->"t.registers.word_selector_f[6].y"+
"t.registers.word_selector_f[7].a"&"t.registers.word_selector_f[7].b"->"t.registers.word_selector_f[7]._y"-
~("t.registers.word_selector_f[7].a"&"t.registers.word_selector_f[7].b")->"t.registers.word_selector_f[7]._y"+
"t.registers.word_selector_f[7]._y"->"t.registers.word_selector_f[7].y"-
~("t.registers.word_selector_f[7]._y")->"t.registers.word_selector_f[7].y"+
= "t.registers.word_selector_f[7].y" "t.registers.bitselector_f[1].in[3]"
= "t.registers.word_selector_f[6].y" "t.registers.bitselector_f[0].in[3]"
= "t.registers.word_selector_f[6].a" "t.registers.word_selector_f[7].a"
= "t.registers.word_selector_f[6].a" "t.registers.word_selector_t[7].a"
= "t.registers.word_selector_f[6].a" "t.registers.word_to_read_X[3].out[3]"
= "t.registers.word_selector_f[6].a" "t.registers.word_to_read_X[3].out[2]"
= "t.registers.word_selector_f[6].a" "t.registers.word_to_read_X[3].out[1]"
= "t.registers.word_selector_f[6].a" "t.registers.word_to_read_X[3].out[0]"
= "t.registers.word_selector_f[6].a" "t.registers.word_selector_t[6].a"
= "t.registers.word_selector_f[5].y" "t.registers.bitselector_f[1].in[2]"
= "t.registers.word_selector_f[4].y" "t.registers.bitselector_f[0].in[2]"
= "t.registers.word_selector_f[4].a" "t.registers.word_selector_f[5].a"
= "t.registers.word_selector_f[4].a" "t.registers.word_selector_t[5].a"
= "t.registers.word_selector_f[4].a" "t.registers.word_to_read_X[2].out[3]"
= "t.registers.word_selector_f[4].a" "t.registers.word_to_read_X[2].out[2]"
= "t.registers.word_selector_f[4].a" "t.registers.word_to_read_X[2].out[1]"
= "t.registers.word_selector_f[4].a" "t.registers.word_to_read_X[2].out[0]"
= "t.registers.word_selector_f[4].a" "t.registers.word_selector_t[4].a"
= "t.registers.word_selector_f[3].y" "t.registers.bitselector_f[1].in[1]"
= "t.registers.word_selector_f[2].y" "t.registers.bitselector_f[0].in[1]"
= "t.registers.word_selector_f[2].a" "t.registers.word_selector_f[3].a"
= "t.registers.word_selector_f[2].a" "t.registers.word_selector_t[3].a"
= "t.registers.word_selector_f[2].a" "t.registers.word_to_read_X[1].out[3]"
= "t.registers.word_selector_f[2].a" "t.registers.word_to_read_X[1].out[2]"
= "t.registers.word_selector_f[2].a" "t.registers.word_to_read_X[1].out[1]"
= "t.registers.word_selector_f[2].a" "t.registers.word_to_read_X[1].out[0]"
= "t.registers.word_selector_f[2].a" "t.registers.word_selector_t[2].a"
= "t.registers.word_selector_f[1].y" "t.registers.bitselector_f[1].in[0]"
= "t.registers.word_selector_f[0].y" "t.registers.bitselector_f[0].in[0]"
= "t.registers.word_selector_f[0].a" "t.registers.word_selector_f[1].a"
= "t.registers.word_selector_f[0].a" "t.registers.word_selector_t[1].a"
= "t.registers.word_selector_f[0].a" "t.registers.word_to_read_X[0].out[3]"
= "t.registers.word_selector_f[0].a" "t.registers.word_to_read_X[0].out[2]"
= "t.registers.word_selector_f[0].a" "t.registers.word_to_read_X[0].out[1]"
= "t.registers.word_selector_f[0].a" "t.registers.word_to_read_X[0].out[0]"
= "t.registers.word_selector_f[0].a" "t.registers.word_selector_t[0].a"
= "t.registers._in_v_temp" "t.registers.clk_switch.a"
= "t.registers._in_v_temp" "t.registers.val_input_X.in"
= "t.registers._in_v_temp" "t.registers.val_input.out"
"t.registers.clock_buffer[0].buf1.a"->"t.registers.clock_buffer[0].buf1._y"-
~("t.registers.clock_buffer[0].buf1.a")->"t.registers.clock_buffer[0].buf1._y"+
"t.registers.clock_buffer[0].buf1._y"->"t.registers.clock_buffer[0].buf1.y"-
~("t.registers.clock_buffer[0].buf1._y")->"t.registers.clock_buffer[0].buf1.y"+
= "t.registers.clock_buffer[0].supply.vdd" "t.registers.clock_buffer[0].buf1.vdd"
= "t.registers.clock_buffer[0].supply.vss" "t.registers.clock_buffer[0].buf1.vss"
= "t.registers.clock_buffer[0].out[0]" "t.registers.clock_buffer[0].out[1]"
= "t.registers.clock_buffer[0].out[0]" "t.registers.clock_buffer[0].buf1.y"
= "t.registers.clock_buffer[0].in" "t.registers.clock_buffer[0].buf1.a"
"t.registers.clock_buffer[1].buf1.a"->"t.registers.clock_buffer[1].buf1._y"-
~("t.registers.clock_buffer[1].buf1.a")->"t.registers.clock_buffer[1].buf1._y"+
"t.registers.clock_buffer[1].buf1._y"->"t.registers.clock_buffer[1].buf1.y"-
~("t.registers.clock_buffer[1].buf1._y")->"t.registers.clock_buffer[1].buf1.y"+
= "t.registers.clock_buffer[1].supply.vdd" "t.registers.clock_buffer[1].buf1.vdd"
= "t.registers.clock_buffer[1].supply.vss" "t.registers.clock_buffer[1].buf1.vss"
= "t.registers.clock_buffer[1].out[0]" "t.registers.clock_buffer[1].out[1]"
= "t.registers.clock_buffer[1].out[0]" "t.registers.clock_buffer[1].buf1.y"
= "t.registers.clock_buffer[1].in" "t.registers.clock_buffer[1].buf1.a"
"t.registers.clock_buffer[2].buf1.a"->"t.registers.clock_buffer[2].buf1._y"-
~("t.registers.clock_buffer[2].buf1.a")->"t.registers.clock_buffer[2].buf1._y"+
"t.registers.clock_buffer[2].buf1._y"->"t.registers.clock_buffer[2].buf1.y"-
~("t.registers.clock_buffer[2].buf1._y")->"t.registers.clock_buffer[2].buf1.y"+
= "t.registers.clock_buffer[2].supply.vdd" "t.registers.clock_buffer[2].buf1.vdd"
= "t.registers.clock_buffer[2].supply.vss" "t.registers.clock_buffer[2].buf1.vss"
= "t.registers.clock_buffer[2].out[0]" "t.registers.clock_buffer[2].out[1]"
= "t.registers.clock_buffer[2].out[0]" "t.registers.clock_buffer[2].buf1.y"
= "t.registers.clock_buffer[2].in" "t.registers.clock_buffer[2].buf1.a"
"t.registers.clock_buffer[3].buf1.a"->"t.registers.clock_buffer[3].buf1._y"-
~("t.registers.clock_buffer[3].buf1.a")->"t.registers.clock_buffer[3].buf1._y"+
"t.registers.clock_buffer[3].buf1._y"->"t.registers.clock_buffer[3].buf1.y"-
~("t.registers.clock_buffer[3].buf1._y")->"t.registers.clock_buffer[3].buf1.y"+
= "t.registers.clock_buffer[3].supply.vdd" "t.registers.clock_buffer[3].buf1.vdd"
= "t.registers.clock_buffer[3].supply.vss" "t.registers.clock_buffer[3].buf1.vss"
= "t.registers.clock_buffer[3].out[0]" "t.registers.clock_buffer[3].out[1]"
= "t.registers.clock_buffer[3].out[0]" "t.registers.clock_buffer[3].buf1.y"
= "t.registers.clock_buffer[3].in" "t.registers.clock_buffer[3].buf1.a"
"t.registers.address_propagator_t[0].a"&"t.registers.address_propagator_t[0].b"->"t.registers.address_propagator_t[0]._y"-
~("t.registers.address_propagator_t[0].a"&"t.registers.address_propagator_t[0].b")->"t.registers.address_propagator_t[0]._y"+
"t.registers.address_propagator_t[0]._y"->"t.registers.address_propagator_t[0].y"-
~("t.registers.address_propagator_t[0]._y")->"t.registers.address_propagator_t[0].y"+
"t.registers.address_propagator_t[1].a"&"t.registers.address_propagator_t[1].b"->"t.registers.address_propagator_t[1]._y"-
~("t.registers.address_propagator_t[1].a"&"t.registers.address_propagator_t[1].b")->"t.registers.address_propagator_t[1]._y"+
"t.registers.address_propagator_t[1]._y"->"t.registers.address_propagator_t[1].y"-
~("t.registers.address_propagator_t[1]._y")->"t.registers.address_propagator_t[1].y"+
= "t.registers.address_propagator_t[1].y" "t.registers.output_buf.in.d.d[3].t"
= "t.registers.address_propagator_t[1].y" "t.registers.output_buf.in.d.d[3].d[1]"
= "t.registers.address_propagator_t[0].y" "t.registers.output_buf.in.d.d[2].t"
= "t.registers.address_propagator_t[0].y" "t.registers.output_buf.in.d.d[2].d[1]"
= "t.registers._clock[0]" "t.registers.clk_X.out[0]"
= "t.registers._clock[1]" "t.registers.clk_X.out[1]"
= "t.registers._clock[2]" "t.registers.clk_X.out[2]"
= "t.registers._clock[3]" "t.registers.clk_X.out[3]"
= "t.registers._clock[0]" "t.registers.and_encoder[3].b"
= "t.registers._clock[0]" "t.registers.and_encoder[2].b"
= "t.registers._clock[0]" "t.registers.and_encoder[1].b"
= "t.registers._clock[0]" "t.registers.and_encoder[0].b"
= "t.registers._clock[0]" "t.registers._clock[3]"
= "t.registers._clock[0]" "t.registers._clock[2]"
= "t.registers._clock[0]" "t.registers._clock[1]"
= "t.registers._in_v_temp_write" "t.registers.clk_dly.in"
= "t.registers._in_v_temp_write" "t.registers.clk_switch.y"
= "t.dly_cfg[0]" "t.registers.dly_cfg[0]"
= "t.dly_cfg[1]" "t.registers.dly_cfg[1]"
= "t.out.d.d[0].d[0]" "t.out.d.d[0].f"
= "t.out.d.d[0].d[1]" "t.out.d.d[0].t"
= "t.out.d.d[1].d[0]" "t.out.d.d[1].f"
= "t.out.d.d[1].d[1]" "t.out.d.d[1].t"
= "t.out.d.d[2].d[0]" "t.out.d.d[2].f"
= "t.out.d.d[2].d[1]" "t.out.d.d[2].t"
= "t.out.d.d[3].d[0]" "t.out.d.d[3].f"
= "t.out.d.d[3].d[1]" "t.out.d.d[3].t"
= "t.out.d.d[3].d[0]" "t.out.d.d[3].f"
= "t.out.d.d[3].d[1]" "t.out.d.d[3].t"
= "t.out.d.d[2].d[0]" "t.out.d.d[2].f"
= "t.out.d.d[2].d[1]" "t.out.d.d[2].t"
= "t.out.d.d[1].d[0]" "t.out.d.d[1].f"
= "t.out.d.d[1].d[1]" "t.out.d.d[1].t"
= "t.out.d.d[0].d[0]" "t.out.d.d[0].f"
= "t.out.d.d[0].d[1]" "t.out.d.d[0].t"
= "t.out.d.d[3].d[0]" "t.out.d.d[3].f"
= "t.out.d.d[3].d[1]" "t.out.d.d[3].t"
= "t.out.d.d[2].d[0]" "t.out.d.d[2].f"
= "t.out.d.d[2].d[1]" "t.out.d.d[2].t"
= "t.out.d.d[1].d[0]" "t.out.d.d[1].f"
= "t.out.d.d[1].d[1]" "t.out.d.d[1].t"
= "t.out.d.d[0].d[0]" "t.out.d.d[0].f"
= "t.out.d.d[0].d[1]" "t.out.d.d[0].t"
= "t.out.v" "t.registers.out.v"
= "t.out.a" "t.registers.out.a"
= "t.out.d.d[0].f" "t.registers.out.d.d[0].f"
= "t.out.d.d[0].t" "t.registers.out.d.d[0].t"
= "t.out.d.d[0].d[0]" "t.registers.out.d.d[0].d[0]"
= "t.out.d.d[0].d[1]" "t.registers.out.d.d[0].d[1]"
= "t.out.d.d[1].f" "t.registers.out.d.d[1].f"
= "t.out.d.d[1].t" "t.registers.out.d.d[1].t"
= "t.out.d.d[1].d[0]" "t.registers.out.d.d[1].d[0]"
= "t.out.d.d[1].d[1]" "t.registers.out.d.d[1].d[1]"
= "t.out.d.d[2].f" "t.registers.out.d.d[2].f"
= "t.out.d.d[2].t" "t.registers.out.d.d[2].t"
= "t.out.d.d[2].d[0]" "t.registers.out.d.d[2].d[0]"
= "t.out.d.d[2].d[1]" "t.registers.out.d.d[2].d[1]"
= "t.out.d.d[3].f" "t.registers.out.d.d[3].f"
= "t.out.d.d[3].t" "t.registers.out.d.d[3].t"
= "t.out.d.d[3].d[0]" "t.registers.out.d.d[3].d[0]"
= "t.out.d.d[3].d[1]" "t.registers.out.d.d[3].d[1]"
= "t.out.d.d[3].d[0]" "t.out.d.d[3].f"
= "t.out.d.d[3].d[1]" "t.out.d.d[3].t"
= "t.out.d.d[2].d[0]" "t.out.d.d[2].f"
= "t.out.d.d[2].d[1]" "t.out.d.d[2].t"
= "t.out.d.d[1].d[0]" "t.out.d.d[1].f"
= "t.out.d.d[1].d[1]" "t.out.d.d[1].t"
= "t.out.d.d[0].d[0]" "t.out.d.d[0].f"
= "t.out.d.d[0].d[1]" "t.out.d.d[0].t"
= "t.in.d.d[0].d[0]" "t.in.d.d[0].f"
= "t.in.d.d[0].d[1]" "t.in.d.d[0].t"
= "t.in.d.d[1].d[0]" "t.in.d.d[1].f"
= "t.in.d.d[1].d[1]" "t.in.d.d[1].t"
= "t.in.d.d[2].d[0]" "t.in.d.d[2].f"
= "t.in.d.d[2].d[1]" "t.in.d.d[2].t"
= "t.in.d.d[3].d[0]" "t.in.d.d[3].f"
= "t.in.d.d[3].d[1]" "t.in.d.d[3].t"
= "t.in.d.d[4].d[0]" "t.in.d.d[4].f"
= "t.in.d.d[4].d[1]" "t.in.d.d[4].t"
= "t.in.d.d[4].d[0]" "t.in.d.d[4].f"
= "t.in.d.d[4].d[1]" "t.in.d.d[4].t"
= "t.in.d.d[3].d[0]" "t.in.d.d[3].f"
= "t.in.d.d[3].d[1]" "t.in.d.d[3].t"
= "t.in.d.d[2].d[0]" "t.in.d.d[2].f"
= "t.in.d.d[2].d[1]" "t.in.d.d[2].t"
= "t.in.d.d[1].d[0]" "t.in.d.d[1].f"
= "t.in.d.d[1].d[1]" "t.in.d.d[1].t"
= "t.in.d.d[0].d[0]" "t.in.d.d[0].f"
= "t.in.d.d[0].d[1]" "t.in.d.d[0].t"
= "t.in.d.d[4].d[0]" "t.in.d.d[4].f"
= "t.in.d.d[4].d[1]" "t.in.d.d[4].t"
= "t.in.d.d[3].d[0]" "t.in.d.d[3].f"
= "t.in.d.d[3].d[1]" "t.in.d.d[3].t"
= "t.in.d.d[2].d[0]" "t.in.d.d[2].f"
= "t.in.d.d[2].d[1]" "t.in.d.d[2].t"
= "t.in.d.d[1].d[0]" "t.in.d.d[1].f"
= "t.in.d.d[1].d[1]" "t.in.d.d[1].t"
= "t.in.d.d[0].d[0]" "t.in.d.d[0].f"
= "t.in.d.d[0].d[1]" "t.in.d.d[0].t"
= "t.in.v" "t.registers.in.v"
= "t.in.a" "t.registers.in.a"
= "t.in.d.d[0].f" "t.registers.in.d.d[0].f"
= "t.in.d.d[0].t" "t.registers.in.d.d[0].t"
= "t.in.d.d[0].d[0]" "t.registers.in.d.d[0].d[0]"
= "t.in.d.d[0].d[1]" "t.registers.in.d.d[0].d[1]"
= "t.in.d.d[1].f" "t.registers.in.d.d[1].f"
= "t.in.d.d[1].t" "t.registers.in.d.d[1].t"
= "t.in.d.d[1].d[0]" "t.registers.in.d.d[1].d[0]"
= "t.in.d.d[1].d[1]" "t.registers.in.d.d[1].d[1]"
= "t.in.d.d[2].f" "t.registers.in.d.d[2].f"
= "t.in.d.d[2].t" "t.registers.in.d.d[2].t"
= "t.in.d.d[2].d[0]" "t.registers.in.d.d[2].d[0]"
= "t.in.d.d[2].d[1]" "t.registers.in.d.d[2].d[1]"
= "t.in.d.d[3].f" "t.registers.in.d.d[3].f"
= "t.in.d.d[3].t" "t.registers.in.d.d[3].t"
= "t.in.d.d[3].d[0]" "t.registers.in.d.d[3].d[0]"
= "t.in.d.d[3].d[1]" "t.registers.in.d.d[3].d[1]"
= "t.in.d.d[4].f" "t.registers.in.d.d[4].f"
= "t.in.d.d[4].t" "t.registers.in.d.d[4].t"
= "t.in.d.d[4].d[0]" "t.registers.in.d.d[4].d[0]"
= "t.in.d.d[4].d[1]" "t.registers.in.d.d[4].d[1]"
= "t.in.d.d[4].d[0]" "t.in.d.d[4].f"
= "t.in.d.d[4].d[1]" "t.in.d.d[4].t"
= "t.in.d.d[3].d[0]" "t.in.d.d[3].f"
= "t.in.d.d[3].d[1]" "t.in.d.d[3].t"
= "t.in.d.d[2].d[0]" "t.in.d.d[2].f"
= "t.in.d.d[2].d[1]" "t.in.d.d[2].t"
= "t.in.d.d[1].d[0]" "t.in.d.d[1].f"
= "t.in.d.d[1].d[1]" "t.in.d.d[1].t"
= "t.in.d.d[0].d[0]" "t.in.d.d[0].f"
= "t.in.d.d[0].d[1]" "t.in.d.d[0].t"