Patent Assignment Details
NOTE:Results display only for issued patents and published applications.
For pending or abandoned applications please consult USPTO staff.
|
Reel/Frame: | 015931/0585 | |
| Pages: | 3 |
| | Recorded: | 10/29/2004 | | |
Conveyance: | ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS). |
|
Total properties:
9
|
|
Patent #:
|
|
Issue Dt:
|
09/18/2001
|
Application #:
|
08954765
|
Filing Dt:
|
10/20/1997
|
Title:
|
METHOD FOR AUTOMATICALLY SEARCHING FOR FUNCTIONAL DEFECTS IN A DESCRIPTION OF A CIRCUIT
|
|
|
Patent #:
|
|
Issue Dt:
|
01/16/2001
|
Application #:
|
08955329
|
Filing Dt:
|
10/20/1997
|
Title:
|
A METHOD FOR AUTOMATICALLY GENERATING CHECKERS FOR FINDING FUNCTIONAL DEFECTS IN A DESCRIPTION OF A CIRCUIT
|
|
|
Patent #:
|
|
Issue Dt:
|
08/19/2003
|
Application #:
|
09635598
|
Filing Dt:
|
08/09/2000
|
Title:
|
METHOD FOR AUTOMATICALLY GENERATING CHECKERS FOR FINDING FUNCTIONAL DEFECTS IN A DESCRIPTION OF A CIRCUIT
|
|
|
Patent #:
|
|
Issue Dt:
|
04/26/2005
|
Application #:
|
09849005
|
Filing Dt:
|
05/04/2001
|
Title:
|
METHOD FOR AUTOMATICALLY SEARCHING FOR FUNCTIONAL DEFECTS IN A DESCRIPTION OF A CIRCUIT
|
|
|
Patent #:
|
|
Issue Dt:
|
01/25/2005
|
Application #:
|
10174379
|
Filing Dt:
|
06/17/2002
|
Title:
|
MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING
|
|
|
Patent #:
|
|
Issue Dt:
|
11/18/2008
|
Application #:
|
10340500
|
Filing Dt:
|
01/10/2003
|
Title:
|
SELECTION OF INITIAL STATES FOR FORMAL VERIFICATION
|
|
|
Patent #:
|
NONE
|
Issue Dt:
|
|
Application #:
|
10340555
|
Filing Dt:
|
01/10/2003
|
Publication #:
|
|
Pub Dt:
|
12/27/2007
| | | | |
Title:
|
Reuse of learned information to simplify functional verification of a digital circuit
|
|
|
Patent #:
|
|
Issue Dt:
|
02/28/2006
|
Application #:
|
10348116
|
Filing Dt:
|
01/20/2003
|
Publication #:
|
|
Pub Dt:
|
10/23/2003
| | | | |
Title:
|
METHOD FOR AUTOMATICALLY GENERATING CHECKERS FOR FINDING FUNCTIONAL DEFECTS IN A DESCRIPTION OF CIRCUIT
|
|
|
Patent #:
|
|
Issue Dt:
|
07/10/2007
|
Application #:
|
10859055
|
Filing Dt:
|
06/01/2004
|
Title:
|
METASTABILITY INJECTOR FOR A CIRCUIT DESCRIPTION
|
|
Assignee
|
|
|
8005 SW BOECKMAN ROAD |
WILSONVILLE, OREGON 97070-7777 |
|
Correspondence name and address
|
|
OMKAR K. SURYADEVARA
|
|
SILICON VALLEY PATENT GROUP LLP
|
|
2350 MISSION COLLEGE BOULEVARD
|
|
SUITE 360
|
|
SANTA CLARA, CA 95054
|
Search Results as of:
06/19/2024 07:19 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
|