IP Library Assignment 025955/0100
Patent Assignment
Reel/Frame 025955/0100

Assignment of Assignor's Interest

Recorded: 2011-03-15 Pages: 4
Assignors
ZHU, YUNSHAN
Executed: 2011-03-08
LU, YUAN
Executed: 2011-03-09
Assignee
NEXTOP SOFTWARE, INC.
2900 GORDON AVENUE, SUITE 100, SANTA CLARA, CALIFORNIA, 95051
Covered Property (1)
Methods for Automatically Generating Assertions
Patent: 7,926,020 →
Application: 11/672,919 →
Related Assignments (3)
Other recorded transfers of the patent in this record — the chain of ownership.
Assignment of Assignor's Interest Jan 18, 2013
From: NEXTOP SOFTWARE, INC.
To: ATRENTA, INC.
Reel/Frame 029655/0831 →
Release of Security Interest Sep 10, 2015
From: SILICON VALLEY BANK
To: ATRENTA INC.
Reel/Frame 036584/0644 →
Assignment of Assignor's Interest Sep 25, 2015
From: ATRENTA INC.
To: SYNOPSYS, INC.
Reel/Frame 036687/0290 →