Peres:pg_loop[1].

pg_i

1 A P
1 B Q
Fredkin:c_loop[1].OR1
1'h0 C R Peres:pg_loop_inv[1].pg__i_inv
Fredkin:c_loop_inv[1].OR1_inv
1'h1 A P
Fredkin:c_loop[1].AND1 Fredkin:c_loop_inv[1].AND1_inv A P
B Q A Q Aout[3..0]
B Q
A P C R B R A Bout[3..0]
A[3..0] C
1'h0 B Q C B P
Peres:pg_loop[0].pg_i
C R C
Peres:pg_loop_inv[0].pg__i_inv
0 A P

0 B Q A P
B[3..0]
1'h0 C R B Q
Fredkin:c_loop[0].OR1 Fredkin:c_loop_inv[0].OR1_inv
C
1'h1 A P A Q
Fredkin:c_loop[0].AND1 Fredkin:c_loop_inv[0].AND1_inv
B Q B R
A P C R C A P
1'h0 B Q B R
Cinv
C R C
Cin Peres:pg_loop_inv[2].pg__i_inv
Fredkin:c_loop[2].AND1 Fredkin:c_loop[2].OR1 Fredkin:c_loop_inv[2].OR1_inv
A P
A P 1'h1 A P A Q B Q
1'h0 B Q B Q B R C
Fredkin:c_loop_inv[2].AND1_inv
C R C R C
Peres:pg_loop[2].pg_i
A Peres:pg_loop_inv[3].pg__i_inv
2 A P B P
A P
2 B Q C
B Q
1'h0 C R
Peres:pg_loop[3].pg_i C
Fredkin:c_loop[3].AND1
3 A P Cout
Fredkin:c_loop[3].OR1 Fredkin:c_loop_inv[3].OR1_inv
3 B Q A P
Fredkin:c_loop_inv[3].AND1_inv
1'h0 C R 1'h0 B Q 1'h1 A P A Q
C R B Q B R A
C R C B P
C

Peres:s_loop[0].sum_i Peres:s_loop_inv[0].sum_inv_i

A P A
B Q B
1'h0 C

Peres:s_loop[2].sum_i Peres:s_loop_inv[2].sum_inv_i

A P A

B Q B
1'h0 C
Peres:s_loop_inv[1].sum_inv_i
Peres:s_loop[3].sum_i
A
A P B
B Q
Sum[3..0]
1'h0 C
Peres:s_loop_inv[3].sum_inv_i

Peres:s_loop[1].sum_i A

B
A P
B Q
1'h0 C