Какой алгоритм crc-16 используется для FCS кадра HDLC

Необходимо реализовать калькулятор crc для расчета FCS-поля кадра HDLC. Но не могу найти, какой конкретный алгоритм. Есть набор байтов 0x03 0x3F 0x7E, для которого контрольная сумма 0x5B 0xEC. В документации к HDLC указан полином x^16+x^12+x^5+1, но не указано, какое представление полинома и как его использовать. Может кто знает, какой алгоритм (CRC-16-CCITT / CRC-16 X.25 или еще какой-нибудь) необходим?