RASP-FIT: A Fast and Automatic Fault Injection Tool for Code-Modification of FPGA Designs
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2018, Vol 9, Issue 10
Abstract
Fault Injection (FI) is the most popular technique used in the evaluation of fault effects and the dependability of a design. Fault Simulation/Emulation (S/E) is involved in several applications such as test data generation, test set evaluation, circuit testability, fault detection & diagnosis, and many others. These applications require a faulty module of the original design for fault injection testing. Currently, Hardware Description Languages (HDL) are involved in improving methodologies related to the digital system testing for Field Programmable Gate Array (FPGA). Designers can perform advanced testing and fault S/E methods directly on HDL. To modify the HDL design, it is very cumbersome and time-consuming task. Therefore, a fault injection tool (RASP-FIT) is developed and presented, which consists of code-modifier, fault injection control unit and result analyser. However, in this paper, code modification techniques of RASP-FIT are explained for the Verilog code at different abstraction levels. By code-modification, it means that a faulty module of the original design is generated which includes different permanent and transient faults at every possible location. The RASP-FIT tool is an automatic and fast tool which does not require much user intervention. To validate these claims, various faulty modules for different benchmark designs are generated and presented.
Authors and Affiliations
Abdul Rafay Khatri, Ali Hayek, Josef Borcsok
Keywords
Related Articles
- EP ID EP406798
- DOI 10.14569/IJACSA.2018.091004
- Views 120
- Downloads 0
A Review of Embedding Hexagonal Cells in the Circular and Hexagonal Region of Interest
Hexagonal cells are applied in various fields of research. They exhibit many advantages, and one of the most important is their possibility to be closely packed and to form a hexagonal grid that fully covers the Region o...
Student Facial Authentication Model based on OpenCV’s Object Detection Method and QR Code for Zambian Higher Institutions of Learning
Facial biometrics captures human facial physiological data, converts it into a data item variable so that this stored variable may be used to provide information security services, such as authentication, integrity manag...
Fault Tolerant Platform for Application Mobility across devices
In the mobile era, users started using Smartphone’s, tablets and other handheld devices, The advances in telecom technologies like 3G accelerates the migration towards smart phones. But still battery power and fre...
A Feasibility Study on Porting the Community Land Model onto Accelerators Using Openacc
As environmental models (such as Accelerated Climate Model for Energy (ACME), Parallel Reactive Flow and Transport Model (PFLOTRAN), Arctic Terrestrial Simulator (ATS), etc.) became more and more complicated, we are faci...
A Simulation Model for Nakagmi-m Fading Channel with m>1
In this paper, we propose a model to simulate a wireless fading channel based on Nakagami-m distribution with m>1. The Nakagami-m fading channel is the most generalized distribution as it can generate one-sided Gaussi...