|
|
Embedded Systems Group
|
|
Academic partner of Esterel EDA Technologies
provider of ESL synthesis
for control-intensive IP design and verification,
including SystemC,
VHDL, and Verilog code generation
Academic partner of Esterel Technologies, the provider of model-based solutions for
DO-178B and IEC 61508 safety-critical systems.
|