the KVX CompCert Compiler

  • Software distribution and licensing: Open-source distribution
  • Software maturity: Well-tested software, good documentation
  • Software Maintenance and Evolution: Active maintenance, plans for future evolution

A version of the CompCert certified compiler with instruction scheduling for pipelined processors and in particular for Kalray VLIW core (with explicit instruction parallelism at the assembly level).

See the 5-minutes video by C. Six, presenting our certified efficient instruction scheduling for the KVX backend.

Contact | Plan du site | Site réalisé avec SPIP 3.1.15 + AHUNTSIC [CC License]

info visites 1802361