Нет, вы не правы. там обычный стандартный Intek Hex. Еще раз: в тех файлах присутствует вполне законная запись типа 03 Start Segment Address Record. Дать почитать стандарт от Intel?
Называть "правильными" конверторы, которые смело и решительно игнорируют ошибки в формате -- это нонсенс. Скорее неправильность многих (80% или выше) библиотек в том, что декодер записей реализован не полностью. Особенно обидно когда программаторы из-за наличия записей типа 03 или 05 отказываются грузить файлы.
Собственно поэтому я и написал свою либу. И хваленная утилита srec_cat -- тоже горабатая. В своей библиотеке я реализовал полную поддержку стандарта (на 99%). Так что я знаю, о чем я говорю.
Сыылка на pdf с описанием стандарта:
http://bazaar.laun …a6bi6vl-1/intelhex.pdf