University of Twente Student Theses
As of Friday, 8 August 2025, the current Student Theses repository is no longer available for thesis uploads. A new Student Theses repository will be available starting Friday, 15 August 2025.
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