Hardware/Software Co-Design
Languages based on specific underlying hardware-software oriented formalisms. Examples:
- VHDL, Verilog (delta-time, process model)
- StateCharts, SpecCharts (interacting finite-state machines)
- Esterel, Lustre (synchronous reactive)
Software programming languages either restricted/extended or reinterpreted to represent a hardware target
- Hardware C, Hardware Fortran, Commercial C++ subsets
- Synthesizeable subsets of VHDL, Verilog
- Matlab
- Java?
Very little emphasis on state-of-the-art software engineering architectures
- Huge opportunity to leverage a community like ASE