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