Inventor
CAMPOS PEREZ ALEXANDRE
US6 patents
Patents
6 patentsUS11163674B1Nov 2, 2021
System and method for identifying a faulty component in a spectrum ambiguity group
PALO ALTO RES CT INC4 citations71
US11249888B1Feb 15, 2022
System and method for generating counterexample tests of incidental invariants
PALO ALTO RES CT INC6 citations69
US11494537B1Nov 8, 2022
Method and system for efficient testing of digital integrated circuits
PALO ALTO RES CT INC1 citations60
US12038478B2Jul 16, 2024
Hybrid solver for integrated circuit diagnostics and testing
PALO ALTO RES CT INC0 citations50
US11520689B2Dec 6, 2022
System and method for automatic program repair using fast-result test cases
PALO ALTO RES CT INC0 citations50
US11010520B1May 18, 2021
System and method for circuit synthesis using partial boolean quantification
PALO ALTO RES CT INC0 citations49