Proving Safety Properties of FPGAs

Hilton, Adrian and Hall, Jon G. (2001). Proving Safety Properties of FPGAs. Technical Report 2001/01; Department of Computing, The Open University.



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.

Viewing alternatives

Download history


Public Attention

Altmetrics from Altmetric

Number of Citations

Citations from Dimensions

Item Actions