IP Library Assignment 025659/0263
Patent Assignment
Reel/Frame 025659/0263

Assignment of Assignor's Interest

Recorded: 2011-01-19 Pages: 5
Assignors
ANDRAUS, ZAHER
Executed: 2011-01-17
SAKALLAH, KAREM A.
Executed: 2011-01-17
LIFFITON, MARK
Executed: 2011-01-17
Assignee
THE REGENTS OF THE UNIVERSITY OF MICHIGAN
1214 S. UNIVERSITY AVENUE, 2ND FLOOR, ANN ARBOR, MICHIGAN, 48104-2594
Covered Property (1)
Automated Scalable Verification for Hardware Designs at the Register Transfer Level
Patent: 8,601,414 →
Application: 12/945,020 →
Publication: US 2013/0145328
Related Assignments (1)
Other recorded transfers of the patent in this record — the chain of ownership.
Confirmatory License Dec 27, 2010
From: UNIVERSITY OF MICHIGAN
To: NATIONAL SCIENCE FOUNDATION
Reel/Frame 025568/0640 →