IP Library Assignment 023382/0217
Patent Assignment
Reel/Frame 023382/0217

Assignment of Assignor's Interest

Recorded: 2009-10-16 Pages: 7
Assignors
BAUMGARTNER, JASON R.
Executed: 2009-10-14
CASE, MICHAEL L.
Executed: 2009-10-14
MONY, HARI
Executed: 2009-10-14
SAWADA, JUN
Executed: 2009-10-14
Assignee
INTERNATIONAL BUSINESS MACHINES CORPORATION
NEW ORCHARD ROAD, ARMONK, NEW YORK, 10504
Covered Property (1)
Techniques for Performing Conditional Sequential Equivalence Checking of an Integrated Circuit Logic Design
Patent: 8,181,134 →
Application: 12/580,373 →
Publication: US 2011/0093824
Related Assignments (2)
Other recorded transfers of the patent in this record — the chain of ownership.
Assignment of Assignor's Interest Feb 1, 2013
From: INTERNATIONAL BUSINESS MACHINES CORPORATION
To: MENTOR GRAPHICS CORPORATION
Reel/Frame 029733/0156 →
Merger and Change of Name Jun 28, 2021
From: MENTOR GRAPHICS CORPORATION; SIEMENS INDUSTRY SOFTWARE INC.
To: SIEMENS INDUSTRY SOFTWARE INC.
Reel/Frame 056696/0081 →