Abstract: Described herein is a technique for automatic program code optimization for high-level synthesis. One embodiment provides a method comprising receiving input including first program code in a high-level language; translating the first program code into an intermediate language; constructing an equality graph (e-graph) from the intermediate language; interleaving control-flow, data path, and gate-level transformations to explore equivalent hardware designs represented by the e-graph; selecting a hardware design based on a cost function; extracting a representation of a selected hardware design in the intermediate language; generating second program code in the high-level language; and performing high-level synthesis using the second program code.

Abstract: 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.

Abstract: 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.

Abstract: Described herein are techniques for automated hardware power optimization via e-graph based automatic RTL exploration. These techniques provide a tool that automatically performs RTL optimization and generates power optimized RTL without requiring design engineers to perform labor and knowledge intensive manual optimizations.

Abstract: Described herein is a technique to enable the construction of hierarchical clock gating architectures via e-graph rewriting. Automated clock gating relies on multiplexor (mux) tree analysis and constructs simple register enable signals. A framework is provided to detect non-mux based opportunities and construct more complex clock gating signals.

Abstract: 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.

Abstract: A process for preparing a tetra-substituted aminobiphenol macrocyclic ligand having the structure (I), including the step of treating a precursor compound having the structure (II) with a compound having the structure R6-L where L is a leaving group (hereafter compound (III)) in the presence of a base.

Abstract: A process for preparing a tetra-substituted aminobiphenol macrocyclic ligand having the structure (I), including the step of treating a precursor compound having the structure (II) with a compound having the structure R6-L where L is a leaving group (hereafter compound (III)) in the presence of a base.

Abstract: A process for preparing a tetra-substituted aminobiphenol macrocyclic ligand having the structure (I), comprising the step of treating a precursor compound having the structure (II) with a compound having the structure R6-L where L represents a leaving group (hereinafter compound (III)) in the presence of a base.

Abstract: A process for preparing a tetra-substituted aminobiphenol macrocyclic ligand having the structure (I), comprising the step of treating a precursor compound having the structure (II) with a compound having the structure R6-L where L represents a leaving group (hereinafter compound (III)) in the presence of a base.