WCET Analysis for Neural Network Inference

How to prove worst-case execution time for convolution, matrix multiply, and pooling operations