A static cone of influence analysis generates fault lists from gate-level netlists to enable register-transfer level simulation.
A quadsection analysis method divides search windows into four sections to perform parallel timing simulations for flip-flop cells.
Dividing macros into hierarchical groups with dynamic channel widths reduces routing congestion and manufacturing costs.
A hypervisor compiler merges sub-programs into monolithic circuits to virtualize FPGAs across multiple tenants.
A traffic predictor monitors data traffic over communication interfaces to generate expected responses for circuit design verification.
An automated system identifies high-bandwidth memory channels by analyzing candidate nets and bump patterns to generate subchannels.
Decomposing circuit paths at waveform invariant nodes reduces model size and computational complexity.