Smart minterm ordering and accumulation approach for insignificant function minimization
Previously finding prime implicants based on off-cubes was explored as an approach to minimize insignificant logic functions which include minterms both easy and difficult to cover. Off-cube based function minimization falls short in certain functions and may not yield/produce the accurate results....
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Elsevier
2021-03-01
|
| Series: | Ain Shams Engineering Journal |
| Subjects: | |
| Online Access: | http://www.sciencedirect.com/science/article/pii/S2090447920300873 |
| _version_ | 1819099284013842432 |
|---|---|
| author | Fatih Başçiftçi Hakan Akar |
| author_facet | Fatih Başçiftçi Hakan Akar |
| author_sort | Fatih Başçiftçi |
| collection | DOAJ |
| description | Previously finding prime implicants based on off-cubes was explored as an approach to minimize insignificant logic functions which include minterms both easy and difficult to cover. Off-cube based function minimization falls short in certain functions and may not yield/produce the accurate results. In this study, a new method of minimizing insignificant logic functions that includes smart minterm ordering according to their contiguity is proposed. In the proposed method, minterms are ordered from easy to difficult in terms of covering. This kind of a smart ordering helps minimization algorithms to quickly cover easy minterms and decrease the complexity of remaining function. A new accumulation approach is also developed and employed for the minimization of complicated functions. The use of the new accumulation approach in the study made it possible to reach more precise results. When it is impossible to determine exact prime implicants, the developed algorithm accumulates minterm and its corresponding implicants in a suspended state (SS) and reconsiders covering them later. Both the theory and practice of accumulation approach for the minimization of minterms is presented. Standard MCNC benchmarks are simplified with both the proposed method and with the two level simplification program ESPRESSO. The comparative analysis of the results revealed that the proposed method finds exact minimum results using less time and memory than ESPRESSO. |
| first_indexed | 2024-12-22T00:44:26Z |
| format | Article |
| id | doaj.art-43cf86908f92440ca42493cfc3e7dd33 |
| institution | Directory Open Access Journal |
| issn | 2090-4479 |
| language | English |
| last_indexed | 2024-12-22T00:44:26Z |
| publishDate | 2021-03-01 |
| publisher | Elsevier |
| record_format | Article |
| series | Ain Shams Engineering Journal |
| spelling | doaj.art-43cf86908f92440ca42493cfc3e7dd332022-12-21T18:44:35ZengElsevierAin Shams Engineering Journal2090-44792021-03-01121729737Smart minterm ordering and accumulation approach for insignificant function minimizationFatih Başçiftçi0Hakan Akar1Department of Computer Engineering, Technology Faculty, Selçuk University, TurkeyInstitude of Graduate Education, Konya Technical University, Konya, TURKEY; Corresponding author at: Mollayusuf mh. 1448 sk. No:7E/2 Konyaaltı, Antalya, Turkey.Previously finding prime implicants based on off-cubes was explored as an approach to minimize insignificant logic functions which include minterms both easy and difficult to cover. Off-cube based function minimization falls short in certain functions and may not yield/produce the accurate results. In this study, a new method of minimizing insignificant logic functions that includes smart minterm ordering according to their contiguity is proposed. In the proposed method, minterms are ordered from easy to difficult in terms of covering. This kind of a smart ordering helps minimization algorithms to quickly cover easy minterms and decrease the complexity of remaining function. A new accumulation approach is also developed and employed for the minimization of complicated functions. The use of the new accumulation approach in the study made it possible to reach more precise results. When it is impossible to determine exact prime implicants, the developed algorithm accumulates minterm and its corresponding implicants in a suspended state (SS) and reconsiders covering them later. Both the theory and practice of accumulation approach for the minimization of minterms is presented. Standard MCNC benchmarks are simplified with both the proposed method and with the two level simplification program ESPRESSO. The comparative analysis of the results revealed that the proposed method finds exact minimum results using less time and memory than ESPRESSO.http://www.sciencedirect.com/science/article/pii/S2090447920300873Insignificant logic functionsLogicLogic minimizationLogic synthesisTwo-level logic simplificationDirect cover |
| spellingShingle | Fatih Başçiftçi Hakan Akar Smart minterm ordering and accumulation approach for insignificant function minimization Ain Shams Engineering Journal Insignificant logic functions Logic Logic minimization Logic synthesis Two-level logic simplification Direct cover |
| title | Smart minterm ordering and accumulation approach for insignificant function minimization |
| title_full | Smart minterm ordering and accumulation approach for insignificant function minimization |
| title_fullStr | Smart minterm ordering and accumulation approach for insignificant function minimization |
| title_full_unstemmed | Smart minterm ordering and accumulation approach for insignificant function minimization |
| title_short | Smart minterm ordering and accumulation approach for insignificant function minimization |
| title_sort | smart minterm ordering and accumulation approach for insignificant function minimization |
| topic | Insignificant logic functions Logic Logic minimization Logic synthesis Two-level logic simplification Direct cover |
| url | http://www.sciencedirect.com/science/article/pii/S2090447920300873 |
| work_keys_str_mv | AT fatihbasciftci smartmintermorderingandaccumulationapproachforinsignificantfunctionminimization AT hakanakar smartmintermorderingandaccumulationapproachforinsignificantfunctionminimization |