✦ LIBER ✦

Model-based diagnosis of hardware designs

✍ Scribed by Gerhard Friedrich; Markus Stumptner; Franz Wotawa

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Debugging Hardware Designs Using a Value

✍ Franz Wotawa 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 502 KB

Evolvable Hardware based software-hardwa

✍ Tu Hang; Wu Tao-jun; Li Yuan-xiang 📂 Article 📅 2005 🏛 Wuhan University 🌐 English ⚖ 547 KB

Model checking: a hardware design perspe

✍ Carl Pixley; Vigyan Singhal 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 295 KB

Robust model-based sampling designs

✍ A. H. Welsh, Douglas P. Wiens 📂 Article 📅 2012 🏛 Springer US 🌐 English ⚖ 599 KB

Automatic fault diagnosis for scan-based

✍ Matthias Heinitz; Ingo Hollenbeck; Martin Kuboschek; Jan Otterstedt; Christian S 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 594 KB

Extending component-based design with ha

✍ Péter Arató; Zoltán Ádám Mann; András Orbán 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 573 KB