Inventor · disambiguated record
George Constantinides
Also filed as: CONSTANTINIDES GEORGE · CONSTANTINIDES GEORGE A
1 granted patent·5 pending applications·1 citations·filing 2022–2023
16Inventor score
Technology areasG06F
Top patents by PatentIndex Score
6 records- 0180US12353808B2Apparatus, device, method, and computer program for generating a register transfer level representation of a circuitINTEL CORP·Filed 2022·Granted Jul 8, 2025·1 cites·22 claims
- 0249US2024169133A1Apparatus, Device, Method and Computer Program for Generating an RTL Representation of a CircuitDRANE THEO·Filed 2023·Application pending·0 cites
- 0349US2024220703A1Device, method, and computer-readable medium for formal verification of a circuit designCOWARD SAMUEL·Filed 2023·Application pending·0 cites
- 0447US2024126964A1Automated detection of case-splitting opportunities in rtlINTEL CORP·Filed 2023·Application pending·0 cites
- 0547US2024111925A1Hardware power optimization via e-graph based automatic rtl explorationINTEL CORP·Filed 2023·Application pending·0 cites
- 0645US2025013557A1Automatic bug fixing of rtl via word level rewriting and formal verificationINTEL CORP·Filed 2023·Application pending·0 cites
Join the waitlist — get patent alerts
Get an alert when George Constantinides files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →