For the Inventor, By the Inventor

Enter inventor name

David J Levitt

USPTO Granted Patents = 4 (Patent Applications = 1)

Average Co-Inventor Count = 3.5

ph-index = 2

Forward Citations = 26(Granted Patents)

Location History:

Brooklyn, NY (US) (2008 - 2009)
Haifa, IL (2013)

Company Filing History:

4 out of 164,108

International Business Machines Corporation

Years Active: 2008-2013

where 'Filed Patents' based on already Granted Patents

4 patents (USPTO):Sort by Forward Citations

Abstract keywords

1. 8489367 - Modeling a matrix for formal verification (2013-07-16),

2. 8370553 - Formal verification of random priority-based arbiters using property strengthening and underapproximations (2013-02-05),

3. 7562325 - Device to cluster Boolean functions for clock gating (2009-07-14),

4. 7458050 - Methods to cluster boolean functions for clock gating (2008-11-25),

This text is generated by artificial intelligence and may not be accurate.

Please report any incorrect information to support@idiyas.com

Loading…