
Catapulta
Síntese de alto nível C++/SystemC líder do setor e pronta para a nuvem com estimação/otimização de baixo consumo de energia. A verificação do design, o código e a verificação da cobertura funcional, além da verificação formal, tornam o HLS mais do que um mero “C para RTL”.












