KARMA: A Didactic Tool for Two-Level Logic Synthesis

This paper presents a didactic tool for two-level logic synthesis called KARMA (KARnaugh MAps). The tool helps users that are having their first contact with two-level logic synthesis to acquire a better understanding of associated concepts; such as Boolean functions, truth- tables, equations, Karnaugh maps, cubes, minterms, prime implicants, etc. The tool has a solution mode to run Quine-McCluskey's algorithm to get minimum equations, and a teaching mode where the user can practice his knowledge through exercises.