On applying software development best practice to FPGAs in safety-critical systems

Abstract. New standards for developing safety-critical systems require the developer to demonstrate the safety and correctness of the programmable logic in such systems. In this paper we adapt software development best practice to developing high-integrity FPGA programs.