Communication synthesis for distributed embedded systems
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 6th international workshop on Hardware/software codesign
COSYN: hardware-software co-synthesis of heterogeneous distributed embedded systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Pointer analysis for multithreaded programs
Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Synthesis of hardware models in C with pointers and complex data structures
IEEE Transactions on Very Large Scale Integration (VLSI) Systems - System Level Design
Modern Compiler Implementation in C
Modern Compiler Implementation in C
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Hardware/Software Partitioning with Iterative Improvement Heuristics
ISSS '96 Proceedings of the 9th international symposium on System synthesis
Task Scheduling in a Finite-Resource, Reconfigurable Hardware/Software Codesign Environment
INFORMS Journal on Computing
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Identifying Inter-task Communication in Shared Memory Programming Models
IWOMP '09 Proceedings of the 5th International Workshop on OpenMP: Evolving OpenMP in an Age of Extreme Parallelism
Variable Partitioning and Scheduling for MPSoC with Virtually Shared Scratch Pad Memory
Journal of Signal Processing Systems
A polynomial algorithm for partitioning problems
ACM Transactions on Embedded Computing Systems (TECS)
ColSpace: towards algorithm/implementation co-optimization
ICCD'09 Proceedings of the 2009 IEEE international conference on Computer design
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Project verification and construction of superchip tests at the RTL level
Automation and Remote Control
Performance-driven dynamic thermal management of MPSoC based on task rescheduling
ACM Transactions on Design Automation of Electronic Systems (TODAES)
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Design Challenges for Many-Core Processors, Special Section on ESTIMedia'13 and Regular Papers
| Hi-index | 0.00 |
Consumer demand and improvements in hardware havecaused distributed real-time embedded systems to rapidly increasein complexity. As a result, designers faced with time-to-market constraints are forced to rely on intelligent designtools to enable them to keep up with demand. These tools arecontinually being used earlier in the design process whenthe design is at higher levels of abstraction. At the highestlevel of abstraction are hardware/software co-synthesis toolswhich take a system specification as input. Although manyembedded systems are described in C, the system specificationsfor many of these tools are often in the form of one ormore task graphs. These tools are very effective at solvingthe co-synthesis problem using task graphs but require thatdesigners manually transform the specification from C codeto task graphs, a tedious and error-prone job. The task graphextraction tool described in this paper reduces the potentialfor error and the time required to design an embedded systemby automating the task graph extraction process. Sucha tool can drastically improve designer productivity. As faras we know, this is the first tool of its kind. It has been madeavailable on the web.