Title :
VHDL guidance for safe and certifiable FPGA design
Author :
Conmy, P.M. ; Pygott, C. ; Bate, Iain
Author_Institution :
Dept. of Comput. Sci., Univ. of York, York, UK
Abstract :
Field Programmable Gate Arrays (FPGAs) are becoming increasingly popular for use within high integrity and safety critical systems. One commonly used coding language for their configuration is the VHSIC Hardware Description Language (VHDL). Whilst VHDL is used for hardware description, it is developed in a similar way to traditional software, and many safety critical software certification standards require the use of coding subsets and style guidance in order to ensure known language vulnerabilities are avoided. At present there is no recognized, public domain guidance for VHDL. This paper draws together many different sources to provide a starting discussion for a VHDL subset.
Keywords :
field programmable gate arrays; hardware description languages; logic design; safety-critical software; FPGA design; VHDL guidance; VHDL subset; VHSIC hardware description language; coding language; coding subset; field programmable gate array; safety critical software certification standard; safety critical system; Coding Standards; FPGA; Safety; VHDL;
Conference_Titel :
System Safety 2010, 5th IET International Conference on
Conference_Location :
Manchester
DOI :
10.1049/cp.2010.0832