Method for automatically searching for functional defects in...

Method for characterizing the accuracy of a simulated...

Method for constructing reduced-order models of systems

Method for debugging of analog and mixed-signal behavioral...

Method for decoding instruction in architectural simulator

Method for detecting bus contention from RTL description

Method for determining best and worst cases for...

Method for determining signals in mixed signal systems

Method for determining the desired decoupling components for...

Method for eliminating routing congestion in an IC layout

Method for estimating changes in product life for a...

Method for extracting and modeling semiconductor device...

Method for extracting and modeling semiconductor device...

Method for extrapolating model parameters of spice

Method for fault analysis using simulation

Method for functional verification of hardware design

Method for generating a circuit model

Method for generating and evaluating a table model for...

Method for generating and evaluating a table model for...

Method for hierarchical specification of scheduling in...