Abstract: We propose Lyapunov functions for the set stability of Boolean networks (BNs) and control Lyapunov functions for the feedback set stabilization and the synchronization of Boolean control ...
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, ...