Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/7119
Title: Regular expression based test sequence generation for HDL program validation
Authors: Kılınççeker, Onur
Türk, Ercüment
Challenger, Moharram
Belli, Fevzi
Belli, Fevzi
Izmir Institute of Technology. Computer Engineering
Keywords: Behavioral model
Hardware description language
Hardware design validation
Regular expression
Test sequence generation
Issue Date: 2018
Publisher: Institute of Electrical and Electronics Engineers Inc.
Source: Kılınççeker, O., Türk, E., Challenger, M. and Belli, F. (2018 July 16-20). Regular expression based test sequence generation for HDL program validation. Paper presented at the 18th IEEE International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018. doi:
Abstract: This paper proposes a test sequence generation approach for behavioral model validation of sequential circuits implemented in Hardware Description Language (HDL). In the procedure of test sequence generation proposed in this study, Regular Expressions (REs) are utilized to model the behavior of the System Under Test (SUT). First, the HDL program is converted to a Finite State Machine (FSM). Then, the obtained FSM is transformed to RE which is represented by a Syntax Tree (ST). In this way, the test sequence generation problem is simplified to the tree traversal algorithm in which symbol and operator coverage criteria are satisfied. The required tools for test sequence generation are provided to automatize the whole procedure of the proposed approach. Also, a running example, based on a real-life-like Traffic Light Controller (TLC), validates the proposed approach and analyzes its characteristic features.
Description: 18th IEEE International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018; Lisbon; Portugal; 16 July 2018 through 20 July 2018
URI: http://doi.org/10.1109/QRS-C.2018.00103
http://hdl.handle.net/11147/7119
ISBN: 9781538678398
Appears in Collections:Computer Engineering / Bilgisayar Mühendisliği
Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
WoS İndeksli Yayınlar Koleksiyonu / WoS Indexed Publications Collection

Files in This Item:
File Description SizeFormat 
7119.pdfConference Paper282.34 kBAdobe PDFThumbnail
View/Open
Show full item record

CORE Recommender

SCOPUSTM   
Citations

5
checked on Sep 18, 2021

WEB OF SCIENCETM
Citations

3
checked on Sep 18, 2021

Page view(s)

20
checked on Sep 20, 2021

Download(s)

30
checked on Sep 20, 2021

Google ScholarTM

Check

Altmetric


Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.