For the Inventor, By the Inventor

Enter inventor name

Shanghai, China

Naiyong Jin

USPTO Granted Patents = 3

Average Co-Inventor Count = 2.6

ph-index = 1

Forward Citations = 2(Granted Patents)

Location History:

Shanghai, CN (2016 - 2017)
Marlborough, MA (US) (2023)

Company Filing History:

Years Active: 2016-2023

Loading Chart...

3 patents (USPTO):Sort by Forward CitationsExplore Patents

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

2. 9633154 - Sequential structure extraction by functional specification (2017-04-25),

3. 9390208 - Formal verification of temporal properties expressed using local variables (2016-07-12),

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

Please report any incorrect information to support@idiyas.com

Loading…