.model h_s_rca12
.inputs a[0] a[1] a[2] a[3] a[4] a[5] a[6] a[7] a[8] a[9] a[10] a[11] b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11]
.outputs h_s_rca12_out[0] h_s_rca12_out[1] h_s_rca12_out[2] h_s_rca12_out[3] h_s_rca12_out[4] h_s_rca12_out[5] h_s_rca12_out[6] h_s_rca12_out[7] h_s_rca12_out[8] h_s_rca12_out[9] h_s_rca12_out[10] h_s_rca12_out[11] h_s_rca12_out[12]
.names vdd
1
.names gnd
0
.subckt ha a=a[0] b=b[0] ha_xor0=h_s_rca12_ha_xor0 ha_and0=h_s_rca12_ha_and0
.subckt fa a=a[1] b=b[1] cin=h_s_rca12_ha_and0 fa_xor1=h_s_rca12_fa1_xor1 fa_or0=h_s_rca12_fa1_or0
.subckt fa a=a[2] b=b[2] cin=h_s_rca12_fa1_or0 fa_xor1=h_s_rca12_fa2_xor1 fa_or0=h_s_rca12_fa2_or0
.subckt fa a=a[3] b=b[3] cin=h_s_rca12_fa2_or0 fa_xor1=h_s_rca12_fa3_xor1 fa_or0=h_s_rca12_fa3_or0
.subckt fa a=a[4] b=b[4] cin=h_s_rca12_fa3_or0 fa_xor1=h_s_rca12_fa4_xor1 fa_or0=h_s_rca12_fa4_or0
.subckt fa a=a[5] b=b[5] cin=h_s_rca12_fa4_or0 fa_xor1=h_s_rca12_fa5_xor1 fa_or0=h_s_rca12_fa5_or0
.subckt fa a=a[6] b=b[6] cin=h_s_rca12_fa5_or0 fa_xor1=h_s_rca12_fa6_xor1 fa_or0=h_s_rca12_fa6_or0
.subckt fa a=a[7] b=b[7] cin=h_s_rca12_fa6_or0 fa_xor1=h_s_rca12_fa7_xor1 fa_or0=h_s_rca12_fa7_or0
.subckt fa a=a[8] b=b[8] cin=h_s_rca12_fa7_or0 fa_xor1=h_s_rca12_fa8_xor1 fa_or0=h_s_rca12_fa8_or0
.subckt fa a=a[9] b=b[9] cin=h_s_rca12_fa8_or0 fa_xor1=h_s_rca12_fa9_xor1 fa_or0=h_s_rca12_fa9_or0
.subckt fa a=a[10] b=b[10] cin=h_s_rca12_fa9_or0 fa_xor1=h_s_rca12_fa10_xor1 fa_or0=h_s_rca12_fa10_or0
.subckt fa a=a[11] b=b[11] cin=h_s_rca12_fa10_or0 fa_xor1=h_s_rca12_fa11_xor1 fa_or0=h_s_rca12_fa11_or0
.subckt xor_gate a=a[11] b=b[11] out=h_s_rca12_xor0
.subckt xor_gate a=h_s_rca12_xor0 b=h_s_rca12_fa11_or0 out=h_s_rca12_xor1
.names h_s_rca12_ha_xor0 h_s_rca12_out[0]
1 1
.names h_s_rca12_fa1_xor1 h_s_rca12_out[1]
1 1
.names h_s_rca12_fa2_xor1 h_s_rca12_out[2]
1 1
.names h_s_rca12_fa3_xor1 h_s_rca12_out[3]
1 1
.names h_s_rca12_fa4_xor1 h_s_rca12_out[4]
1 1
.names h_s_rca12_fa5_xor1 h_s_rca12_out[5]
1 1
.names h_s_rca12_fa6_xor1 h_s_rca12_out[6]
1 1
.names h_s_rca12_fa7_xor1 h_s_rca12_out[7]
1 1
.names h_s_rca12_fa8_xor1 h_s_rca12_out[8]
1 1
.names h_s_rca12_fa9_xor1 h_s_rca12_out[9]
1 1
.names h_s_rca12_fa10_xor1 h_s_rca12_out[10]
1 1
.names h_s_rca12_fa11_xor1 h_s_rca12_out[11]
1 1
.names h_s_rca12_xor1 h_s_rca12_out[12]
1 1
.end

.model fa
.inputs a b cin
.outputs fa_xor1 fa_or0
.names vdd
1
.names gnd
0
.subckt xor_gate a=a b=b out=fa_xor0
.subckt and_gate a=a b=b out=fa_and0
.subckt xor_gate a=fa_xor0 b=cin out=fa_xor1
.subckt and_gate a=fa_xor0 b=cin out=fa_and1
.subckt or_gate a=fa_and0 b=fa_and1 out=fa_or0
.end

.model ha
.inputs a b
.outputs ha_xor0 ha_and0
.names vdd
1
.names gnd
0
.subckt xor_gate a=a b=b out=ha_xor0
.subckt and_gate a=a b=b out=ha_and0
.end

.model or_gate
.inputs a b
.outputs out
.names vdd
1
.names gnd
0
.names a b out
1- 1
-1 1
.end

.model and_gate
.inputs a b
.outputs out
.names vdd
1
.names gnd
0
.names a b out
11 1
.end

.model xor_gate
.inputs a b
.outputs out
.names vdd
1
.names gnd
0
.names a b out
01 1
10 1
.end