TY - GEN

T1 - SPIDERS

T2 - 2010 International Conference on Networking and Information Technology, ICNIT 2010

AU - Sheidaeian, Hamed

AU - Zolfaghari, Behrouz

AU - Mozaffari, Saadat Pour

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

KW - Index sorting

KW - Logic function minimization

UR - http://www.scopus.com/inward/record.url?scp=77955614677&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77955614677&partnerID=8YFLogxK

U2 - 10.1109/ICNIT.2010.5508566

DO - 10.1109/ICNIT.2010.5508566

M3 - Conference contribution

AN - SCOPUS:77955614677

SN - 9781424475773

T3 - ICNIT 2010 - 2010 International Conference on Networking and Information Technology

SP - 24

EP - 28

BT - ICNIT 2010 - 2010 International Conference on Networking and Information Technology

Y2 - 11 June 2010 through 12 June 2010

ER -