Inventor · disambiguated record
Samuel Coward
Also filed as: COWARD SAMUEL
3 granted patents·10 pending applications·1 citations·filing 2021–2025
48Inventor score
Technology areasG06F
Top patents by PatentIndex Score
13 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
- 0270US2025377875A1Automatic code generation of optimized rtl via redundant code removalINTEL CORP·Filed 2025·Application pending·0 cites
- 0368US12353862B2Automatic code generation of optimized RTL via redundant code removalINTEL CORP·Filed 2023·Granted Jul 8, 2025·0 cites·20 claims
- 0453US2025335681A1Accelerating mutation testing for simulation and formal verificationINTEL CORP·Filed 2024·Application pending·0 cites
- 0550US2025291987A1Summarizing stimulus space via clustering and stochastic processesINTEL CORP·Filed 2024·Application pending·0 cites
- 0649US2024169133A1Apparatus, Device, Method and Computer Program for Generating an RTL Representation of a CircuitDRANE THEO·Filed 2023·Application pending·0 cites
- 0749US2024220703A1Device, method, and computer-readable medium for formal verification of a circuit designCOWARD SAMUEL·Filed 2023·Application pending·0 cites
- 0848US2024135076A1Super-optimization explorer using e-graph rewriting for high-level synthesisINTEL CORP·Filed 2023·Application pending·0 cites
- 0948US2024126519A1Program analysis, design space exploration and verification for high-level synthesis via e-graph rewritingINTEL CORP·Filed 2023·Application pending·0 cites
- 1047US2024126964A1Automated detection of case-splitting opportunities in rtlINTEL CORP·Filed 2023·Application pending·0 cites
- 1147US2024111925A1Hardware power optimization via e-graph based automatic rtl explorationINTEL CORP·Filed 2023·Application pending·0 cites
- 1245US2025013557A1Automatic bug fixing of rtl via word level rewriting and formal verificationINTEL CORP·Filed 2023·Application pending·0 cites
- 1340US12430154B2Apparatus, device, method and computer program for an integrated development environmentINTEL CORP·Filed 2021·Granted Sep 30, 2025·0 cites·19 claims
Join the waitlist — get patent alerts
Get an alert when Samuel Coward 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 →