Inventor
JIN NAIYONG
CN3 patents
Patents
3 patentsUS9390208B2Jul 12, 2016
Formal verification of temporal properties expressed using local variables
SYNOPSYS INC2 citations51
US11556676B2Jan 17, 2023
Scalable formal security verification of circuit designs
SYNOPSYS INC0 citations47
US9633154B2Apr 25, 2017
Sequential structure extraction by functional specification
SYNOPSYS INC0 citations47