A system and method for SAT-sweeping is disclosed. According to one embodiment, a
method includes determining gate classes by inputting simulation patterns to gates in an …