mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
VHDL guidance for safe and certifiable FPGA design
University of York, UK.
Columbus Computing Ltd, UK.
University of York, UK. (Mälardalen Real-Time Research Centre)ORCID iD: 0000-0003-2415-8219
2010 (English)In: IET Conference Publications, Volume 2010, 2010Conference paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
2010.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-23825DOI: 10.1049/cp.2010.0832Scopus ID: 2-s2.0-79851485246ISBN: 9781849193030 (print)OAI: oai:DiVA.org:mdh-23825DiVA: diva2:682430
Conference
5th IET International Conference on System Safety 2010; Manchester; United Kingdom; 18 October 2010 through 20 October 2010
Available from: 2013-12-27 Created: 2013-12-19 Last updated: 2015-07-31Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Conmy, PhilippaBate, Iain
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 45 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf