Dynamic critical path detector for digital logic circuit paths
Dynamic push for topological routing of semiconductor packages
Efficient exhaustive path-based static timing analysis using...
Efficient power region checking of multi-supply voltage...
Efficient provisioning of resources in public infrastructure...
Electric circuit and method for adjusting wirelength of...
Electro-migration verifying apparatus, electro-migration...
Electronic design automation tool and method for optimizing...
Electronic stream processing circuit with locally controlled...
Enhanced verification by closely coupling a structural...
Enhanced verification through binary decision diagram-based...
Enhanced verification through binary decision diagram-based...
Enhancing formal design verification by reusing previous...
Exact geometry operations on shapes using fixed-size integer...
Extracting consistent compact model parameters for related...
Fast evaluation of average critical area for IC layouts
Fast evaluation of average critical area for ic layouts
Fast reduction of system models
Fault dictionaries for integrated circuit yield and quality...
Floorplanning apparatus and computer readable recording...