Tools from Berkeley. Synthesis of both synchronous and asynchronous sequential circuits. This version has been patched to compile with GCC 4.8.x