IP Library Assignment 025568/0640
Patent Assignment
Reel/Frame 025568/0640

Confirmatory License

Recorded: 2010-12-27 Pages: 2
Assignor
UNIVERSITY OF MICHIGAN
Executed: 2010-11-19
Assignee
NATIONAL SCIENCE FOUNDATION
4201 WILSON BLVD, ROOM 1265, ARLINGTON, VIRGINIA, 22230
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.
Assignment of Assignor's Interest Jan 19, 2011
From: ANDRAUS, ZAHER; SAKALLAH, KAREM A.; LIFFITON, MARK
To: THE REGENTS OF THE UNIVERSITY OF MICHIGAN
Reel/Frame 025659/0263 →