Application and Verification of Local Nonsemantic-Preserving Transformations in System Design.

Tarvo Raudvere Ingo Sander Axel Jantsch Application and Verification of Local Nonsemantic-Preserving Transformations in System Design. 1091-1103 2008 27 IEEE Trans. on CAD of Integrated Circuits and Systems 6 http://dx.doi.org/10.1109/TCAD.2008.923249 db/journals/tcad/tcad27.html#RaudvereSJ08