veröffentlicht in International Journal of Design, Analysis and Tools for integrated Circuits and Systems Zeitschrift