George A. Constantinides

Follow

Person

Santa Clara, CA, US

People

Patents Applicationslast 30 patents

Information Patent Application
AUTOMATIC BUG FIXING OF RTL VIA WORD LEVEL REWRITING AND FORMAL VER...
- Publication number 20250013557
- Publication date Jan 9, 2025
- Intel Corporation
- Emiliano Morini
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED DETECTION OF CASE-SPLITTING OPPORTUNITIES IN RTL
- Publication number 20240126964
- Publication date Apr 18, 2024
- Intel Corporation
- Samuel Coward
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONSTRUCTING HIERARCHICAL CLOCK GATING ARCHITECTURES VIA REWRITING
- Publication number 20240111353
- Publication date Apr 4, 2024
- Intel Corporation
- Samuel Coward
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HARDWARE POWER OPTIMIZATION VIA E-GRAPH BASED AUTOMATIC RTL EXPLORA...
- Publication number 20240111925
- Publication date Apr 4, 2024
- Intel Corporation
- Samuel Coward
- G06 - COMPUTING CALCULATING COUNTING