Patent Assignment
Reel/Frame 029655/0831
Assignment of Assignor's Interest
Recorded: 2013-01-18
Pages: 5
Assignor
NEXTOP SOFTWARE, INC.
Executed: 2013-01-17
Assignee
ATRENTA, INC.
2077 GATEWAY PLACE,, SUITE 300, SAN JOSE, CALIFORNIA, 95110
Covered Properties
(2)
Methods for Automatically Generating Assertions
Patent:
7,926,020 →
Application:
11/672,919 →
Systems and Methods for Generating Predicates and Assertions
Patent:
8,326,778 →
Application:
12/649,144 →
Related Assignments
(4)
Other recorded transfers of the patents in this record — the chain of ownership.
Assignment of Assignor's Interest
Dec 29, 2009
From: LU, YUAN; ZHU, YUNSHAN
To: NEXTOP SOFTWARE, INC.
Reel/Frame 023715/0250 →
Assignment of Assignor's Interest
Mar 15, 2011
From: ZHU, YUNSHAN; LU, YUAN
To: NEXTOP SOFTWARE, INC.
Reel/Frame 025955/0100 →
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 →