Fault Injection and Test Approach for Behavioural Verilog Designs using the Proposed RASP-FIT Tool

Abstract

Soft-core processors and complex Field Pro-grammable Gate Array (FPGA) designs are described as an algorithmic manner, i.e. behavioural abstraction level in Hard-ware Description Languages (HDL). Lower abstraction levels add complexity and delays in the design cycle as well as in the fault injection approach. Therefore, fault simulation/emulation techniques are demanded to develop an approach for testing of design and to evaluate dependability analysis of FPGA designs at this abstraction level. Broadly, the fault injection techniques for FPGA-based designs at the HDL code level are categorised into emulation and simulation-based techniques. This work is an extension of our previous methodologies developed for FPGA designs written at data-flow and gate abstraction levels under the proposed RASP-FIT tool. These methodologies include fault injection by code parsing of the SUT, test approach for finding the test vectors using dynamic and static compaction techniques, fault coverage, and compaction ratio directly at the code level of the design. In this paper, we described the proposed approaches briefly, and the enhancement of a Verilog code modifier for the behavioural designs is presented in detail.

Authors and Affiliations

Abdul Rafay Khatri, Ali Hayek, Josef Börcsök

Keywords

Related Articles

Application of Fuzzy Self-Optimizing Control Based on Differential Evolution Algorithm for the Ratio of Wind to Coal Adjustment of Boiler in the Thermal Power Plant

The types of coal are multiplex in domestic small and medium sized boilers, and with unstable ingredients, the method of maintaining the amount of wind and coal supply in a fixed proportion of the wind adjustment does no...

A Fuzzy Decision Support System for Management of Breast Cancer

In the molecular era the management of cancer is no more a plan based on simple guidelines. Clinical findings, tumor characteristics, and molecular markers are integrated to identify different risk categories, based on w...

A Traffic Congestion Framework for Smart Riyadh City based on IoT Services

Internet of Things (IoT) has become one of the most challenging issues in many researches to connect physical things through the internet by creating a virtual identity for everything. Traffic congestion in Riyadh city i...

Case Based Reasoning: Case Representation Methodologies

Case Based Reasoning (CBR) is an important technique in artificial intelligence, which has been applied to various kinds of problems in a wide range of domains. Selecting case representation formalism is critical for the...

Training an Agent for FPS Doom Game using Visual Reinforcement Learning and VizDoom

Because of the recent success and advancements in deep mind technologies, it is now used to train agents using deep learning for first-person shooter games that are often outperforming human players by means of only scre...

Download PDF file
  • EP ID EP550256
  • DOI 10.14569/IJACSA.2019.0100407
  • Views 85
  • Downloads 0

How To Cite

Abdul Rafay Khatri, Ali Hayek, Josef Börcsök (2019). Fault Injection and Test Approach for Behavioural Verilog Designs using the Proposed RASP-FIT Tool. International Journal of Advanced Computer Science & Applications, 10(4), 57-63. https://europub.co.uk./articles/-A-550256