This is a Demo Server. Data inside this system is only for test purpose.
 

Model Based Testing of VHDL Programs

No Thumbnail Available

Date

2015

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Ieee

Open Access Color

OpenAIRE Downloads

OpenAIRE Views

Research Projects

Organizational Units

Thumbnail Image
Organizational Unit
Bilgisayar Mühendisliği Bölümü
Founded in 1992, our department has been dedicated to expanding and sharing knowledge, producing a line of highly skilled engineers, and inspiring innovation Department of Computer Engineering was founded in 1992 together with the Izmir Institute of Technology and started to admit students for the Master of Science Program. In 1999, the Department moved to the new campus in Gülbahçe-Urla and the undergraduate program commenced in the same year. Computer Engineering Doctorate Program started in 2014. Currently, the number of students admitted to the undergraduate program is 80. The Department of Computer Engineering offers a wide range of selective courses in its curriculum which enables the students to specialize in different areas of computer science and engineering. Our mission is to create a learning environment where academic research activities and projects are carried out in collaboration with the industry. In this atmosphere we aim to train researchers and engineers who are competent in the discipline, have proficiency in problem solving as well as good communication and organizational skills, committed to life-long learning and ethical values and sensitive to social issues.

Journal Issue

Abstract

VHDL programs are often validated by means of test benches constructed from formal system specification. To include real-time properties of VHDL programs, the proposed approach first transforms them to concurrently running network of timed automata and then performs model checking on properties taken from the specification. Counterexamples generated by the model checker are used to form a test bench. The approach is validated by a case study composed of a nontrivial application running on a microprocessor. As presented, the approach enables testing both hardware and software at once.

Description

Ayav, Tolga/0000-0003-1426-5694; Tuglular, Tugkan/0000-0001-6797-3913
ORCID
Ayav, Tolga ORCID logo
Tuglular, Tugkan ORCID logo

Keywords

[No Keyword Available]

Turkish CoHE Thesis Center URL

Fields of Science

Citation

0

WoS Q

Scopus Q

OpenCitations Logo
OpenCitations Citation Count
0
Sobiad Logo
Sobiad Citation Count
N/A

Source

39th IEEE Annual International Computer Software and Applications Conference Workshops (COMPSAC) -- JUL 01-05, 2015 -- Taichung, TAIWAN

Volume

Issue

Start Page

427

End Page

432

URI

https://doi.org/10.1109/COMPSAC.2015.198
 http://65.108.157.135:4000/handle/123456789/92

Collections

WOS
PlumX Metrics
Captures

Mendeley Readers : 9