Patents

1. Clock verification, Ashish Darbari, UK Patent issued on 11 August 2015.
2. Hardware data structure for tracking ordered transactions, Ashish Darbari, UK Patent issued on 24 February 2016.
3. Hardware data structure for tracking partially ordered and reordered transactions, Ashish Darbari, UK Patent issued on 24 February 2016.
4. Deadlock detection using assertions, Ashish Darbari, Colin Mckellar, UK patent issued on 13 April 2016.
5. Arbiter verification, Iain Singleton, Ashish Darbari, Alex Netterville, UK Patent issued on 11 May 2016.
6. Hardware data structure for tracking ordered transactions, Ashish Darbari, UK (Design) Patent issued on 13 July 2016.
7. Hardware data structure for tracking partially ordered and reordered transactions, Ashish Darbari, UK (Design) Patent issued on 13 July 2016.
8. Hardware data structure for tracking ordered transactions, Ashish Darbari, US Patent issued on 13 December 2016.
9. Clock verification, Ashish Darbari, US Patent issued on 7 February 2017.