The integrated software package is composed of specialized modules unified by purpose, type of visualization, internal data structure, and input/exchange/output formats (Espresso, Espresso-MV, KISS, BLIF, etc.). Unlike those tools, which make it difficult to trace internal data flow in a system, this software is conceptually open. The attempt is made to allow the user to follow all the intermediary stages of synthesis. As a result, these tools are good to illustrate basic principles of logic synthesis and efficient as a test bench for new algorithms. For example, in many modules, both primary and intermediate Boolean functions can be viewed in several forms - as Karnaugh maps, Binary Decision Diagrams (BDDs), networks of gates, boolean equations, or Espresso files.
The links to executables are regularly updated as versions with new functionality and bug-fixes are released. Currently, a unified help system is not supported. For a brief description of how to use this software follow the link to User Information.