Hardware Specification Aware Timing Side Channel Security Analysis