Accession Number : ADP002377

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

Corporate Author : NORTHWESTERN UNIV EVANSTON IL

Personal Author(s) : Kabat,W. C.

Report Date : MAY 1983

Pagination or Media Count : 31

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

Distribution Statement : APPROVED FOR PUBLIC RELEASE