IP Library Assignment 023636/0924
Patent Assignment
Reel/Frame 023636/0924

Assignment of Assignor's Interest

Recorded: 2009-12-10 Pages: 6
Assignors
LU, YUAN
Executed: 2009-12-07
ZHU, YUNSHAN
Executed: 2009-12-08
Assignee
NEXTOP SOFTWARE, INC.
2900 GORDON AVENUE, SUITE 100, SANTA CLARA, CALIFORNIA, 95051
Covered Property (1)
Systems and Methods for Generating Predicates and Assertions
Application: 12/634,586 →
Publication: US 2010/0088257
Related Assignments (1)
Other recorded transfers of the patent in this record — the chain of ownership.
Assignment of Assignor's Interest Sep 25, 2015
From: ATRENTA INC.
To: SYNOPSYS, INC.
Reel/Frame 036687/0290 →