Patent Assignment Details
NOTE:Results display only for issued patents and published applications.
For pending or abandoned applications please consult USPTO staff.
|
| Reel/Frame: | 054002/0874 | |
| Pages: | 11 |
| | Recorded: | 10/07/2020 | | |
| Attorney Dkt #: | 6924-95900 |
| Conveyance: | ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS). |
|
|
Total properties:
1
|
|
|
|
Patent #:
|
|
Issue Dt:
|
11/17/2020
|
Application #:
|
16454035
|
Filing Dt:
|
06/26/2019
|
|
Title:
|
IINTERACTIVE COMPILATION OF SOFTWARE TO A HARDWARE LANGUAGE TO SATISFY FORMAL VERIFICATION CONSTRAINTS
|
|
|
Assignee
|
|
|
|
|
| PO BOX 81226 |
| SEATTLE, WASHINGTON 98108-1226 |
|
|
Correspondence name and address
|
| |
ROBERT C. KOWERT
|
| |
1120 S. CAPITAL OF TEXAS HWY
|
| |
BUILDING 2, SUITE 300
|
| |
AUSTIN, TX 78746
|
Search Results as of:
06/20/2024 02:30 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
|
