SAT-Based Complete Don’t-Care Computation for Network Optimization
Modeling Interconnect Variability Using Efficient Parametric Model Order Reduction
Context Sensitive Performance Analysis of Automotive Applications