A VHDL Interpreter for Model-Based Diagnoses

Abstract

Model-based reasoning permits diagnostic applications to be written without waiting for someone to become an 'expert' of the system. For model-based diagnostics, there must be a model to reason from. This thesis explores using a VHDL description of the system as that model. A system based around a VHDL interpreter was written specifically for a model-based diagnostic algorithm. Currently, the diagnostic system uses an algorithm by Dries. This algorithm was derived from Scarl's Full Consistency Algorithm. The system was designed to be modular so that different diagnostic techniques could be implemented. It is divided into three parts: a VHDL parser, a VHDL interpreter, and a set of routines to implement Dries' Diagnose algorithm. The system can find stuck-at faults on combinatorial digital circuits.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1992
Accession Number
ADA259122

Entities

People

  • David R. Griffin

Organizations

  • Air Force Institute of Technology

Tags

Communities of Interest

  • Materials and Manufacturing Processes
  • Sensors

DTIC Thesaurus Topics

  • Application-Specific Integrated Circuits
  • Artificial Intelligence
  • Computer Programming
  • Computer Programs
  • Computers
  • Control Systems
  • Debugging
  • Digital Circuits
  • Expert Systems
  • Failure Mode And Effect Analysis
  • Gates
  • Grammars
  • High Level Languages
  • Operating Systems
  • Programming Languages
  • Reasoning
  • Simulators

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Fault Tolerant Diagnosis of Black and White Balloon Isolation Tests Using ¥.
  • Integrated Circuit Design and Technology.