Automated RTL Case-Splitting Detection for Timing Violations

Resolve Bottlenecks,
Find Innovative Solutions
Generate Solutions

Solution Overview

Problem

Current semiconductor design technologies face challenges in detecting and implementing case-splitting opportunities at the Register Transfer Level (RTL), which are crucial for optimizing hardware designs without causing timing violations, due to the expertise required for manual detection and implementation.

Innovation Solution

An automated technique is introduced to detect case-splitting opportunities in RTL, integrating this method into hardware design tools to facilitate the generation of designs that avoid timing issues, enabling efficient optimization of critical paths.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Manufacturing precision

If manual detection and implementation of case-splitting opportunities is performed, then design expertise can identify optimization possibilities, but the process requires significant expert knowledge and time investment

Engineering Contradiction:
Improvedetection accuracyVSAvoidexpertise requirement
Core Design Contradiction:
Manufacturing precisionVSDevice complexity

Solution Approach 1:

The system performs automated detection of case-splitting opportunities using synthesis tools and analysis circuits that independently identify optimization possibilities in the RTL design, eliminating the need for manual expert intervention while maintaining high detection accuracy

Inventive Principle:
Principle #25Self-service

Solution Approach 2:

Manual expert analysis is replaced with automated electronic analysis circuits and software tools that systematically examine the RTL design to detect case-splitting opportunities, converting a manual intellectual process into an automated computational system

Inventive Principle:
Principle #28Mechanics substitution (Replace mechanical system)

2Speed

If case-splitting is implemented to optimize critical paths, then timing constraints can be improved, but the design complexity increases due to multiple disjoint paths

Engineering Contradiction:
Improvetiming performanceVSAvoidpath complexity
Core Design Contradiction:
SpeedVSDevice complexity

Solution Approach 1:

The critical path is divided into multiple disjoint paths with different branch thresholds, allowing each segment to be optimized independently for timing while maintaining overall system functionality through selective activation of paths

Inventive Principle:
Principle #1Segmentation

Solution Approach 2:

The system dynamically selects which disjoint path to activate based on input conditions and timing requirements, enabling flexible optimization where the active path changes according to operational context rather than using a fixed complex structure

Inventive Principle:
Principle #15Dynamics

3Productivity

If automated detection tools are integrated into hardware design tools, then productivity is improved, but the complexity of the design tool increases

Engineering Contradiction:
Improvedesign efficiencyVSAvoidtool complexity
Core Design Contradiction:
ProductivityVSDevice complexity

Solution Approach 1:

The synthesis tool is enhanced with multiple functions including case-splitting detection, timing analysis, and optimization recommendation capabilities, allowing a single tool to perform various design analysis tasks rather than requiring separate specialized tools for each function

Inventive Principle:
Principle #6Universality (Multi-functionality)

Solution Approach 2:

The case-splitting detection functionality is merged with existing synthesis and analysis tools, integrating the detection process into the normal design flow rather than requiring a separate standalone tool, thereby improving productivity while managing tool complexity through unified architecture

Inventive Principle:
Principle #5Merging (Combining)

Data Source

PatentUS20240126964A1Automated detection of case-splitting opportunities in rtl
Publication Date: 2024.04.18 INTEL CORP
  • US20240126964A1 patent drawing
  • US20240126964A1 patent drawing
  • US20240126964A1 patent drawing

AI summary

Described herein is a technique for automated detection of case-splitting opportunities in RTL. The techniques described herein facilitate the integration of case-splitting into a hardware design tool flow, allowing the generation of hardware designs that do not suffer from timing violations. One embodiment provides a method comprising analyzing a first hardware description in a hardware description language to identify a critical path in a circuit represented by the hardware description, automatically detecting a case-splitting opportunity within the critical path, generating hardware description language for a case split having determined operator domain restrictions, and outputting a second hardware description including the hardware description language for the case split, wherein the second hardware description has a reduced operator hardware cost for the critical path relative to the first hardware description.