IP Library Assignment 033412/0223
Patent Assignment
Reel/Frame 033412/0223

Confirmatory License

Recorded: 2014-07-29 Pages: 2
Assignor
UNIVERSITY OF MICHIGAN
Executed: 2013-12-17
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,954,909 →
Application: 14/094,992 →
Publication: US 2014/0229907
Related Assignments (1)
Other recorded transfers of the patent in this record — the chain of ownership.
Assignment of Assignor's Interest Mar 7, 2014
From: ANDRAUS, ZAHER; SAKALLAH, KAREM A.; LIFFITON, MARK
To: THE REGENTS OF THE UNIVERSITY OF MICHIGAN
Reel/Frame 032380/0528 →