Patent Assignment Details
NOTE:Results display only for issued patents and published applications.
For pending or abandoned applications please consult USPTO staff.
|
Reel/Frame: | 016398/0930 | |
| Pages: | 4 |
| | Recorded: | 03/18/2005 | | |
Attorney Dkt #: | 15437-0698 |
Conveyance: | ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS). |
|
Total properties:
1
|
|
Patent #:
|
|
Issue Dt:
|
01/06/2009
|
Application #:
|
11083805
|
Filing Dt:
|
03/18/2005
|
Title:
|
ELIMINATE FALSE PASSING OF CIRCUIT VERIFICATION THROUGH AUTOMATIC DETECTING OF OVER-CONSTRAINING IN FORMAL VERIFICATION
|
|
Assignee
|
|
|
4150 NETWORK CIRCLE |
SANTA CLARA, CALIFORNIA 95054 |
|
Correspondence name and address
|
|
HICKMAN PALERMO TRUONG & BECKER LLP
|
|
2055 GATEWAY PLACE, SUITE 550
|
|
SAN JOSE, CA 95110-1089
|
Search Results as of:
09/23/2024 08:22 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
|