Accession Number:

ADP002377

Title:

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

Descriptive Note:

Corporate Author:

NORTHWESTERN UNIV EVANSTON IL

Personal Author(s):

• Kabat,W. C.

Report Date:

1983-05-01

Pagination or Media Count:

31.0

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

Descriptors:

• *Logic devices
• *Automation
• *Networks
• *Computer aided design
• *Switching circuits
• *Integrated circuits
• *Symposia
• *Mathematical logic
• Tools
• Modular construction
• Functions
• Addition
• Viability
• Faults
• Theorems
• Switching

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE