18396321. PROGRAM ANALYSIS, DESIGN SPACE EXPLORATION AND VERIFICATION FOR HIGH-LEVEL SYNTHESIS VIA E-GRAPH REWRITING simplified abstract (Intel Corporation)
Contents
- 1 PROGRAM ANALYSIS, DESIGN SPACE EXPLORATION AND VERIFICATION FOR HIGH-LEVEL SYNTHESIS VIA E-GRAPH REWRITING
- 1.1 Organization Name
- 1.2 Inventor(s)
- 1.3 PROGRAM ANALYSIS, DESIGN SPACE EXPLORATION AND VERIFICATION FOR HIGH-LEVEL SYNTHESIS VIA E-GRAPH REWRITING - A simplified explanation of the abstract
- 1.4 Simplified Explanation
- 1.5 Potential Applications
- 1.6 Problems Solved
- 1.7 Benefits
- 1.8 Potential Commercial Applications
- 1.9 Possible Prior Art
- 1.10 Original Abstract Submitted
PROGRAM ANALYSIS, DESIGN SPACE EXPLORATION AND VERIFICATION FOR HIGH-LEVEL SYNTHESIS VIA E-GRAPH REWRITING
Organization Name
Inventor(s)
Lorenzo Chelini of Zurich (CH)
Rafael Barbalho of Orangevale CA (US)
Theo Drane of El Dorado Hills CA (US)
PROGRAM ANALYSIS, DESIGN SPACE EXPLORATION AND VERIFICATION FOR HIGH-LEVEL SYNTHESIS VIA E-GRAPH REWRITING - A simplified explanation of the abstract
This abstract first appeared for US patent application 18396321 titled 'PROGRAM ANALYSIS, DESIGN SPACE EXPLORATION AND VERIFICATION FOR HIGH-LEVEL SYNTHESIS VIA E-GRAPH REWRITING
Simplified Explanation
The technique and tool described in the patent application focus on automatic program code optimization for high-level synthesis. By efficiently exploring multiple representations of an input program using e-graph rewriting, the tool can determine an HLS-efficient representation of program code for input into high-level synthesis tools.
- The tool utilizes e-graph rewriting to explore various representations of an input program.
- It focuses on determining an HLS-efficient representation of program code for high-level synthesis.
- The technique aims to optimize program code automatically for better synthesis results.
Potential Applications
The technology can be applied in various fields such as:
- Electronic design automation
- High-level synthesis tools
- Compiler optimization
Problems Solved
The technology addresses the following issues:
- Manual optimization of program code for high-level synthesis
- Inefficient representation of program code for synthesis tools
- Limited exploration of different program representations
Benefits
The benefits of this technology include:
- Automated program code optimization
- Improved efficiency in high-level synthesis
- Enhanced performance of synthesized designs
Potential Commercial Applications
The technology can be commercially applied in:
- Semiconductor industry
- Software development companies
- Research institutions
Possible Prior Art
One possible prior art could be the use of e-graph rewriting techniques in program optimization for high-level synthesis. However, specific details on prior art are not provided in the abstract.
Unanswered Questions
How does the tool handle complex program structures during optimization?
The abstract does not delve into the specifics of how the tool manages intricate program structures during the optimization process.
What kind of performance improvements can be expected from using this tool?
The abstract does not mention the potential performance enhancements that can be achieved by employing this optimization tool.
Original Abstract Submitted
Described herein is a technique and associated tool for automatic program code optimization for high-level synthesis. The tool can efficiently explore multiple representations of an input program using e-graph rewriting and determine an HLS-efficient representation of program code for input into high-level synthesis tools.
