Essential Prime Identification Algorithm for Large Variable Multi-output Logic Functions
Liu Wei-fu · Jisuanji gongcheng · 2007
This paper analyzes algorithm of Espresso.Based on judging macrocosm,it presents an algorithm of identification about multi-input multi-output logic functions essential primes and complete redundancies and relative redundancies.It calculates cofactor of multi-input multi-output logic functions to judge macrocosm,identifies essential primes and complete redundancies and relative redundancies according by result of judging macrocosm,then forms club of essential primes and complete redundancies and relative redundancies.It completes optimization identification software design of multi-input multi-output logic functions about two-level SOP.It is confined that the max-input variables are 128,the max-output variables are 256,the sum of max-input-output variables are 300,the max-input products are 20 000,and it successfully overpasses testing of Benchmark based on computer of Pentium 1.8GHz and 512MB memory.