Source files to reproduce the results shown for A-QED at DAC 2020 - View it on GitHub