2022-03-022022-03-022013https://publica.fraunhofer.de/handle/publica/155210DVCon 2013, Design and Verification Conference and Exhibition. CD-ROM