Lina: Timing-Constrained High-Level Synthesis Performance Estimator for Fast DSE | IEEE Conference Publication | IEEE Xplore