Patent Assignment Abstract of Title
NOTE:Results display only for issued patents and published applications.
For pending or abandoned applications please consult USPTO staff.
Total Assignments:
2
|
Patent #:
|
|
Issue Dt:
|
02/25/2003
|
Application #:
|
09894769
|
Filing Dt:
|
06/28/2001
|
Publication #:
|
|
Pub Dt:
|
01/31/2002
| | | | |
Inventors:
|
Aiguo Xie, Peter A. Beerel
|
Title:
|
FORMAL VERIFICATION OF A LOGIC DESIGN THROUGH IMPLICIT ENUMERATION OF STRONGLY CONNECTED COMPONENTS
|
|
Assignment:
1
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
3716 S. HOPE STREET, SUITE 313 |
LOS ANGELES, CALIFORNIA 90007 |
|
|
|
STEVEN B. PHILLIPS |
SUITE 800 |
2200 WEST MAIN STREET |
DURHAM, NC 27705 |
|
|
Assignment:
2
|
|
|
|
CONFIRMATORY LICENSE (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
4201 WILSON BLVD |
ROOM 1265 |
ARLINGTON, VIRGINIA 22230 |
|
|
|
NATIONAL SCIENCE FOUNDATION |
4201 WILSON BLVD |
ARLINGTON, VA 22230 |
|
|
Search Results as of:
09/23/2024 04:02 AM
If you have any comments or questions concerning the data displayed,
contact
PRD / Assignments at 571-272-3350. v.2.6
Web interface last modified:
August 25, 2017 v.2.6
|