A toolchain for safety-critical embedded processor programming using FPGAs.

Jonathan Kimmitt, David J. Greaves, Marcian N. Cirstea

Browse the full INDIN paper archive.