Twig is a tool for formally reasoning about parametric circuits and
systems that are similar to parametric circuits. It utilizes
decision procedures developed specifically for this task. The
input specification language is similar to pure ML.
Acknowledgements
I would like to thank Bernd Finkbeiner, his React Group at the
University of Saarland, Andreas Podelski, and his Programming Logics
group at MPI for their hospitality, kind advice and support over the
past year.
