2022-03-022022-03-022010978-1-4244-6677-1978-1-4503-0002-5https://publica.fraunhofer.de/handle/publica/15138347th ACM/IEEE Design Automation Conference, DAC 2010