Inventor · disambiguated record

Naiyong Jin

Also filed as: JIN NAIYONG

3 granted patents·2 citations·filing 2012–2020

50Inventor score

Technology areasG06F

Files withSYNOPSYS INC3

Top patents by PatentIndex Score

3 records

0158US9390208B2Formal verification of temporal properties expressed using local variablesSYNOPSYS INC·Filed 2013·Granted Jul 12, 2016·2 cites·17 claims
0247US11556676B2Scalable formal security verification of circuit designsSYNOPSYS INC·Filed 2020·Granted Jan 17, 2023·0 cites·20 claims
0343US9633154B2Sequential structure extraction by functional specificationSYNOPSYS INC·Filed 2012·Granted Apr 25, 2017·0 cites·20 claims

Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →