Inventors:
Jacob Abraham - Austin TX, US
Vivekananda Vedula - Austin TX, US
International Classification:
G06F011/00, G06F017/50
Abstract:
Apparatus and systems, as well as methods and articles, may perform operations including selecting a monitor associated with a property of a circuit module, augmenting the circuit module with the monitor to provide an augmented circuit, searching for a test for an output of the augmented circuit to find a sequence of states having a length up to n, establishing a witness to the property if the test is found, and if no test is found to exist within the sequence of states, determining the property to be invalid or false for a bound of n.