Method and apparatus for mutation coverage testing with incremental sat queries

Abstract

A solution for performing incremental mutation coverage testing is disclosed. The solution can identify, for a cycle of a test, a first signal not covered during preceding cycles of the test and select, for the current cycle, a first value for the first signal. The solution can, responsive to the first value, determine whether the first signal is covered by the test in the current cycle and identify whether a first assertion not covered during the one or more preceding cycles is covered in the current cycle. The solution can remove the first signal from a list of signals if it determines that it is not covered by the test and remove the first assertion from a list of assertions if the first assertion is determined to be covered. The system can identify, for a next cycle, a second signal from the updated one or more signals for the circuit.