Patent Assignment
Reel/Frame 014759/0160
Assignment of Assignor's Interest
Recorded: 2004-06-22
Pages: 3
Assignors
GUPTA, AARTI
Executed: 2004-06-21
GANAI, MALAY
Executed: 2004-06-21
YANG, ZIJIANG
Executed: 2004-06-16
ASHAR, PRANAV
Executed: 2004-06-21
Assignee
NEC LABORATORIES AMERICA, INC.
4 INDEPENDENCE WAY, PRINCETON, NEW JERSEY, 08540
Covered Property
(1)
Iterative Abstraction Using Sat-Based Bmc with Proof Analysis
Related Assignments
(1)
Other recorded transfers of the patent in this record — the chain of ownership.