Specialized data fetch and store processors in a heterogeneous cluster reduce memory requirements while increasing emulation speed.
Models power and thermal resistance characteristics at discrete locations within an integrated circuit cell to determine heat amounts.
Aggregating repetitive receiver loads via a branch node driver reduces matrix size, cutting simulation time for high-density integrated circuits.
Log-sum-exp function approximates non-differentiable max delays in numerical solvers, reducing computational expense and timing violations.
A timing analysis method calculates path derating factors from voltage drops to evaluate integrated circuit designs.
A pattern-based design system indexes manufacturing data to identify defects and correlate design topologies with fabrication failures.
A macro placement method partitions semiconductor chip regions to determine packing sequences and feasible zones for movable macros.
Constraint-based pin selection resolves FPGA connection accuracy trade-offs by segmenting filtering from simulated annealing optimization.
Intermediary test circuits measure leakage and I*R drops to calibrate power domain models, resolving accuracy limits in complex chip designs.
Physical synthesis modifies netlists during placement to optimize circuit timing, resolving trade-offs between design flexibility and signal path constraints.
A hotspot root cause determination system analyzes layout feature values to identify design defects in semiconductor manufacturing.
Canonical form transformation simplifies design rule checking by grouping rotated and scaled variants to resolve complex shape verification bottlenecks.
A graphic manipulator system uses dynamic axis indicators and action icons to control object position, size, and orientation.
Computer-implemented method generates relatively placed macros using N best configurations and maximum allowable delay calculations.
Design characterization tool uses quantile sampling to estimate manufacturing variability in integrated circuits.
Constrained single-linkage clustering minimizes total wire length across scan chains, reducing routing complexity and power consumption.
Adjusting hierarchical netlist timing assertions by distributing slack based on gate width and activity factors to reduce heat dissipation.
Detect oscillating loops in electronic designs using formal verification analysis of loop cut inputs and outputs.
Unified interface merges multiple die views to display distinct connectivity, eliminating iterative loops between separate layouts.
A formal verification system groups electronic design failures by similar root causes to reduce debugging noise.
Clock models replace sequential cells in FPGA emulation, using phase shifts to resolve glitches that cause sampling errors.
Compiler links design metadata to register-transfer level structures, resolving upstream-downstream synchronization bottlenecks in integrated circuit workflows.
Testbench extraction populates circuit templates with simulation data, resolving the trade-off between measurement precision and loss of time.