Tarski: A toolkit for the Theory of Equality

What Is Tarski

Increasing complexity in the design and verification of complex hardware and software systems has led to modeling and verification of systems at a higher level of abstraction. Higher level abstract models enable designers to work through architectural issues before committing to a low level implementation and also allow verification engineers to verify correct operation at the level at which design was conceived. Tarski is a tool for modeling and verifying hardware and software systems expressible in the logic of equality

Download

Tarski.1.0 (click on the version number to download)

Unix Installation Instructions

• You must use GNU make to build Tarski
• Tarski uses SWIG to setup the Tcl interface. You need to download and install SWIG to build Tarski
• You need to install Tcl 8.4 to build and run Tarski
• You need to download and install Graphviz to visualize Netlists created by Tarski

User Documentation

User manual for Tarski is available here

Programmer Documentation

Extensive programmer documentation generated using doxygen is available for Tarski

Contact

Please send all inquires/comments to the following email address

mony AT ece.utexas DOT edu