Using Model-Based Reasoning for Locating Faults in VHDL Designs

Franz Wotawa, Markus Stumptner

Research output: Contribution to journalArticleResearch

Original languageEnglish
Pages (from-to)62-67
JournalKünstliche Intelligenz
Volume14
Issue number4
Publication statusPublished - 2000

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Cite this

Using Model-Based Reasoning for Locating Faults in VHDL Designs. / Wotawa, Franz; Stumptner, Markus.

In: Künstliche Intelligenz, Vol. 14, No. 4, 2000, p. 62-67.

Research output: Contribution to journalArticleResearch

@article{5af2b9b091b7491393393f0e0e2dc944,
title = "Using Model-Based Reasoning for Locating Faults in VHDL Designs",
author = "Franz Wotawa and Markus Stumptner",
year = "2000",
language = "English",
volume = "14",
pages = "62--67",
journal = "K{\"u}nstliche Intelligenz",
issn = "0933-1875",
number = "4",

}

TY - JOUR

T1 - Using Model-Based Reasoning for Locating Faults in VHDL Designs

AU - Wotawa, Franz

AU - Stumptner, Markus

PY - 2000

Y1 - 2000

M3 - Article

VL - 14

SP - 62

EP - 67

JO - Künstliche Intelligenz

JF - Künstliche Intelligenz

SN - 0933-1875

IS - 4

ER -