Abstract: We introduce the translation algorithms that support the combination of semiformal graphical representations with formal notations in the Harmony environment for software specification.

Abstract: In this paper, we present Majority-Inverter Graph (MIG), a novel logic representation structure for efficient optimization of Boolean functions. An MIG is a directed acyclic graph consisting ...