The EvoApproxLibLITE is the lightweight version of our library of approximate circuits with formally guaranteed error parameters. Hardware as well as software models are provided for each circuit.

Circuit name MAE WCE MRE EP power area Download model
mul8x7u_11N [1] 0.00 % 0.00 % 0.00 % 0.00 % 0.336 629.8 Verilog fileC filePython PYX
mul8x7u_2Y0 [1] 0.00057 % 0.0031 % 0.028 % 18.75 % 0.330 600.7 Verilog fileC filePython PYX
mul8x7u_3YT [1] 0.0015 % 0.0061 % 0.059 % 37.50 % 0.327 593.7 Verilog fileC filePython PYX
mul8x7u_6Y7 [1] 0.0093 % 0.04 % 0.33 % 83.11 % 0.312 596.9 Verilog fileC filePython PYX
mul8x7u_4ZX [1] 0.027 % 0.11 % 0.83 % 89.15 % 0.289 515.8 Verilog fileC filePython PYX
mul8x7u_3RQ [1] 0.084 % 0.32 % 2.19 % 93.81 % 0.241 476.3 Verilog fileC filePython PYX
mul8x7u_5NB [1] 0.29 % 1.47 % 5.73 % 97.33 % 0.172 364.2 Verilog fileC filePython PYX
mul8x7u_1XJ [1] 0.86 % 3.75 % 14.27 % 98.45 % 0.075 191.5 Verilog fileC filePython PYX
mul8x7u_07T [1] 2.74 % 11.27 % 31.30 % 98.77 % 0.030 117.3 Verilog fileC filePython PYX
mul8x7u_1VL [1] 8.05 % 30.62 % 64.51 % 98.83 % 0.00089 7.0 Verilog fileC filePython PYX
mul8x7u_589 [1] 24.71 % 98.83 % 100.00 % 98.83 % 0.000 0.0 Verilog fileC filePython PYX

Reported error parameters: MAE - Mean Absolute Error (Mean Error Magnitude), WCE - Worst-Case Absolute Error (Error Magnitude / Error Significance), MSE - Mean Squared Error, MRE - Mean Relative Error (Mean Relative Error Distance), WCRE - Worst-Case Relative Error, EP - Error Probability (Error Rate)  |  Reported design parameters: power - power consumption in mW, area - area on the chip in um2, dly - delay, all values obtained using Synopsys DC (45 nm PDK, 1 V, 25 ℃)  |  Error parameters marked by were verified using a formal technique analyzing all possible input combinations. There is a formal guarantee that the error is not worse than the shown value. The exact values are included at the beginning of each C file and Verilog file.

COMPARISON

Comparison with the complete EvoApproxLib dataset on various metrics. The first plot shows the performance wrt. the parameters used for pareto filtration. The black dots are the circuits included in this dataset. The blue dots are parameters of the circuits included in the full version of EvoApproxLib. Note that the parameters of the accurate implementation shown in the figure correspond with those exhibiting the lowest power consumption.

REFERENCES
  1. V. Mrazek, L. Sekanina, Z. Vasicek Libraries of Approximate Circuits: Automated Design and Application in CNN Accelerators IEEE Journal on Emerging and Selected Topics in Circuits and Systems, Vol 10, No 4, 2020