MULTIPLE FOLDING OF REGULAR STRUCTURES VIA SOLVING LOGIC EQUATIONS
The problem under consideration is to reduce the area of the layout of regular VLSI structures by means of their multiple folding. The method of solving the key problem of multiple folding, which is implementability checking of the folding set, is suggested. The method is based on the task reduction...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Russian |
| Published: |
National Academy of Sciences of Belarus, the United Institute of Informatics Problems
2016-09-01
|
| Series: | Informatika |
| Online Access: | https://inf.grid.by/jour/article/view/10 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832543180609814528 |
|---|---|
| author | L. D. Cheremisinova |
| author_facet | L. D. Cheremisinova |
| author_sort | L. D. Cheremisinova |
| collection | DOAJ |
| description | The problem under consideration is to reduce the area of the layout of regular VLSI structures by means of their multiple folding. The method of solving the key problem of multiple folding, which is implementability checking of the folding set, is suggested. The method is based on the task reduction to solving a logic equation and checking Boolean satisfiability of a conjunctive normal form. |
| format | Article |
| id | doaj-art-c56323a477bd41e0b78e456e137cb469 |
| institution | Kabale University |
| issn | 1816-0301 |
| language | Russian |
| publishDate | 2016-09-01 |
| publisher | National Academy of Sciences of Belarus, the United Institute of Informatics Problems |
| record_format | Article |
| series | Informatika |
| spelling | doaj-art-c56323a477bd41e0b78e456e137cb4692025-02-03T11:51:50ZrusNational Academy of Sciences of Belarus, the United Institute of Informatics ProblemsInformatika1816-03012016-09-010180899MULTIPLE FOLDING OF REGULAR STRUCTURES VIA SOLVING LOGIC EQUATIONSL. D. Cheremisinova0Объединенный институт проблем информатики НАН БеларусиThe problem under consideration is to reduce the area of the layout of regular VLSI structures by means of their multiple folding. The method of solving the key problem of multiple folding, which is implementability checking of the folding set, is suggested. The method is based on the task reduction to solving a logic equation and checking Boolean satisfiability of a conjunctive normal form.https://inf.grid.by/jour/article/view/10 |
| spellingShingle | L. D. Cheremisinova MULTIPLE FOLDING OF REGULAR STRUCTURES VIA SOLVING LOGIC EQUATIONS Informatika |
| title | MULTIPLE FOLDING OF REGULAR STRUCTURES VIA SOLVING LOGIC EQUATIONS |
| title_full | MULTIPLE FOLDING OF REGULAR STRUCTURES VIA SOLVING LOGIC EQUATIONS |
| title_fullStr | MULTIPLE FOLDING OF REGULAR STRUCTURES VIA SOLVING LOGIC EQUATIONS |
| title_full_unstemmed | MULTIPLE FOLDING OF REGULAR STRUCTURES VIA SOLVING LOGIC EQUATIONS |
| title_short | MULTIPLE FOLDING OF REGULAR STRUCTURES VIA SOLVING LOGIC EQUATIONS |
| title_sort | multiple folding of regular structures via solving logic equations |
| url | https://inf.grid.by/jour/article/view/10 |
| work_keys_str_mv | AT ldcheremisinova multiplefoldingofregularstructuresviasolvinglogicequations |