Applications of behavioural transformations in embedded system design
- 1 January 2012
- journal article
- Published by Medknow in IETE Technical Review
- Vol. 29 (5), 372
- https://doi.org/10.4103/0256-4602.103166
Abstract
No abstract availableThis publication has 51 references indexed in Scilit:
- Verification Approach of Metropolis Design Framework for Embedded SystemsInternational Journal of Parallel Programming, 2006
- Using Global Code Motions to Improve the Quality of Results for High-Level SynthesisIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2004
- Formal Verification for Embedded System DesignsDesign Automation for Embedded Systems, 2003
- Data and memory optimization techniques for embedded systemsACM Transactions on Design Automation of Electronic Systems, 2001
- System-level design: orthogonalization of concerns and platform-based designIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2000
- Recent developments in high-level synthesisACM Transactions on Design Automation of Electronic Systems, 1997
- Global scheduling with code-motions for high-level synthesis applicationsIEEE Transactions on Very Large Scale Integration (VLSI) Systems, 1995
- Compiler transformations for high-performance computingACM Computing Surveys, 1994
- Lazy code motionACM SIGPLAN Notices, 1992
- High — Level SynthesisPublished by Springer Science and Business Media LLC ,1992