Mit Karma können Sie verschiedenste Tools nutzen, die im Bereich der digitalen Schaltungen eine Hilfe sind. Dazu gehört das Minimieren von digitalen Schaltungen. Programmiert wird Karma in Java von einem Team an den Nangate UFRGS Research Lab. Siehe auch Wikipedia

Ein Beispiel für die Verwendung finden Sie in der Dokumentation zur Simulation eines Würfels .

Da Karma auf der Homepage nicht mehr zu finden ist, stelle ich es in der Download Section zur Verfügung

Eine neuere Version von Karma finden Sie hier