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: Examples relate to an apparatus, a device, a method, and a computer program for generating a register transfer level (RTL) representation of a circuit. The apparatus comprises processing circuitry configured to generate a graph representation of the circuit, the graph representation comprising a first set of vertices representing operators and a second set of vertices representing operands of the RTL representation of the circuit. The processing circuitry is configured to determine, for one or more operators represented by the one or more vertices of the first set of vertices of the graph, one or more logically equivalent operators. The processing circuitry is configured to include the one or more logically equivalent operators in the graph representation, such that the graph representation comprises a plurality of logically equivalent representations of the circuit.

Abstract: A device for tissue, especially hard tissue, penetration which incorporated a novel paddle-shaped needle for low friction rotatory penetration of the tissue. A controlled delivery or extraction system is also disclosed for the transfer of material from the device into a tissue site or transfer of material from the tissue site to the device. The delivery system or extraction system includes at least on solenoid or other similar device.

Abstract: The present invention involves a device for tissue, especially hard tissue, penetration device which incorporated a novel paddle-shaped needle for low friction rotatory penetration of hard tissue and a controlled delivery or extraction system for transfer of material from to device into a tissue site or transfer of material from the tissue site to the device. The delivery system or extraction system includes at least on solenoid or other similar device.

Abstract: The present invention involves a device for tissue, especially hard tissue, penetration device which incorporated a novel paddle-shaped needle for low friction rotatory penetration of hard tissue and a controlled delivery or extraction system for transfer of material from to device into a tissue site or transfer of material from the tissue site to the device. The delivery system or extraction system includes at least on solenoid or other similar device.

Abstract: The present invention involves a device for tissue, especially hard tissue, penetration device which incorporated a novel paddle-shaped needle for low friction rotatory penetration of hard tissue and a controlled delivery or extraction system for transfer of material from to device into a tissue site or transfer of material from the tissue site to the device. The delivery system or extraction system includes at least on solenoid or other similar device.

Abstract: The present invention involves a device for tissue, especially hard tissue, penetration device which incorporated a novel paddle-shaped needle for low friction rotatory penetration of hard tissue and a controlled delivery or extraction system for transfer of material from to device into a tissue site or transfer of material from the tissue site to the device. The delivery system or extraction system includes at least on solenoid or other similar device.

Abstract: An articular cartilage evaluator for determining the Index of Structural Integrity of articular cartilage. This computer-based system measures deformation or reaction force of articular cartilage through closed loop control of a testing tip and allows the measurement of peak force, stress relaxation behavior or creep behavior in vivo and in situ. This evaluator also allows the calculation of the tissue's material properties. A calibrator is also provided for calibrating the evaluator and attaching and removing a replaceable tip assembly.

Abstract: An arthroscopic cartilage evaluator for determining the Index of Structural Integrity of articular cartilage. This computer-based system measures deformation or reaction force of articular cartilage and processes that information for closed loop control of a testing tip and allows the measurement of stress relaxation behavior or creep behavior in vivo and in situ. This evaluator also allows the calculation of the tissue's material properties.

Abstract: An arthroscopic indenter for measuring creep deformation behavior, stress relaxation behavior and thickness of cartilage in vivo and in situ. A computer-based system measures deformation or force information upon cartilage and processes that information for closed-loop control of an indenter tip while also calculating intrinsic properties associated with the cartilage such as stiffness, compressibility and/or permeability.