For the Inventor, By the Inventor

Enter inventor name

Dachau, Germany

Alfred Koelbl

USPTO Granted Patents = 13

Average Co-Inventor Count = 2.1

ph-index = 5

Forward Citations = 48(Granted Patents)

Location History:

Dachau, DE (2007 - 2013)
Hillsboro, OR (US) (2020 - 2023)

Company Filing History:

12 out of 2,490

Synopsis Incorporated

Years Active: 2007-2023

Loading Chart...

13 patents (USPTO):Sort by Forward CitationsExplore Patents

1. 11556676 - Scalable formal security verification of circuit designs (2023-01-17),

2. 10592624 - Efficient mechanism of fault qualification using formal verification (2020-03-17),

3. 8589836 - Formally checking equivalence using equivalence relationships (2013-11-19),

4. 8201119 - Formal equivalence checking between two models of a circuit design using checkpoints (2012-06-12),

5. 8079000 - Method and apparatus for performing formal verification using data-flow graphs (2011-12-13),

6. 8001500 - Method and apparatus for formally checking equivalence using equivalence relationships (2011-08-16),

7. 7836414 - Formally proving the functional equivalence of pipelined designs containing memories (2010-11-16),

8. 7523423 - Method and apparatus for production of data-flow-graphs by symbolic simulation (2009-04-21),

9. 7509604 - Method and apparatus for formally comparing stream-based designs (2009-03-24),

10. 7509599 - Method and apparatus for performing formal verification using data-flow graphs (2009-03-24),

11. 7389479 - Formally proving the functional equivalence of pipelined designs containing memories (2008-06-17),

12. 7386820 - Method and apparatus for formally checking equivalence using equivalence relationships (2008-06-10),

13. 7260800 - Method and apparatus for initial state extraction (2007-08-21),

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

Please report any incorrect information to support@idiyas.com

Loading…