On Applying Software Development Best Practice to FPFAs in Safety Critical Systems

Authors:
A. Hilton;J. Hall
Affiliations:
-;-
Venue:
FPL '00 Proceedings of the The Roadmap to Reconfigurable Computing, 10th International Workshop on Field-Programmable Logic and Applications
Year:
2000

Citing 3
Cited 0

The Z notation: a reference manual

The Z notation: a reference manual
Receptive process theory

Acta Informatica
Pebble: A Language for Parametrised and Reconfigurable Hardware Design

FPL '98 Proceedings of the 8th International Workshop on Field-Programmable Logic and Applications, From FPGAs to Computing Paradigm

Quantified Score

Hi-index	0.00

Visualization

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.