Detail page for Debug family

Download (53599.12 Kb)
Submitter:Hratch Mangassarian
Suite:Mangassarian-Veneris
Domain:Formal Verification
Description: The Debug family consists of Design Debugging instances, which ask whether or not a certain erroneous circuit design, given a set of its failing responses, can be "fixed" by changing the functionality of one gate.
Number of instances:38
Results:
Instances: