Acknowledgments

The fiction framework is academic software that would not have been possible without the support of extraordinary people. We would like to seize the opportunity to express our gratitude towards them.

First of all, we would like to thank our co-authors for countless helpful discussions and support with this framework. Its architecture is heavily based upon the EPFL Logic Synthesis Libraries. Therefore, we thank the authors for their inspiring work and especially Mathias Soeken for letting us use parts of his code and for his patience answering dozens of our technical questions.

Also, we thank Sophia Kuhn for implementing the SVG export and for reporting troublesome bugs, Mario Kneidinger for code contributions, setting up the Dockerfile and corresponding documentation, pointing out the Visual Studio resources and documentation inconsistencies on our side, Till Schlechtweg for reporting bugs, and Fabrizio Riente for pointing out compiler issues under certain platforms. We thank Umberto Garlando who traveled hundreds of kilometers to discuss his work with us, and without whom, the iNML implementation would not have been possible. On the same note, we like to express our gratitude towards Samuel Sze Hang Ng who substantially contributed to the SiDB implementation with his insightful remarks and his support. Many thanks also go to Willem Lambooy for the inspiration and collaboration on stacked QCA and the respective implementation. Also, we thank Alan Mishchenko for sharing his knowledge about incremental satisfiability solving with us, and Nikolaj Bjorner for implementing our feature requests into the Z3 solver.

Finally, we thank the committee of the ISVLSI 2019 for decorating fiction with the Best Research Demo Award. A press release (in German) is available.