Congratulations to Denny Wu for the acceptance of the paper/poster (Speeding up Functional Timing Analysis by Concise Formulation of Timed Characteristic Functions) for publication in the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). https://ieeexplore.ieee.org/document/9026953