University of Twente Student Theses
Improving the creation of AIGs from reactive synthesis
Heinen, Floris (2024) Improving the creation of AIGs from reactive synthesis.
|
PDF
735kB |
| Abstract: | In the SYNTCOMP competition, correct hardware independent logic networks in the form of AIGs need to be created from logic descriptions. Knor, a participating program that creates such solutions, converts during a final stage its BDD to AIG which can be optimized. In this paper multiple AIG minimization techniques are explored and benchmarked. A generally applicable AIG minimization strategy is found with the benchmarks, and the possibility of merging this with the initial creation of the AIG is discussed. |
| Item Type: | Essay (Bachelor) |
| Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
| Subject: | 54 computer science |
| Programme: | Computer Science BSc (56964) |
| Link to this item: | https://purl.utwente.nl/essays/98319 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page