This package links CUDD, a powerful BDD package, with Python. Check here for details and software release. Current release is available here . For SIS, current release is available here . This package exposes the DB subpackage to the scripting languages for UCLApack .
Current release is available here .
Dynamic Scripting Language Translation Turn a tool's weird scripting language into your favorite one. Check here for more details. All you have to do is just compiling the executable once and use it forever. ScriptVlog will link the C level functions and embed a scripting language interpreter into the verilog executable. Current release is available here .