Logic Network Redundant Node Adjustment for Gate Reduction

Resolve Bottlenecks,
Find Innovative Solutions
Generate Solutions

Solution Overview

Problem

Existing electronic design automation (EDA) systems face challenges in optimizing circuit designs by efficiently reducing the number of logic gates and power consumption while maintaining functionality, as current methods are resource-intensive and not scalable for large designs.

Innovation Solution

The introduction of redundant nodes in logic networks, determined through truth tables or binary decision diagrams, allows for adjustments such as node removal or substitution, which reduce the number of gates and improve power efficiency without altering logical functionality, using a system with a processor and memory to analyze and implement these adjustments.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Quantity of substance

If existing EDA systems optimize circuit designs using traditional methods, then circuit functionality is maintained, but the number of logic gates and power consumption are not sufficiently reduced due to resource-intensive processes

Engineering Contradiction:
Improvenumber of logic gatesVSAvoidoptimization process complexity
Core Design Contradiction:
Quantity of substanceVSDevice complexity

Solution Approach 1:

The patent extracts and removes redundant nodes from the logic network. By identifying nodes whose removal does not affect the truth table or logical functionality, the system eliminates unnecessary logic gates, directly reducing the quantity of logic components while maintaining circuit functionality.

Inventive Principle:
Principle #2Taking out (Extraction)

Solution Approach 2:

The patent changes the approach from structure-based optimization to functionality-based optimization. By analyzing the truth table and logical functionality rather than the structural arrangement of gates, the system identifies optimization opportunities that traditional structural methods miss, enabling more effective reduction of logic gate count.

Inventive Principle:
Principle #35Parameter changes

2Use of energy by stationary object

If traditional EDA optimization methods are used, then circuit design is maintained, but power consumption is not sufficiently reduced due to resource-intensive analysis

Engineering Contradiction:
Improvepower consumptionVSAvoidoptimization efficiency
Core Design Contradiction:
Use of energy by stationary objectVSProductivity

Solution Approach 1:

The patent replaces traditional structural analysis methods with a functionality-based analysis approach. By substituting the mechanical/structural analysis paradigm with a logical/functionality paradigm (using truth tables and logical equivalence checking), the system achieves more efficient power optimization without being constrained by structural complexity.

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

Solution Approach 2:

The patent uses the truth table as a functional copy or representation of the circuit's logical behavior. By working with this functional copy rather than the actual structural implementation, the system can identify power optimization opportunities without being bogged down by the complexity of the physical gate structure.

Inventive Principle:
Principle #26Copying

3Productivity

If structure-based analysis is used for optimization, then detailed circuit information is available, but computational resources are excessively consumed and scalability is limited

Engineering Contradiction:
Improveprocessing speedVSAvoidlogical functionality preservation
Core Design Contradiction:
ProductivityVSLoss of information

Solution Approach 1:

The patent inverts the traditional optimization approach by starting with functionality (truth table) rather than structure (gate arrangement). This inversion allows the system to preserve logical functionality by definition (since the truth table is the basis) while achieving faster processing through more efficient functional analysis compared to exhaustive structural examination.

Inventive Principle:
Principle #13The other way round (Inversion)

Data Source

PatentUS20240078366A1Circuit design adjustments using redundant nodes
Publication Date: 2024.03.07 SYNOPSYS INC
  • US20240078366A1 patent drawing
  • US20240078366A1 patent drawing
  • US20240078366A1 patent drawing

AI summary

The present disclosure describes systems and methods for adjusting a logic network. The method includes adding, to the logic network, a first redundant node and determining a first adjustment to a first node of the logic network within a transitive fanin of the first redundant node. The method also includes making the first adjustment to the first node based on determining that a first gain based on the first adjustment satisfies a threshold.