SRAM-Based FPGA Systems for Safety-Critical Applications： A Survey on Design Standards and Proposed Methodologies

作     者：Cinzia Bernardeschi Luca Cassano Andrea Domenici 

作者机构：Department of Information Engineering University of Pisa Pisa 56122 Italy Dipartimento di Elettronica Informazione e Bioingegneria Politecnico di Milano Milano 20133 Italy 

出 版 物：《Journal of Computer Science & Technology》 (计算机科学技术学报（英文版）)

年 卷 期：2015年第30卷第2期

页      码：373-390页

摘      要：As the ASIC design cost becomes affordable only for very large-scale productions, the FPGA technology is currently becoming the leading technology for those applications that require a small-scale production. FPGAs can be considered as a technology crossing between hardware and software. Only a small-number of standards for the design of safety-critical systems give guidelines and recommendations that take the peculiarities of the FPGA technology into consideration. The main contribution of this paper is an overview of the existing design standards that regulate the design and verification of FPCA-based systems in safety-critical application fields. Moreover, the paper proposes a survey of significant published research proposals and existing industrial guidelines about the topic, and collects and reports about some lessons learned from industrial and research projects involving the use of FPGA devices.

主 题 词：design verification electronic design safety-critical system SRAM-based FPGA 

学科分类：0810[工学-土木类] 0808[工学-自动化类] 08[工学] 0835[0835] 081001[081001] 0701[理学-数学类] 0811[工学-水利类] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.1007/s11390-015-1530-5

馆 藏 号：203128923...