Inventor
BINGHAM BRADLEY DONALD
US8 patents
Patents
8 patentsUS11150298B1Oct 19, 2021
Converting formal verification testbench drivers with nondeterministic inputs to simulation monitors
IBM5 citations71
US10970444B1Apr 6, 2021
Methods and systems to verify correctness of bug fixes in integrated circuits
IBM4 citations66
US11740872B2Aug 29, 2023
Detection of unintended dependencies in hardware designs with pseudo-random number generators
IBM0 citations62
US11675009B2Jun 13, 2023
Converting formal verification testbench drivers with nondeterministic inputs to simulation monitors
IBM0 citations60
US12405826B2Sep 2, 2025
Reservation mechanism for nodes with phase constraints
IBM0 citations47
US12265850B2Apr 1, 2025
Reservation mechanism for node with token constraints for preventing node starvation in a circular topology network
IBM0 citations47
US11853195B2Dec 26, 2023
Methods and systems to discover special outcomes in an instruction set architecture via formal methods
IBM0 citations45
US11200361B1Dec 14, 2021
Scalable model checking in functional verification by integrating user-guided abstraction
IBM0 citations44