Inventor · disambiguated record
Bradley Donald Bingham
Also filed as: BINGHAM BRADLEY D · BINGHAM BRADLEY DONALD
9 granted patents·1 pending application·9 citations·filing 2019–2023
78Inventor score
Files withIBM10
Top patents by PatentIndex Score
10 records- 0194US11150298B1Converting formal verification testbench drivers with nondeterministic inputs to simulation monitorsIBM·Filed 2020·Granted Oct 19, 2021·5 cites·20 claims
- 0288US10970444B1Methods and systems to verify correctness of bug fixes in integrated circuitsIBM·Filed 2020·Granted Apr 6, 2021·4 cites·20 claims
- 0371US11675009B2Converting formal verification testbench drivers with nondeterministic inputs to simulation monitorsIBM·Filed 2021·Granted Jun 13, 2023·0 cites·20 claims
- 0456US11740872B2Detection of unintended dependencies in hardware designs with pseudo-random number generatorsIBM·Filed 2020·Granted Aug 29, 2023·0 cites·20 claims
- 0553US2024419880A1Scalable-logic coverage evaluation of verification testbenchesIBM·Filed 2023·Application pending·0 cites
- 0651US11200361B1Scalable model checking in functional verification by integrating user-guided abstractionIBM·Filed 2020·Granted Dec 14, 2021·0 cites·20 claims
- 0746US11853195B2Methods and systems to discover special outcomes in an instruction set architecture via formal methodsIBM·Filed 2021·Granted Dec 26, 2023·0 cites·20 claims
- 0844US12405826B2Reservation mechanism for nodes with phase constraintsIBM·Filed 2021·Granted Sep 2, 2025·0 cites·17 claims
- 0944US12265850B2Reservation mechanism for node with token constraints for preventing node starvation in a circular topology networkIBM·Filed 2021·Granted Apr 1, 2025·0 cites·20 claims
- 1041US11481534B2Trace-based generation of states within a systemIBM·Filed 2019·Granted Oct 25, 2022·0 cites·20 claims
Join the waitlist — get patent alerts
Get an alert when Bradley Donald Bingham files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →