Cited By
View all- Raudvere TSander IJantsch A(2008)Application and Verification of Local Nonsemantic-Preserving Transformations in System DesignIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2008.92324927:6(1091-1103)Online publication date: 1-Jun-2008
- Raudvere TSander IJantsch AHa SChoi KDutt NTeich J(2007)Synchronization after design refinements with sensitive delay elementsProceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis10.1145/1289816.1289826(21-26)Online publication date: 30-Sep-2007