A Logical Design Automation Utility

Abstract

Computer oriented algorithms for several laborious computations frequently encountered in switching theory and logic design are presented. They are algorithms for the computation of designation numbers, functional composition, detection of relations between Boolean functions, symbolic expansion of Boolean expressions, and approximate minimization of Boolean functions. These algorithms are useful in the construction of man/machine interactive systems for logic design automation. Machine independence and modularity are emphasized in the development of these algorithms. They have been programmed on the LINC computer.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1970
Accession Number
AD0771748

Entities

People

  • Chin-chi Kao
  • Ying Huang Chuang

Organizations

  • University of Washington

Tags

Communities of Interest

  • Biomedical
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Automation
  • Circuits
  • Computational Science
  • Computations
  • Computers
  • Control Systems Engineering
  • Department Of Defense
  • Detection
  • Digital Computers
  • Health Services
  • Language
  • Linear Arrays
  • Logic Gates
  • Networks
  • Research Facilities
  • Switching

Fields of Study

  • Computer science

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Calculus or Mathematical Analysis
  • Computer Science/Computer Engineering/Data Science/Digital Signal Processing.