DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click HERE
to register or log in.
Automated Design of Combinational Networks under Specific Constraints: A Theorem Proving Approach,
NORTHWESTERN UNIV EVANSTON IL
Pagination or Media Count:
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
APPROVED FOR PUBLIC RELEASE