Inventor

SUN XIAOYANG

CN5 patents

⚠️ This page may combine multiple inventors who share the name “SUN XIAOYANG”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

JASPER DESIGN AUTOMATION

1 patent

US8381148B1Feb 19, 2013

Formal verification of deadlock property

JASPER DESIGN AUTOMATION35 citations91

Baidu online network technology beijing co ltd

1 patent

US10520326B2Dec 31, 2019

Driving route matching method and apparatus, and storage medium

Baidu online network technology beijing co ltd14 citations80

CADENCE DESIGN SYSTEMS INC

1 patent

US9633151B1Apr 25, 2017

Methods, systems, and computer program product for verifying electronic designs with clock domain crossing paths

CADENCE DESIGN SYSTEMS INC5 citations68

NINGBO SUNNY OPOTECH CO LTD

1 patent

US12353050B2Jul 8, 2025

Camera apparatus, SMA driving device and manufacturing method, driving method and wiring method thereof

NINGBO SUNNY OPOTECH CO LTD0 citations46

PEIXOTO FABIANO

1 patent

US10078714B2Sep 18, 2018

Data propagation analysis for debugging a circuit design

PEIXOTO FABIANO1 citations37