Pass Benchmark (ABC vs CIRCT)

Version: `CIRCT firtool-1.145.0-6-gd07f832f1`

ModeGeometric Mean ABC/CIRCTMatched
LUT Mapping1.0973 (+9.7%)68
SOP Balancing1.3359 (+33.6%)76

Structural Metrics (ABC/CIRCT)

MetricGeometric Mean RatioMatched
LUT Count0.8022 (-19.8%)76
LUT Depth0.9999 (+0.0%)76
AIG Count0.5757 (-42.4%)76
AIG Depth0.9891 (-1.1%)76

LUT Mapping Details

BenchmarkABC Time (s)CIRCT Time (s)ABC LUT CountCIRCT LUT CountABC LUT DepthCIRCT LUT Depth
arithmetic_adder_k6_c15@lut-mapping0.0200000.016400 (-18.0%)257.00354.00 (+37.7%)51.0051.00 (+0.0%)
arithmetic_adder_k6_c8@lut-mapping0.0100000.009500 (-5.0%)254.00354.00 (+39.4%)51.0051.00 (+0.0%)
arithmetic_adder_k8_c15@lut-mapping0.0400000.035200 (-12.0%)223.00325.00 (+45.7%)37.0037.00 (+0.0%)
arithmetic_adder_k8_c8@lut-mapping0.0200000.019700 (-1.5%)221.00325.00 (+47.1%)37.0037.00 (+0.0%)
arithmetic_bar_k6_c15@lut-mapping0.0600000.069300 (+15.5%)512.00512.00 (+0.0%)4.004.00 (+0.0%)
arithmetic_bar_k6_c8@lut-mapping0.0400000.041600 (+4.0%)512.00512.00 (+0.0%)4.004.00 (+0.0%)
arithmetic_bar_k8_c15@lut-mapping0.1000000.254300 (+154.3%)512.001412.00 (+175.8%)4.004.00 (+0.0%)
arithmetic_bar_k8_c8@lut-mapping0.0600000.099900 (+66.5%)512.001412.00 (+175.8%)4.004.00 (+0.0%)
arithmetic_div_k6_c15@lut-mapping3.2700001.533800 (-53.1%)22254.0028043.00 (+26.0%)864.00864.00 (+0.0%)
arithmetic_div_k6_c8@lut-mapping1.7000000.905800 (-46.7%)22031.0027283.00 (+23.8%)864.00864.00 (+0.0%)
arithmetic_div_k8_c15@lut-mapping5.6400005.805000 (+2.9%)19903.0025350.00 (+27.4%)617.00617.00 (+0.0%)
arithmetic_div_k8_c8@lut-mapping2.6300002.600900 (-1.1%)19758.0025705.00 (+30.1%)617.00617.00 (+0.0%)
arithmetic_log2_k6_c15@lut-mapping1.9700001.108000 (-43.8%)7933.0011733.00 (+47.9%)77.0077.00 (+0.0%)
arithmetic_log2_k6_c8@lut-mapping1.0700000.629200 (-41.2%)7973.0011880.00 (+49.0%)77.0077.00 (+0.0%)
arithmetic_log2_k8_c15@lut-mapping3.6600005.522200 (+50.9%)4438.006133.00 (+38.2%)48.0048.00 (+0.0%)
arithmetic_log2_k8_c8@lut-mapping1.5800001.958300 (+23.9%)4592.006405.00 (+39.5%)48.0048.00 (+0.0%)
arithmetic_max_k6_c15@lut-mapping0.1000000.063700 (-36.3%)842.00962.00 (+14.3%)56.0056.00 (+0.0%)
arithmetic_max_k6_c8@lut-mapping0.0600000.035700 (-40.5%)842.00962.00 (+14.3%)56.0056.00 (+0.0%)
arithmetic_max_k8_c15@lut-mapping0.1600000.270200 (+68.9%)658.00860.00 (+30.7%)40.0040.00 (+0.0%)
arithmetic_max_k8_c8@lut-mapping0.0800000.107500 (+34.4%)650.00865.00 (+33.1%)40.0040.00 (+0.0%)
arithmetic_multiplier_k6_c15@lut-mapping1.5200000.843300 (-44.5%)5888.009089.00 (+54.4%)53.0053.00 (+0.0%)
arithmetic_multiplier_k6_c8@lut-mapping0.8100000.475500 (-41.3%)5913.009083.00 (+53.6%)53.0053.00 (+0.0%)
arithmetic_multiplier_k8_c15@lut-mapping2.6200002.690200 (+2.7%)4067.005705.00 (+40.3%)40.0040.00 (+0.0%)
arithmetic_multiplier_k8_c8@lut-mapping1.1800001.127200 (-4.5%)4054.005733.00 (+41.4%)40.0040.00 (+0.0%)
arithmetic_sin_k6_c15@lut-mapping0.3400000.207800 (-38.9%)1451.001811.00 (+24.8%)42.0042.00 (+0.0%)
arithmetic_sin_k6_c8@lut-mapping0.1700000.107200 (-36.9%)1458.001810.00 (+24.1%)42.0042.00 (+0.0%)
arithmetic_sin_k8_c15@lut-mapping0.5100000.666400 (+30.7%)1230.001571.00 (+27.7%)30.0030.00 (+0.0%)
arithmetic_sin_k8_c8@lut-mapping0.2500000.301200 (+20.5%)1222.001571.00 (+28.6%)30.0030.00 (+0.0%)
arithmetic_sqrt_k6_c15@lut-mapping1.2900000.854300 (-33.8%)6370.007653.00 (+20.1%)1024.001024.00 (+0.0%)
arithmetic_sqrt_k6_c8@lut-mapping0.7300000.430800 (-41.0%)5720.009846.00 (+72.1%)1033.001038.00 (+0.5%)
arithmetic_sqrt_k8_c15@lut-mapping2.4800002.668300 (+7.6%)5122.006855.00 (+33.8%)692.00692.00 (+0.0%)
arithmetic_sqrt_k8_c8@lut-mapping1.1200001.168200 (+4.3%)5194.007084.00 (+36.4%)692.00692.00 (+0.0%)
arithmetic_square_k6_c15@lut-mapping1.1900000.569200 (-52.2%)3983.004179.00 (+4.9%)50.0050.00 (+0.0%)
arithmetic_square_k6_c8@lut-mapping0.6000000.325800 (-45.7%)3985.004166.00 (+4.5%)50.0050.00 (+0.0%)
arithmetic_square_k8_c15@lut-mapping1.8100001.983400 (+9.6%)3395.003632.00 (+7.0%)36.0036.00 (+0.0%)
arithmetic_square_k8_c8@lut-mapping0.7900000.715600 (-9.4%)3404.003622.00 (+6.4%)36.0036.00 (+0.0%)
random_control_arbiter_k6_c15@lut-mapping0.2600000.248100 (-4.6%)2722.002731.00 (+0.3%)18.0018.00 (+0.0%)
random_control_arbiter_k6_c8@lut-mapping0.1900000.192100 (+1.1%)2722.002731.00 (+0.3%)18.0018.00 (+0.0%)
random_control_arbiter_k8_c15@lut-mapping0.4500001.161700 (+158.2%)2067.002067.00 (+0.0%)13.0013.00 (+0.0%)
random_control_arbiter_k8_c8@lut-mapping0.2600000.575400 (+121.3%)2069.002067.00 (-0.1%)13.0013.00 (+0.0%)
random_control_cavlc_k6_c15@lut-mapping0.0100000.008500 (-15.0%)120.00146.00 (+21.7%)4.004.00 (+0.0%)
random_control_cavlc_k6_c8@lut-mapping0.0100000.006800 (-32.0%)122.00146.00 (+19.7%)4.004.00 (+0.0%)
random_control_cavlc_k8_c15@lut-mapping0.0300000.033700 (+12.3%)38.0044.00 (+15.8%)3.003.00 (+0.0%)
random_control_cavlc_k8_c8@lut-mapping0.0200000.015400 (-23.0%)38.0044.00 (+15.8%)3.003.00 (+0.0%)
random_control_dec_k6_c15@lut-mapping0.0100000.004900 (-51.0%)287.00288.00 (+0.3%)2.002.00 (+0.0%)
random_control_dec_k6_c8@lut-mapping0.0100000.005300 (-47.0%)287.00288.00 (+0.3%)2.002.00 (+0.0%)
random_control_dec_k8_c15@lut-mapping0.0100000.009300 (-7.0%)256.00256.00 (+0.0%)1.001.00 (+0.0%)
random_control_dec_k8_c8@lut-mapping0.0100000.009900 (-1.0%)256.00256.00 (+0.0%)1.001.00 (+0.0%)
random_control_i2c_k6_c15@lut-mapping0.0200000.014300 (-28.5%)361.00457.00 (+26.6%)4.004.00 (+0.0%)
random_control_i2c_k6_c8@lut-mapping0.0200000.012400 (-38.0%)365.00457.00 (+25.2%)4.004.00 (+0.0%)
random_control_i2c_k8_c15@lut-mapping0.0400000.051900 (+29.8%)282.00406.00 (+44.0%)4.004.00 (+0.0%)
random_control_i2c_k8_c8@lut-mapping0.0200000.028400 (+42.0%)282.00409.00 (+45.0%)4.004.00 (+0.0%)
random_control_int2float_k8_c15@lut-mapping0.0100000.007800 (-22.0%)26.0033.00 (+26.9%)3.003.00 (+0.0%)
random_control_mem_ctrl_k6_c15@lut-mapping1.6700000.856400 (-48.7%)12091.0018318.00 (+51.5%)25.0025.00 (+0.0%)
random_control_mem_ctrl_k6_c8@lut-mapping0.8800000.574700 (-34.7%)12096.0018471.00 (+52.7%)25.0025.00 (+0.0%)
random_control_mem_ctrl_k8_c15@lut-mapping2.7300003.176200 (+16.3%)8554.0015192.00 (+77.6%)19.0019.00 (+0.0%)
random_control_mem_ctrl_k8_c8@lut-mapping1.4300001.557700 (+8.9%)8701.0015539.00 (+78.6%)19.0019.00 (+0.0%)
random_control_priority_k6_c15@lut-mapping0.0200000.015200 (-24.0%)222.00268.00 (+20.7%)31.0031.00 (+0.0%)
random_control_priority_k6_c8@lut-mapping0.0100000.010600 (+6.0%)219.00268.00 (+22.4%)31.0031.00 (+0.0%)
random_control_priority_k8_c15@lut-mapping0.0400000.044200 (+10.5%)163.00206.00 (+26.4%)21.0021.00 (+0.0%)
random_control_priority_k8_c8@lut-mapping0.0200000.022900 (+14.5%)168.00206.00 (+22.6%)21.0021.00 (+0.0%)
random_control_router_k6_c15@lut-mapping0.0100000.004200 (-58.0%)94.0080.00 (-14.9%)11.0011.00 (+0.0%)
random_control_router_k8_c15@lut-mapping0.0100000.012000 (+20.0%)66.0071.00 (+7.6%)8.008.00 (+0.0%)
random_control_router_k8_c8@lut-mapping0.0100000.007800 (-22.0%)67.0071.00 (+6.0%)8.008.00 (+0.0%)
random_control_voter_k6_c15@lut-mapping0.5700000.469300 (-17.7%)2675.003305.00 (+23.6%)17.0017.00 (+0.0%)
random_control_voter_k6_c8@lut-mapping0.2500000.271800 (+8.7%)2818.003398.00 (+20.6%)17.0017.00 (+0.0%)
random_control_voter_k8_c15@lut-mapping1.0800002.110800 (+95.4%)2113.002554.00 (+20.9%)12.0012.00 (+0.0%)
random_control_voter_k8_c8@lut-mapping0.4800000.683500 (+42.4%)2166.002549.00 (+17.7%)13.0013.00 (+0.0%)

SOP Balancing Details

BenchmarkABC Time (s)CIRCT Time (s)ABC AIG CountCIRCT AIG CountABC AIG DepthCIRCT AIG Depth
arithmetic_adder_k6_c15@sop-balancing0.0500000.031000 (-38.0%)1345.002345.00 (+74.3%)105.00105.00 (+0.0%)
arithmetic_adder_k6_c8@sop-balancing0.0300000.019400 (-35.3%)1345.002345.00 (+74.3%)105.00105.00 (+0.0%)
arithmetic_adder_k8_c15@sop-balancing0.0800000.067800 (-15.3%)1723.003371.00 (+95.6%)76.0077.00 (+1.3%)
arithmetic_adder_k8_c8@sop-balancing0.0400000.034300 (-14.3%)1435.003371.00 (+134.9%)76.0077.00 (+1.3%)
arithmetic_bar_k6_c15@sop-balancing0.2500000.121200 (-51.5%)2952.003336.00 (+13.0%)12.0012.00 (+0.0%)
arithmetic_bar_k6_c8@sop-balancing0.1600000.087300 (-45.4%)2952.003336.00 (+13.0%)12.0012.00 (+0.0%)
arithmetic_bar_k8_c15@sop-balancing0.6200000.467300 (-24.6%)2952.009604.00 (+225.3%)12.0011.00 (-8.3%)
arithmetic_bar_k8_c8@sop-balancing0.2800000.236200 (-15.6%)2952.009587.00 (+224.8%)12.0011.00 (-8.3%)
arithmetic_div_k6_c15@sop-balancing7.9600003.692800 (-53.6%)70370.00150371.00 (+113.7%)1898.001913.00 (+0.8%)
arithmetic_div_k6_c8@sop-balancing4.6400002.275200 (-51.0%)69900.00145868.00 (+108.7%)1905.001917.00 (+0.6%)
arithmetic_div_k8_c15@sop-balancing19.09000012.782400 (-33.0%)83684.00235022.00 (+180.8%)1474.001489.00 (+1.0%)
arithmetic_div_k8_c8@sop-balancing9.3300005.750300 (-38.4%)84958.00228857.00 (+169.4%)1476.001494.00 (+1.2%)
arithmetic_log2_k6_c15@sop-balancing6.4600002.732100 (-57.7%)39992.0088310.00 (+120.8%)231.00232.00 (+0.4%)
arithmetic_log2_k6_c8@sop-balancing3.8000001.579500 (-58.4%)38144.0088371.00 (+131.7%)232.00233.00 (+0.4%)
arithmetic_log2_k8_c15@sop-balancing17.74000017.303200 (-2.5%)46981.00123496.00 (+162.9%)205.00210.00 (+2.4%)
arithmetic_log2_k8_c8@sop-balancing8.1200006.696500 (-17.5%)45695.00116206.00 (+154.3%)207.00211.00 (+1.9%)
arithmetic_max_k6_c15@sop-balancing0.2200000.128600 (-41.5%)3694.007328.00 (+98.4%)129.00129.00 (+0.0%)
arithmetic_max_k6_c8@sop-balancing0.1500000.090200 (-39.9%)3622.007316.00 (+102.0%)129.00129.00 (+0.0%)
arithmetic_max_k8_c15@sop-balancing0.5200000.749800 (+44.2%)3423.0013605.00 (+297.5%)102.00101.00 (-1.0%)
arithmetic_max_k8_c8@sop-balancing0.2800000.309300 (+10.5%)5405.0013583.00 (+151.3%)102.00101.00 (-1.0%)
arithmetic_multiplier_k6_c15@sop-balancing4.3300002.051200 (-52.6%)31365.0065285.00 (+108.1%)147.00147.00 (+0.0%)
arithmetic_multiplier_k6_c8@sop-balancing2.5500001.222200 (-52.1%)30984.0068002.00 (+119.5%)147.00148.00 (+0.7%)
arithmetic_multiplier_k8_c15@sop-balancing11.63000010.902500 (-6.3%)33753.0082392.00 (+144.1%)132.00132.00 (+0.0%)
arithmetic_multiplier_k8_c8@sop-balancing5.3500004.105700 (-23.3%)36129.0081508.00 (+125.6%)132.00133.00 (+0.8%)
arithmetic_sin_k6_c15@sop-balancing1.2300000.557000 (-54.7%)7494.0013250.00 (+76.8%)111.00112.00 (+0.9%)
arithmetic_sin_k6_c8@sop-balancing0.7200000.321900 (-55.3%)7138.0013248.00 (+85.6%)113.00113.00 (+0.0%)
arithmetic_sin_k8_c15@sop-balancing3.9300006.502400 (+65.5%)8848.0018710.00 (+111.5%)104.00105.00 (+1.0%)
arithmetic_sin_k8_c8@sop-balancing1.7700002.272600 (+28.4%)9161.0015946.00 (+74.1%)106.00107.00 (+0.9%)
arithmetic_sqrt_k6_c15@sop-balancing3.4600001.881100 (-45.6%)38092.0062268.00 (+63.5%)3553.003567.00 (+0.4%)
arithmetic_sqrt_k6_c8@sop-balancing2.1600001.182200 (-45.3%)38253.0059300.00 (+55.0%)3606.003773.00 (+4.6%)
arithmetic_sqrt_k8_c15@sop-balancing8.7900008.627700 (-1.8%)52106.00124928.00 (+139.8%)3282.003288.00 (+0.2%)
arithmetic_sqrt_k8_c8@sop-balancing4.7500003.344500 (-29.6%)51881.00107998.00 (+108.2%)3340.003509.00 (+5.1%)
arithmetic_square_k6_c15@sop-balancing3.3400001.355600 (-59.4%)18923.0025600.00 (+35.3%)107.00107.00 (+0.0%)
arithmetic_square_k6_c8@sop-balancing1.9900000.791200 (-60.2%)18922.0025333.00 (+33.9%)107.00107.00 (+0.0%)
arithmetic_square_k8_c15@sop-balancing10.05000013.731700 (+36.6%)19131.0026244.00 (+37.2%)82.0082.00 (+0.0%)
arithmetic_square_k8_c8@sop-balancing4.2900004.227200 (-1.5%)19119.0026111.00 (+36.6%)82.0082.00 (+0.0%)
random_control_arbiter_k6_c15@sop-balancing0.7000000.453200 (-35.3%)7499.0018239.00 (+143.2%)37.0038.00 (+2.7%)
random_control_arbiter_k6_c8@sop-balancing0.5300000.353900 (-33.2%)7499.0018239.00 (+143.2%)37.0038.00 (+2.7%)
random_control_arbiter_k8_c15@sop-balancing1.6200001.564800 (-3.4%)7389.0020799.00 (+181.5%)29.0029.00 (+0.0%)
random_control_arbiter_k8_c8@sop-balancing0.9400000.789900 (-16.0%)7517.0020799.00 (+176.7%)29.0029.00 (+0.0%)
random_control_cavlc_k6_c15@sop-balancing0.0400000.026600 (-33.5%)696.00887.00 (+27.4%)11.0011.00 (+0.0%)
random_control_cavlc_k6_c8@sop-balancing0.0300000.019900 (-33.7%)704.00869.00 (+23.4%)11.0011.00 (+0.0%)
random_control_cavlc_k8_c15@sop-balancing0.1100000.279100 (+153.7%)711.00938.00 (+31.9%)10.0011.00 (+10.0%)
random_control_cavlc_k8_c8@sop-balancing0.0700000.129000 (+84.3%)716.00933.00 (+30.3%)10.0011.00 (+10.0%)
random_control_ctrl_k6_c15@sop-balancing0.0100000.006000 (-40.0%)124.00193.00 (+55.6%)5.005.00 (+0.0%)
random_control_ctrl_k6_c8@sop-balancing0.0100000.007700 (-23.0%)128.00193.00 (+50.8%)5.005.00 (+0.0%)
random_control_ctrl_k8_c15@sop-balancing0.0100000.022200 (+122.0%)124.00192.00 (+54.8%)5.005.00 (+0.0%)
random_control_ctrl_k8_c8@sop-balancing0.0100000.011200 (+12.0%)124.00193.00 (+55.6%)5.005.00 (+0.0%)
random_control_dec_k6_c15@sop-balancing0.0100000.004200 (-58.0%)304.00304.00 (+0.0%)3.003.00 (+0.0%)
random_control_dec_k6_c8@sop-balancing0.0100000.007000 (-30.0%)304.00304.00 (+0.0%)3.003.00 (+0.0%)
random_control_dec_k8_c15@sop-balancing0.0200000.018000 (-10.0%)304.00304.00 (+0.0%)3.003.00 (+0.0%)
random_control_dec_k8_c8@sop-balancing0.0200000.017300 (-13.5%)304.00304.00 (+0.0%)3.003.00 (+0.0%)
random_control_i2c_k6_c15@sop-balancing0.0600000.033100 (-44.8%)1326.001690.00 (+27.5%)10.0010.00 (+0.0%)
random_control_i2c_k6_c8@sop-balancing0.0500000.025500 (-49.0%)1311.001682.00 (+28.3%)11.0010.00 (-9.1%)
random_control_i2c_k8_c15@sop-balancing0.1400000.206100 (+47.2%)1338.001754.00 (+31.1%)9.0010.00 (+11.1%)
random_control_i2c_k8_c8@sop-balancing0.0900000.112200 (+24.7%)1340.001739.00 (+29.8%)9.0010.00 (+11.1%)
random_control_int2float_k6_c15@sop-balancing0.0100000.005700 (-43.0%)253.00315.00 (+24.5%)9.009.00 (+0.0%)
random_control_int2float_k6_c8@sop-balancing0.0100000.006000 (-40.0%)254.00311.00 (+22.4%)9.0010.00 (+11.1%)
random_control_int2float_k8_c15@sop-balancing0.0200000.037600 (+88.0%)251.00318.00 (+26.7%)9.009.00 (+0.0%)
random_control_int2float_k8_c8@sop-balancing0.0200000.019100 (-4.5%)256.00321.00 (+25.4%)9.009.00 (+0.0%)
random_control_mem_ctrl_k6_c15@sop-balancing4.7500002.079100 (-56.2%)51420.00103687.00 (+101.6%)55.0056.00 (+1.8%)
random_control_mem_ctrl_k6_c8@sop-balancing2.3200000.845700 (-63.5%)50885.0097770.00 (+92.1%)55.0056.00 (+1.8%)
random_control_mem_ctrl_k8_c15@sop-balancing15.61000021.871700 (+40.1%)53906.00135493.00 (+151.4%)51.0053.00 (+3.9%)
random_control_mem_ctrl_k8_c8@sop-balancing8.2400009.866500 (+19.7%)52742.00136776.00 (+159.3%)52.0053.00 (+1.9%)
random_control_priority_k6_c15@sop-balancing0.0600000.035900 (-40.2%)1671.002645.00 (+58.3%)101.00106.00 (+5.0%)
random_control_priority_k6_c8@sop-balancing0.0400000.021600 (-46.0%)1134.002381.00 (+110.0%)109.00109.00 (+0.0%)
random_control_priority_k8_c15@sop-balancing0.1400000.144500 (+3.2%)1544.002289.00 (+48.3%)84.0084.00 (+0.0%)
random_control_priority_k8_c8@sop-balancing0.0700000.073400 (+4.9%)1548.002256.00 (+45.7%)84.0084.00 (+0.0%)
random_control_router_k6_c15@sop-balancing0.0200000.005800 (-71.0%)309.00438.00 (+41.7%)19.0018.00 (-5.3%)
random_control_router_k6_c8@sop-balancing0.0100000.007300 (-27.0%)318.00455.00 (+43.1%)19.0019.00 (+0.0%)
random_control_router_k8_c15@sop-balancing0.0400000.035900 (-10.2%)335.00537.00 (+60.3%)15.0015.00 (+0.0%)
random_control_router_k8_c8@sop-balancing0.0200000.021000 (+5.0%)341.00642.00 (+88.3%)15.0016.00 (+6.7%)
random_control_voter_k6_c15@sop-balancing2.0800001.084600 (-47.9%)13531.0018118.00 (+33.9%)56.0058.00 (+3.6%)
random_control_voter_k6_c8@sop-balancing0.9000000.400500 (-55.5%)13593.0017736.00 (+30.5%)58.0060.00 (+3.4%)
random_control_voter_k8_c15@sop-balancing5.9700006.673900 (+11.8%)14162.0018194.00 (+28.5%)56.0057.00 (+1.8%)
random_control_voter_k8_c8@sop-balancing2.7200002.243700 (-17.5%)13997.0017397.00 (+24.3%)57.0061.00 (+7.0%)