Co-Design Problems
Specification, Modeling and Analysis
- How to capture designer intent efficiently in a design language?
- HDL optimizations (pre-synthesis), C/C++ specifications
- Constraint modeling and analysis
System Validation
- How to use description in building a (computational) prototype capable of running actual applications?
- Co-simulation, Formal Verification
System Design and Synthesis
- Delayed partitioning of hardware and software
- Software synthesis and optimizations
- Interface design and optimizations.