You can not select more than 25 topics
			Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
		
		
		
		
		
			
		
			
				
					
					
						
							91 lines
						
					
					
						
							4.0 KiB
						
					
					
				
			
		
		
	
	
							91 lines
						
					
					
						
							4.0 KiB
						
					
					
				// Benchmark "all_kyupy_primitives" written by ABC on Sat Nov  1 23:49:37 2025 | 
						|
 | 
						|
module all_kyupy_primitives (  | 
						|
    i0, i1, i2, i3, | 
						|
    \o[0] , \o[1] , \o[2] , \o[3] , \o[4] , \o[5] , \o[6] , \o[7] , \o[8] , | 
						|
    \o[9] , \o[10] , \o[11] , \o[12] , \o[13] , \o[14] , \o[15] , \o[16] , | 
						|
    \o[17] , \o[18] , \o[19] , \o[20] , \o[21] , \o[22] , \o[23] , \o[24] , | 
						|
    \o[25] , \o[26] , \o[27] , \o[28] , \o[29]   ); | 
						|
  input  i0, i1, i2, i3; | 
						|
  output \o[0] , \o[1] , \o[2] , \o[3] , \o[4] , \o[5] , \o[6] , \o[7] , | 
						|
    \o[8] , \o[9] , \o[10] , \o[11] , \o[12] , \o[13] , \o[14] , \o[15] , | 
						|
    \o[16] , \o[17] , \o[18] , \o[19] , \o[20] , \o[21] , \o[22] , \o[23] , | 
						|
    \o[24] , \o[25] , \o[26] , \o[27] , \o[28] , \o[29] ; | 
						|
  wire new_n42, new_n45, new_n48, new_n51, new_n52, new_n53, new_n54, | 
						|
    new_n55, new_n57, new_n58, new_n59, new_n60, new_n61, new_n62, new_n63, | 
						|
    new_n64, new_n65, new_n66, new_n67, new_n69, new_n70, new_n71, new_n72, | 
						|
    new_n73, new_n74, new_n75, new_n76, new_n77, new_n78, new_n79, new_n83, | 
						|
    new_n84, new_n88, new_n89, new_n93, new_n96, new_n99, new_n100, | 
						|
    new_n101; | 
						|
  INV1 g00(.i0(i1), .o(\o[1] )); | 
						|
  AND2 g01(.i0(i1), .i1(i0), .o(\o[2] )); | 
						|
  AND2 g02(.i0(\o[2] ), .i1(i2), .o(\o[3] )); | 
						|
  AND2 g03(.i0(\o[3] ), .i1(i3), .o(\o[4] )); | 
						|
  INV1 g04(.i0(\o[2] ), .o(\o[5] )); | 
						|
  INV1 g05(.i0(\o[3] ), .o(\o[6] )); | 
						|
  INV1 g06(.i0(\o[4] ), .o(\o[7] )); | 
						|
  INV1 g07(.i0(i0), .o(new_n42)); | 
						|
  AND2 g08(.i0(\o[1] ), .i1(new_n42), .o(\o[11] )); | 
						|
  INV1 g09(.i0(\o[11] ), .o(\o[8] )); | 
						|
  INV1 g10(.i0(i2), .o(new_n45)); | 
						|
  AND2 g11(.i0(\o[11] ), .i1(new_n45), .o(\o[12] )); | 
						|
  INV1 g12(.i0(\o[12] ), .o(\o[9] )); | 
						|
  INV1 g13(.i0(i3), .o(new_n48)); | 
						|
  AND2 g14(.i0(\o[12] ), .i1(new_n48), .o(\o[13] )); | 
						|
  INV1 g15(.i0(\o[13] ), .o(\o[10] )); | 
						|
  AND2 g16(.i0(\o[1] ), .i1(i0), .o(new_n51)); | 
						|
  INV1 g17(.i0(new_n51), .o(new_n52)); | 
						|
  AND2 g18(.i0(i1), .i1(new_n42), .o(new_n53)); | 
						|
  INV1 g19(.i0(new_n53), .o(new_n54)); | 
						|
  AND2 g20(.i0(new_n54), .i1(new_n52), .o(new_n55)); | 
						|
  INV1 g21(.i0(new_n55), .o(\o[14] )); | 
						|
  AND2 g22(.i0(i2), .i1(i1), .o(new_n57)); | 
						|
  INV1 g23(.i0(new_n57), .o(new_n58)); | 
						|
  AND2 g24(.i0(new_n45), .i1(\o[1] ), .o(new_n59)); | 
						|
  INV1 g25(.i0(new_n59), .o(new_n60)); | 
						|
  AND2 g26(.i0(new_n60), .i1(new_n58), .o(new_n61)); | 
						|
  INV1 g27(.i0(new_n61), .o(new_n62)); | 
						|
  AND2 g28(.i0(new_n62), .i1(i0), .o(new_n63)); | 
						|
  INV1 g29(.i0(new_n63), .o(new_n64)); | 
						|
  AND2 g30(.i0(new_n61), .i1(new_n42), .o(new_n65)); | 
						|
  INV1 g31(.i0(new_n65), .o(new_n66)); | 
						|
  AND2 g32(.i0(new_n66), .i1(new_n64), .o(new_n67)); | 
						|
  INV1 g33(.i0(new_n67), .o(\o[15] )); | 
						|
  AND2 g34(.i0(i3), .i1(new_n45), .o(new_n69)); | 
						|
  INV1 g35(.i0(new_n69), .o(new_n70)); | 
						|
  AND2 g36(.i0(new_n48), .i1(i2), .o(new_n71)); | 
						|
  INV1 g37(.i0(new_n71), .o(new_n72)); | 
						|
  AND2 g38(.i0(new_n72), .i1(new_n70), .o(new_n73)); | 
						|
  INV1 g39(.i0(new_n73), .o(new_n74)); | 
						|
  AND2 g40(.i0(new_n74), .i1(new_n55), .o(new_n75)); | 
						|
  INV1 g41(.i0(new_n75), .o(new_n76)); | 
						|
  AND2 g42(.i0(new_n73), .i1(\o[14] ), .o(new_n77)); | 
						|
  INV1 g43(.i0(new_n77), .o(new_n78)); | 
						|
  AND2 g44(.i0(new_n78), .i1(new_n76), .o(new_n79)); | 
						|
  INV1 g45(.i0(new_n79), .o(\o[16] )); | 
						|
  AND2 g46(.i0(\o[5] ), .i1(new_n45), .o(\o[21] )); | 
						|
  INV1 g47(.i0(\o[21] ), .o(\o[17] )); | 
						|
  AND2 g48(.i0(i3), .i1(i2), .o(new_n83)); | 
						|
  INV1 g49(.i0(new_n83), .o(new_n84)); | 
						|
  AND2 g50(.i0(new_n84), .i1(\o[5] ), .o(\o[22] )); | 
						|
  INV1 g51(.i0(\o[22] ), .o(\o[18] )); | 
						|
  AND2 g52(.i0(\o[8] ), .i1(i2), .o(\o[19] )); | 
						|
  AND2 g53(.i0(new_n48), .i1(new_n45), .o(new_n88)); | 
						|
  INV1 g54(.i0(new_n88), .o(new_n89)); | 
						|
  AND2 g55(.i0(new_n89), .i1(\o[8] ), .o(\o[20] )); | 
						|
  INV1 g56(.i0(\o[19] ), .o(\o[23] )); | 
						|
  INV1 g57(.i0(\o[20] ), .o(\o[24] )); | 
						|
  AND2 g58(.i0(\o[5] ), .i1(new_n48), .o(new_n93)); | 
						|
  AND2 g59(.i0(new_n93), .i1(new_n45), .o(\o[27] )); | 
						|
  INV1 g60(.i0(\o[27] ), .o(\o[25] )); | 
						|
  AND2 g61(.i0(\o[8] ), .i1(i3), .o(new_n96)); | 
						|
  AND2 g62(.i0(new_n96), .i1(i2), .o(\o[26] )); | 
						|
  INV1 g63(.i0(\o[26] ), .o(\o[28] )); | 
						|
  AND2 g64(.i0(new_n45), .i1(i0), .o(new_n99)); | 
						|
  INV1 g65(.i0(new_n99), .o(new_n100)); | 
						|
  AND2 g66(.i0(new_n100), .i1(new_n58), .o(new_n101)); | 
						|
  INV1 g67(.i0(new_n101), .o(\o[29] )); | 
						|
  BUF1 g68(.i0(i0), .o(\o[0] )); | 
						|
endmodule | 
						|
 | 
						|
 | 
						|
 |