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

• 作 者: Cinzia Bernardeschi Luca Cassano Andrea Domenici
• 机 构: Department of Information Engineering, University of Pisa, Pisa 56122, Italy;Dipartimento di Elettro
• 出 处: 计算机科学技术学报（英文版）
• 发表日期: 2015年2期
• 关键词: design verification electronic design safety-critical system SRAM-based FPGA

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 FPGA-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 leed from industrial and research pro jects involving the use of FPGA devices.