Verification and Fault Localization for VHDL Programs

Research output: Contribution to journalArticleResearch

Original languageEnglish
Pages (from-to)30-33
JournalTelematik
Volume8
Issue number2
Publication statusPublished - 2002

Cite this

Verification and Fault Localization for VHDL Programs. / Bloem, Roderick Paul; Wotawa, Franz.

In: Telematik, Vol. 8, No. 2, 2002, p. 30-33.

Research output: Contribution to journalArticleResearch

@article{8143d7d2f9974a4da31a130b6308702d,
title = "Verification and Fault Localization for VHDL Programs",
author = "Bloem, {Roderick Paul} and Franz Wotawa",
year = "2002",
language = "English",
volume = "8",
pages = "30--33",
journal = "Telematik",
issn = "1028-5067",
number = "2",

}

TY - JOUR

T1 - Verification and Fault Localization for VHDL Programs

AU - Bloem, Roderick Paul

AU - Wotawa, Franz

PY - 2002

Y1 - 2002

M3 - Article

VL - 8

SP - 30

EP - 33

JO - Telematik

JF - Telematik

SN - 1028-5067

IS - 2

ER -