A design layout correcting method segments mask patterns to target defect areas and verify compliance within defined regions.
Segmenting the compiler into architecture and device levels balances speed, power, and area while reducing generation time.
A polynomial charge model predicts input cell instance charge using fitted voltage coefficients.
An integrated simulator and analysis engine performs localized power optimization on semiconductor circuits using incremental simulation steps.
Electronic device detects integrated circuit isolation errors by comparing current port values against stored reference data.
Integrating fast lithography models into EDA routers detects manufacturing hotspots early, reducing simulation time and resource consumption.
Transforming parallel fork-join blocks into synchronized free-running processes using shared timing constructs.
Model caching retrieves precomputed transistor parameters, reducing simulation time while maintaining accuracy.
Bayesian optimization selects optimal hyper-parameters for electronic design models using Gaussian process surrogates.
Technology database independent pcells retrieve layer parameters to configure layout geometry, eliminating manual library adaptation.
An integrated router merges manual and automated tracing to eliminate cumbersome two-step switching that reduces design workflow efficiency.
A dynamically configurable data acquisition system allocates FPGA and DSP resources to measurement algorithms via configuration files.
A multi-level route pattern description language captures routing intent via a graphical user interface to guide integrated circuit routers.
Smith chart zero crossings determine phase in scattering parameters, enabling accurate RLGC extraction and reducing time-domain simulation errors.
A verification system decomposes complex X-propagation tasks into manageable sub-tasks using hierarchical proof results.
Reverse-levelized processing with numerical delay models optimizes gate sizes, reducing synthesis time and improving timing constraint compliance.
A PCB sectional preshrinking method calculates compensation values to optimize design length and ensure precise bonding accuracy.
Process corner mask defines distinct parameter sets for functional blocks within an integrated circuit die.
Second design program imports compile information from an older software version to generate a compiled integrated circuit design.
Processor-implemented method determines networks of a tile module in programmable logic device designs by connecting connectivity pins to modeled sub-module pins.
Computer-implemented method ranks components by mismatch contribution to reduce Monte Carlo simulation time while optimizing integrated circuit design area.
A verification method partitions power gated circuits into functional blocks to check conditional equivalence using observers.
A common template mask set creates a vendor-neutral interface on system-on-chip designs.
A canonical delay model superposes statistical variables to project arrival times across integrated circuit design corners.
Insert pseudo devices with safe operating area models into netlists to detect voltage stress violations that standard simulators miss.
Assign virtual defects to input conditions to generate targeted test patterns, eliminating exhaustive simulations for unmodeled defects.
A balanced clock structure uses early tapoffs to deliver synchronized signals to circuit sinks.
Partitioning the netlist and applying correction ratios yields accurate power estimates early, reducing design turnaround time.
A layout design method separates redundant via filling from design rule check verification to enable independent module execution.
A parsing module converts raw test logs into structured queryable messages for automated review.
Normalizes toggle rates across multiple clock domains using a common reference frequency to resolve power consumption estimation inaccuracies.
A statistical place-and-route technique adjusts local slacks to optimize circuit layouts.
Integer linear programming formulates flexible clock placement for programmable logic devices to determine feasible global network assignments.
Segmenting connection paths by turn density detects local zigzags, allowing the routing engine to remove them via turn constraints and reduce signal delay.
A ladder program editing support apparatus displays circuit elements between bus lines and lists identification information to streamline the editing process.
Retains multiple sub-circuit implementations during technology mapping to replace primary designs based on timing and area metrics, reducing re-synthesis needs.
A circuit verifier system scans integrated circuit descriptions to identify clock domain crossings and assigns numerical scores based on timing information.