Model-based diagnosis of hardware designs

DOI10.1016/S0004-3702(99)00034-XMaRDI QIDQ1606301zbMATH OpenOpenAlexFDO

Authors Gerhard Friedrich, M. Stumptner, Franz Wotawa

Publication date 24 July 2002

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0004-3702(99)00034-x

zbMATH Keywords

hardware design

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99)

Recommendations

• Debugging hardware designs using a value-based model
• scientific article; zbMATH DE number 2043416
• Debugging VHDL designs: Introducing multiple models and first empirical results
• scientific article; zbMATH DE number 1708082
• On the automatic HDL bug identification

Cited in

(17)

• Testing diagnostics of modern microprocessors with the use of functional models
• Debugging hardware designs using a value-based model
• Debugging VHDL designs: Introducing multiple models and first empirical results
• Logical foundations of knowledge-based recommender systems: a unifying spectrum of alternatives
• scientific article; zbMATH DE number 1708082 (Why is no real title available?)
• Conceptual characteristic features of fault-free hardware design
• Finding and fixing faults
• Automated debugging based on a constraint model of the program and a test case
• Model-based reasoning: a principled approach for software engineering
• Fault detection and localization using Modelica and abductive reasoning
• Diagnosing tree-structured systems
• On the relationship between model-based debugging and program slicing
• Constraint-based debugging in probabilistic model checking
• Choosing abstraction levels for model-based software debugging: a theoretical and empirical analysis for spreadsheet programs
• Efficient suspect selection in unreachable state diagnosis
• A MaxSAT-based framework for computing circumscription
• Consistency-based diagnosis of configuration knowledge bases

This page was built for publication: Model-based diagnosis of hardware designs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1606301)