Patent Assignment
Reel/Frame 016398/0930
Assignment of Assignor's Interest
Recorded: 2005-03-18
Pages: 4
Assignee
SUN MICROSYSTEMS, INC.
4150 NETWORK CIRCLE, SANTA CLARA, CALIFORNIA, 95054
Covered Property
(1)
Eliminate False Passing of Circuit Verification Through Automatic Detecting of Over-Constraining in Formal Verification
Patent:
7,475,369 →
Application:
11/083,805 →
Related Assignments
(1)
Other recorded transfers of the patent in this record — the chain of ownership.