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 | Site Map | Site powered by SPIP 3.2.16 + AHUNTSIC [CC License]

info visites 1918605