Automated Design of Combinational Networks under Specific Constraints: A Theorem Proving Approach,

Abstract

An automated theorem proving system is seen as a viable addition to the set of traditional design automation tools. The automated design of combinational network for an arbitrary switching function can be performed using theorem proving techniques. Additional constraints such as modularity, design under the requirements of a particular technology, and the fault tolerant logic design can be imposed upon the design. (Author)

Document Details

Document Type
Technical Report
Publication Date
May 01, 1983
Accession Number
ADP002377

Entities

People

  • W. C. Kabat

Organizations

  • Northwestern University

Tags

DTIC Thesaurus Topics

  • Adaptive Control Systems
  • Adaptive Systems
  • Automation
  • Switching

Fields of Study

  • Engineering

Readers

  • Database Systems and Applications
  • Fault Tolerant Diagnosis of Black and White Balloon Isolation Tests Using ¥.
  • Mathematical Modeling and Probability Theory.