Design techniques for the automatic generation of embedded hardware/software starting from transactional level models (TLM) and with emphasis on:
- TLM-RTL synthesis and abstraction
- RTL-to-SW abstraction
- TLM transactor generation
- Device-driver generation
- Embedded SW for multicore systems
- Hardware description language-based modeling
- Middleware-based design