Assignee
FENG XIUSHAN
US4 patents
Top patents by PatentIndex Score
US9002694B2Apr 7, 2015
Verification of design derived from power intent
FENG XIUSHAN4 citations69
US8555226B1Oct 8, 2013
Automatic verification of dependency
FENG XIUSHAN1 citations48
US8584063B1Nov 12, 2013
Assertion-based design partitioning
FENG XIUSHAN1 citations42
US9069762B2Jun 30, 2015
Equivalence classes over parameter state space
FENG XIUSHAN0 citations30