52 citations · 103 across the 25 of their papers we have counts for
1 paper · 1 filter
Eugene Goldberg, Mitesh Jain, Panagiotis Manolios
We introduce an algorithm for detection of bugs in sequential circuits. This algorithm is incomplete i.e. its failure to find a bug breaking a property P does not imply that P hold…