Iain Singleton

Person

Hemel Hempstead, GB

People

Patents Grantslast 30 patents

Information Patent Grant
Detecting out-of-bounds violations in a hardware design using forma...
- Patent number 12,093,621
- Issue date Sep 17, 2024
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Livelock detection in a hardware design using formal evaluation logic
- Patent number 12,050,849
- Issue date Jul 30, 2024
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal verification tool to verify hardware design of memory unit
- Patent number 11,948,652
- Issue date Apr 2, 2024
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Livelock recovery circuit for detecting illegal repetition of an in...
- Patent number 11,847,456
- Issue date Dec 19, 2023
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Detecting out-of-bounds violations in a hardware design using forma...
- Patent number 11,663,386
- Issue date May 30, 2023
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Out-of-bounds recovery circuit
- Patent number 11,593,193
- Issue date Feb 28, 2023
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Assessing performance of a hardware design using formal evaluation...
- Patent number 11,531,799
- Issue date Dec 20, 2022
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Livelock recovery circuit for detecting illegal repetition of an in...
- Patent number 11,467,840
- Issue date Oct 11, 2022
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Livelock detection in a hardware design using formal evaluation logic
- Patent number 11,373,025
- Issue date Jun 28, 2022
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Detecting out-of-bounds violations in a hardware design using forma...
- Patent number 11,250,192
- Issue date Feb 15, 2022
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal verification tool to verify hardware design of memory unit
- Patent number 11,250,927
- Issue date Feb 15, 2022
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Out-of-bounds recovery circuit
- Patent number 11,030,039
- Issue date Jun 8, 2021
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Assessing performance of a hardware design using formal evaluation...
- Patent number 10,963,611
- Issue date Mar 30, 2021
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Detecting out-of-bounds violations in a hardware design using forma...
- Patent number 10,936,775
- Issue date Mar 2, 2021
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Livelock detection in a hardware design using formal evaluation logic
- Patent number 10,909,289
- Issue date Feb 2, 2021
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Out-of-bounds recovery circuit
- Patent number 10,817,367
- Issue date Oct 27, 2020
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Detecting out-of-bounds violations in a hardware design using forma...
- Patent number 10,755,011
- Issue date Aug 25, 2020
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hardware monitor to verify memory units
- Patent number 10,580,511
- Issue date Mar 3, 2020
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Livelock recovery circuit configured to detect illegal repetition o...
- Patent number 10,552,155
- Issue date Feb 4, 2020
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dynamic power measurement using formal
- Patent number 10,359,825
- Issue date Jul 23, 2019
- Imagination Technologies Limited
- Iain Singleton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Livelock detection in a hardware design using formal evaluation logic
- Patent number 10,346,571
- Issue date Jul 9, 2019
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Assessing performance of a hardware design using formal evaluation...
- Patent number 10,331,831
- Issue date Jun 25, 2019
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Arbiter verification
- Patent number 10,210,119
- Issue date Feb 19, 2019
- Imagination Technologies Limited
- Iain Singleton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Arbiter verification
- Patent number 9,626,465
- Issue date Apr 18, 2017
- Imagination Technologies Limited
- Iain Singleton
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
DETECTING OUT-OF-BOUNDS VIOLATIONS IN A HARDWARE DESIGN USING FORMA...
- Publication number 20240411972
- Publication date Dec 12, 2024
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LIVELOCK DETECTION IN A HARDWARE DESIGN USING FORMAL EVALUATION LOGIC
- Publication number 20240330553
- Publication date Oct 3, 2024
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETECTING OUT-OF-BOUNDS VIOLATIONS IN A HARDWARE DESIGN USING FORMA...
- Publication number 20240020447
- Publication date Jan 18, 2024
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
OUT-OF-BOUNDS RECOVERY CIRCUIT
- Publication number 20230205621
- Publication date Jun 29, 2023
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ASSESSING PERFORMANCE OF A HARDWARE DESIGN USING FORMAL EVALUATION...
- Publication number 20230094774
- Publication date Mar 30, 2023
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LIVELOCK RECOVERY CIRCUIT FOR DETECTING ILLEGAL REPETITION OF AN IN...
- Publication number 20230033403
- Publication date Feb 2, 2023
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Livelock Detection in a Hardware Design Using Formal Evaluation Logic
- Publication number 20220277124
- Publication date Sep 1, 2022
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FORMAL VERIFICATION TOOL TO VERIFY HARDWARE DESIGN OF MEMORY UNIT
- Publication number 20220139480
- Publication date May 5, 2022
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETECTING OUT-OF-BOUNDS VIOLATIONS IN A HARDWARE DESIGN USING FORMA...
- Publication number 20220138389
- Publication date May 5, 2022
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
OUT-OF-BOUNDS RECOVERY CIRCUIT
- Publication number 20210294690
- Publication date Sep 23, 2021
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ASSESSING PERFORMANCE OF A HARDWARE DESIGN USING FORMAL EVALUATION...
- Publication number 20210182463
- Publication date Jun 17, 2021
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETECTING OUT-OF-BOUNDS VIOLATIONS IN A HARDWARE DESIGN USING FORMA...
- Publication number 20210165942
- Publication date Jun 3, 2021
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Livelock Detection in a Hardware Design Using Formal Evaluation Logic
- Publication number 20210117602
- Publication date Apr 22, 2021
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
OUT-OF-BOUNDS RECOVERY CIRCUIT
- Publication number 20210004287
- Publication date Jan 7, 2021
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETECTING OUT-OF-BOUNDS VIOLATIONS IN A HARDWARE DESIGN USING FORMA...
- Publication number 20200349313
- Publication date Nov 5, 2020
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FORMAL VERIFICATION TOOL TO VERIFY HARDWARE DESIGN OF MEMORY UNIT
- Publication number 20200185051
- Publication date Jun 11, 2020
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LIVELOCK RECOVERY CIRCUIT FOR DETECTING ILLEGAL REPETITION OF AN IN...
- Publication number 20200150964
- Publication date May 14, 2020
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Assessing Performance of a Hardware Design Using Formal Evaluation...
- Publication number 20190272349
- Publication date Sep 5, 2019
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Livelock Detection in a Hardware Design Using Formal Evaluation Logic
- Publication number 20190272350
- Publication date Sep 5, 2019
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Out-of-Bounds Recovery Circuit
- Publication number 20180107537
- Publication date Apr 19, 2018
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Detecting Out-of-Bounds Violations in a Hardware Design Using Forma...
- Publication number 20180107765
- Publication date Apr 19, 2018
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Livelock Detection in a Hardware Design Using Formal Evaluation Logic
- Publication number 20170364609
- Publication date Dec 21, 2017
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Livelock Recovery Circuit
- Publication number 20170364363
- Publication date Dec 21, 2017
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Assessing Performance of a Hardware Design Using Formal Evaluation...
- Publication number 20170344668
- Publication date Nov 30, 2017
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Dynamic Power Measurement Using Formal
- Publication number 20170205864
- Publication date Jul 20, 2017
- Imagination Technologies Limited
- Iain Singleton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Arbiter Verification
- Publication number 20170177521
- Publication date Jun 22, 2017
- Imagination Technologies Limited
- Iain Singleton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Hardware Monitor to Verify Memory Units
- Publication number 20170133104
- Publication date May 11, 2017
- Imagination Technologies Limited
- Ashish Darbari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Arbiter Verification
- Publication number 20160210381
- Publication date Jul 21, 2016
- Imagination Technologies Limited
- Iain Singleton
- G06 - COMPUTING CALCULATING COUNTING

Iain Singleton

Person

Patents Grantslast 30 patents

Detecting out-of-bounds violations in a hardware design using forma...

Livelock detection in a hardware design using formal evaluation logic

Formal verification tool to verify hardware design of memory unit

Livelock recovery circuit for detecting illegal repetition of an in...

Detecting out-of-bounds violations in a hardware design using forma...

Out-of-bounds recovery circuit

Assessing performance of a hardware design using formal evaluation...

Livelock recovery circuit for detecting illegal repetition of an in...

Livelock detection in a hardware design using formal evaluation logic

Detecting out-of-bounds violations in a hardware design using forma...

Formal verification tool to verify hardware design of memory unit

Out-of-bounds recovery circuit

Assessing performance of a hardware design using formal evaluation...

Detecting out-of-bounds violations in a hardware design using forma...

Livelock detection in a hardware design using formal evaluation logic

Out-of-bounds recovery circuit

Detecting out-of-bounds violations in a hardware design using forma...

Hardware monitor to verify memory units

Livelock recovery circuit configured to detect illegal repetition o...

Dynamic power measurement using formal

Livelock detection in a hardware design using formal evaluation logic

Assessing performance of a hardware design using formal evaluation...

Arbiter verification

Arbiter verification

Patents Applicationslast 30 patents

DETECTING OUT-OF-BOUNDS VIOLATIONS IN A HARDWARE DESIGN USING FORMA...

LIVELOCK DETECTION IN A HARDWARE DESIGN USING FORMAL EVALUATION LOGIC

DETECTING OUT-OF-BOUNDS VIOLATIONS IN A HARDWARE DESIGN USING FORMA...

OUT-OF-BOUNDS RECOVERY CIRCUIT

ASSESSING PERFORMANCE OF A HARDWARE DESIGN USING FORMAL EVALUATION...

LIVELOCK RECOVERY CIRCUIT FOR DETECTING ILLEGAL REPETITION OF AN IN...

Livelock Detection in a Hardware Design Using Formal Evaluation Logic

FORMAL VERIFICATION TOOL TO VERIFY HARDWARE DESIGN OF MEMORY UNIT

DETECTING OUT-OF-BOUNDS VIOLATIONS IN A HARDWARE DESIGN USING FORMA...

OUT-OF-BOUNDS RECOVERY CIRCUIT

ASSESSING PERFORMANCE OF A HARDWARE DESIGN USING FORMAL EVALUATION...

DETECTING OUT-OF-BOUNDS VIOLATIONS IN A HARDWARE DESIGN USING FORMA...

Livelock Detection in a Hardware Design Using Formal Evaluation Logic

OUT-OF-BOUNDS RECOVERY CIRCUIT

DETECTING OUT-OF-BOUNDS VIOLATIONS IN A HARDWARE DESIGN USING FORMA...

FORMAL VERIFICATION TOOL TO VERIFY HARDWARE DESIGN OF MEMORY UNIT

LIVELOCK RECOVERY CIRCUIT FOR DETECTING ILLEGAL REPETITION OF AN IN...

Assessing Performance of a Hardware Design Using Formal Evaluation...

Livelock Detection in a Hardware Design Using Formal Evaluation Logic

Out-of-Bounds Recovery Circuit

Detecting Out-of-Bounds Violations in a Hardware Design Using Forma...

Livelock Detection in a Hardware Design Using Formal Evaluation Logic

Livelock Recovery Circuit

Assessing Performance of a Hardware Design Using Formal Evaluation...

Dynamic Power Measurement Using Formal

Arbiter Verification

Hardware Monitor to Verify Memory Units

Arbiter Verification