Patent Assignment Details
NOTE:Results display only for issued patents and published applications.
For pending or abandoned applications please consult USPTO staff.
|
Reel/Frame: | 016989/0004 | |
| Pages: | 2 |
| | Recorded: | 09/14/2005 | | |
Conveyance: | ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS). |
|
Total properties:
1
|
|
Patent #:
|
|
Issue Dt:
|
07/24/2007
|
Application #:
|
10898707
|
Filing Dt:
|
07/22/2004
|
Title:
|
USING LOCAL REDUCTION IN MODEL CHECKING TO IDENTIFY FAULTS IN LOGICALLY CORRECT CIRCUITS
|
|
Assignee
|
|
|
HAMADA ST., INDUSTRIAL ZONE |
20692 YOKNEAM, ISRAEL |
|
Correspondence name and address
|
|
KATTEN MUCHIN ROSENMAN, LLP
|
|
1025 THOMAS JEFFERSON STREET, NW
|
|
EAST LOBBY, SUITE 700
|
|
WASHINGTON, DC 20007-5201
|
Search Results as of:
09/24/2024 09:07 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
|