Optimal and Heuristic Algorithms to Synthesize Lattices of Four-Terminal Switches
Optimal and Heuristic Algorithms to Synthesize Lattices of Four-Terminal Switches
dc.contributor.author | Morgul, M. Ceylan | |
dc.contributor.author | Altun, Mustafa | |
dc.contributor.department | Electronics and Communication Engineering | en_US |
dc.contributor.department | Elektronik ve Haberleşme Mühendisliği | tr_TR |
dc.date.accessioned | 2019-05-22T07:06:38Z | |
dc.date.available | 2019-05-22T07:06:38Z | |
dc.date.issued | 2019 | |
dc.description.abstract | In this work, we study implementation of Boolean functions with nano-crossbar arrays where each crosspoint behaves as a fourterminal switch controlled by a Boolean literal. These types of arrays are commonly called as switching lattices. We propose optimal and heuristic algorithms that minimize lattice sizes to implement a given Boolean function. The algorithms are mainly constructed on a technique that finds Boolean functions of lattices having independent inputs. This technique works recursively by using transition matrices representing columns and rows of the lattice. It performs symbolic manipulation of Boolean literals as opposed to using truth tables that allows us to successfully find Boolean functions having up to 81 variables corresponding to a 9×9-lattice. With a Boolean function of a certain sized lattice, we check if a given function can be implemented with this lattice size by defining the problem as a satisfiability problem. This process is repeated until a desired solution is found. Additionally, we fix the previously proposed algorithm that is claimed to be optimal. The fixed version guarantees optimal sizes. Finally, we perform synthesis trials on standard benchmark circuits to evaluate the proposed algorithms by considering lattice sizes and runtimes in comparison with the recently proposed three algorithms. | tr_TR |
dc.description.sponsorship | This work is supported by the EU-H2020-RISE project NANOxCOMP #691178 and the TUBITAK-Career project #113E760. | tr_TR |
dc.identifier.citation | Morgül, M. C., & Altun, M. (n.d.). Optimal and heuristic algorithms to synthesize lattices of four-terminal switches. Integration, 64, 60–70. https://doi.org/10.1016/j.vlsi.2018.08.002 | tr_TR |
dc.identifier.issn | 01679260 | |
dc.identifier.uri | http://hdl.handle.net/11527/18006 | |
dc.identifier.uri | https://doi.org/10.1016/j.vlsi.2018.08.002 | |
dc.language.iso | en | tr_TR |
dc.publisher | Elsevier | en_US |
dc.relation | Integration, the VLSI Journal | en_US |
dc.relation.ispartofseries | Synthesis and Performance Optimization of a Switching Nano-Crossbar Computer (NANOxCOMP) | en_US |
dc.subject | Nano-crossbar Arrays | en_US |
dc.subject | Switching Lattices | en_US |
dc.subject | Logic Synthesis | en_US |
dc.subject | Satisfiability | en_US |
dc.subject | Nano-crossbar Diziler | en_US |
dc.subject | Anahtarlama Kafesleri | tr_TR |
dc.subject | Mantık Sentezi | tr_TR |
dc.subject | Memnuniyet | tr_TR |
dc.title | Optimal and Heuristic Algorithms to Synthesize Lattices of Four-Terminal Switches | en_US |
dc.type | Preprint | en_US |
dc.type | Article | en_US |
Dosyalar
Orijinal seri
1 - 1 / 1
- Ad:
- Morgul_Altun_Algorithms_for_Switching_Lattices.pdf
- Boyut:
- 599.81 KB
- Format:
- Adobe Portable Document Format
- Açıklama
Lisanslı seri
1 - 1 / 1
thumbnail.default.placeholder
- Ad:
- license.txt
- Boyut:
- 3.06 KB
- Format:
- Item-specific license agreed upon to submission
- Açıklama