Copy the page URI to the clipboard
Hilton, Adrian and Hall, Jon G. (2001). Proving Safety Properties of FPGAs. Technical Report 2001/01; Department of Computing, The Open University.
DOI: https://doi.org/10.21954/ou.ro.00015fea
Abstract
FPGAs are increasing in complexity and being used as important components of safety-critical systems. Emerging safety standards require analytic reasoning to demonstrate the safety of FPGAs in such systems. This report describes a method which uses a synchronous process algebra to produce formal proof that an FPGA program satisfies safety properties, and demonstrates its use in the specification of safety functions for a safety-critical system.