To install run pip install ..
$ fsyn -h
usage: FSYN - Formal SYNthesis [-h] {run,list} ...
Reduce Netlists
positional arguments:
{run,list} sub-command help
run run the property synthesis
list list all configurations
options:
-h, --help show this help message and exit
@inproceedings{GKB:2024,
author = {Daniel Gro{\ss}e and Lucas Klemmer and Dominik Bonora},
title = {Using Formal Verification Methods for Optimization of Circuits under External Constraints},
booktitle = {Design, Automation and Test in Europe Conference (DATE)},
pages = {1--6},
year = 2024,
url = {https://ics.jku.at/files/2024DATE_FSYN.pdf},
doi = {10.23919/DATE58400.2024.10546556}
}
@inproceedings{KBG:2023,
author = {Lucas Klemmer and Dominik Bonora and Daniel Gro{\ss}e},
title = {Large-scale Gatelevel Optimization Leveraging Property Checking},
booktitle = {IEEE Design and Verification Conference and Exhibition Europe (IEEE DVCon Europe)},
pages = {86--93},
year = 2023,
url = {https://ics.jku.at/files/2023DVConEurope_PSYN.pdf}
}