2022-03-022022-03-022012978-1-450-31199-1https://publica.fraunhofer.de/handle/publica/15477449th ACM/EDAC/IEEE Design Automation Conference (DAC 2012). Vol.1