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:
1
|
|
Patent #:
|
|
Issue Dt:
|
08/19/2003
|
Application #:
|
09895919
|
Filing Dt:
|
06/29/2001
|
|
Publication #:
|
|
Pub Dt:
|
01/30/2003
| | | | |
|
Inventor:
|
Sreenath Kurupati
|
|
Title:
|
ORDERING BINARY DECISION DIAGRAMS USED IN THE FORMAL EQUIVALENCE VERIFICATION OF DIGITAL DESIGNS
|
|
|
Assignment:
1
|
|
|
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
|
|
|
| 2200 MISSION COLLEGE BLVD. |
| SANTA CLARA, CALIFORNIA 95052 |
|
|
|
|
| KENYON & KENYON |
| SHAWN W. O'DOWD |
| 333 W. SAN CARLOS STREET |
| SUITE 600 |
| SAN JOSE, CA 95110-2711 |
|
|
Search Results as of:
06/07/2024 11:02 PM
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
| 
