Logic Programming in Digital Circuit Design

Author

Joseph W. Eicher

Date of Award

12-1991

Document Type

Thesis

Degree Name

Master of Science

Department

Department of Electrical and Computer Engineering

First Advisor

Frank M. Brown, PhD

Abstract

The design of large, complex digital circuitry requires highly skilled engineers. Much of the time spent by these engineers in the design phase involves tasks that are repetitive, tedious, and slow. If these repetitive tasks are automated, the engineer can spend more time managing the design process and produce a better-quality design in less time. Logic programming can be used to automate design tasks, even those that require a high degree of skill. This thesis investigates several aspects of the digital circuit design process that involve pattern-matching paradigms suitable for encoding in the logic programming language Prolog.

AFIT Designator

AFIT-GCE-ENG-91D-03

DTIC Accession Number

ADA243884

Comments

The author's Vita page is omitted.

Recommended Citation

Eicher, Joseph W., "Logic Programming in Digital Circuit Design" (1991). Theses and Dissertations. 7508.
https://scholar.afit.edu/etd/7508