HLS-based Optimization of Tau Triggering Algorithm for LHC: a case study | IEEE Conference Publication | IEEE Xplore