18512518. AUTOMATIC CODE GENERATION OF OPTIMIZED RTL VIA REDUNDANT CODE REMOVAL simplified abstract (Intel Corporation)

From WikiPatents
Jump to navigation Jump to search

AUTOMATIC CODE GENERATION OF OPTIMIZED RTL VIA REDUNDANT CODE REMOVAL

Organization Name

Intel Corporation

Inventor(s)

Theo Drane of El Dorado Hills CA (US)

Emiliano Morini of Folsom CA (US)

Jordan Schmerge of Folsom CA (US)

Samuel Coward of London (GB)

AUTOMATIC CODE GENERATION OF OPTIMIZED RTL VIA REDUNDANT CODE REMOVAL - A simplified explanation of the abstract

This abstract first appeared for US patent application 18512518 titled 'AUTOMATIC CODE GENERATION OF OPTIMIZED RTL VIA REDUNDANT CODE REMOVAL

Simplified Explanation

Described herein is a technique for automatic generation of optimized RTL via redundant code removal. By automatically introducing local mutations into the original RTL and using equivalence checking tools to confirm that the functionality is not affected, optimized RTL can be produced automatically without requiring human intervention.

  • Redundant code removal technique for automatic generation of optimized RTL
  • Introduction of local mutations into original RTL
  • Use of equivalence checking tools to confirm functionality is not affected
  • Automation of the process without human intervention

Potential Applications

The technology can be applied in the following areas:

  • Integrated circuit design
  • Hardware acceleration
  • FPGA programming

Problems Solved

This technology addresses the following issues:

  • Manual optimization of RTL code is time-consuming and error-prone
  • Ensuring functionality is maintained while optimizing RTL code
  • Reducing the need for human intervention in RTL optimization

Benefits

The benefits of this technology include:

  • Time-saving in RTL optimization process
  • Improved efficiency in generating optimized RTL
  • Reduction in human error in RTL optimization

Potential Commercial Applications

Optimized RTL generation technology can be utilized in various industries, such as:

  • Semiconductor companies
  • Electronics manufacturers
  • Telecommunications companies

Unanswered Questions

How does the technology handle complex RTL designs?

The technology is designed to handle complex RTL designs by automatically introducing local mutations and using equivalence checking tools to ensure functionality is not affected.

What is the impact of the optimized RTL on overall system performance?

The impact of the optimized RTL on overall system performance is not explicitly addressed in the abstract. Further testing and analysis would be needed to determine the exact impact.


Original Abstract Submitted

Described herein is a technique for automatic generation of optimized RTL via redundant code removal. By automatically introducing local mutations into the original RTL and using equivalence checking tools to confirm that the functionality it is not affected, optimized RTL can be produced automatically without requiring human intervention.