Conference paper
COUNTERFACTUAL CONCEPT BOTTLENECK MODELS
Gabriele Dominici, Pietro Barbiero, et al.
ICLR 2025
In this paper, we study the propagation of slew dependent bounding signals and the corresponding slew problem in static timing analysis. The selection of slew from the latest arriving signal, a commonly used strategy, may violate the rule of monotonic delay. Several methods for generating bounding signals to overcome this difficulty are described. The accuracy and monotonicity of each method is analyzed. These methods can be easily implemented in a static timer to improve the accuracy.
Gabriele Dominici, Pietro Barbiero, et al.
ICLR 2025
Victor Valls, Panagiotis Promponas, et al.
IEEE Communications Magazine
Leo Liberti, James Ostrowski
Journal of Global Optimization
Elena Cabrio, Philipp Cimiano, et al.
CLEF 2013