Abstract: Logic function decomposition is critical to logic synthesis. In this paper, we propose an integrated logic function decomposition flow, which consists of disjoint support decomposition, ...
Abstract: We propose a two-stage exact approach for identifying finite-state models of function blocks based on given execution traces. First, a base finite-state model is inferred with a method based ...