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...