The Use of Searching Algorithms for the Minimization of Multi-Valued Logic Functions
NAVAL POSTGRADUATE SCHOOL MONTEREY CA
Pagination or Media Count:
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.
- Computer Programming and Software