SPIDERS: Swift prime implicant derivation through exhaustive rotation and sort

Abstract

This paper introduces a software tool named SPIDERS which uses a novel iterative algorithm to derive prime implicants from logic functions. The algorithm takes the logic function as a list of binary numbers indicating the minterms to be disjointed. The numbers are first sorted using a special sorting algorithm with a time complexity of order O(n). Then they are rotated and sorted again in each iteration. Thus, the ith iteration of the algorithm places minterms differing only in the ith literal in successive locations of the list. By doing so, prime implicants appear as consecutive blocks of numbers in the list. The SPIDERS algorithm exhaustively derives all prime implicant from the input function during a number of iterations which is equal to the number of logic variables.

A New Case for Image Compression Using Logic Function Minimization

“…In this algorithm, segments of the image are first converted to hypothetical logic expressions and the expressions are simplified using standard methods (Simplifying logic function has been the topic for a lot of research in recent years [2,6]. There are many methods in the literature which have been proposed for this purpose.…”