Yann Antonioli

Follow

Person

Mountain View, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Indexing behaviors and recipes of a circuit design
- Patent number 8,831,925
- Issue date Sep 9, 2014
- Jasper Design Automation, Inc.
- Kathryn Drews Kranen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Indexing behaviors and recipes of a circuit design
- Patent number 8,731,894
- Issue date May 20, 2014
- Jasper Design Automation, Inc.
- Kathryn Drews Kranen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Comprehending a circuit design
- Patent number 8,527,911
- Issue date Sep 3, 2013
- Jasper Design Automation, Inc.
- Kathryn Drews Kranen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Comprehending a circuit design
- Patent number 8,458,621
- Issue date Jun 4, 2013
- Jasper Design Automation, Inc.
- Kathryn Drews Kranen
Information Patent Grant
Meaningful visualization of properties independent of a circuit design
- Patent number 7,421,668
- Issue date Sep 2, 2008
- Jasper Design Automation, Inc.
- Chung-Wah N. Ip
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for measuring progress for formal verification of...
- Patent number 7,412,674
- Issue date Aug 12, 2008
- Jasper Design Automation
- Vigyan Singhal
- G06 - COMPUTING CALCULATING COUNTING