<div class="description">
<p>The goal of this thesis was to develop a searching algorithm for simplifying Multi-Valued Logic (MVL) functions. The algorithm was implemented as a program written in C for the UNIZ operating system. The algorithm accepts an MVL function in the format required by HAMLET, an MVL computer aided design tool, and produces a minimal or near-minimal realization. The output also conforms to that required by HAMLET to produce a layout of a programmable logic array (PLA) integrated circuit that realized the given function. The advantage of the algorithm is that it allows backtracking to investigate alternate solutions, producing a greater expectation of minimal results. It stops upon finding a solution, thus producing results much faster than an exhaustive search of all possible solutions.
</p>
<br>Subjects: Computer logic.; Multi-Valued Logic; Minimization; PLA; Back-tracking</div>
<div class="fn value">
Watts, Alan W.</div>
Internet Archive identifier