Свидетельство № 2010611908 Российская Федерация. Функциональная полузаказная библиотека самосинхронных элементов ML03; свидетельство об официальной регистрации программы для ЭВМ / Морозов Н.В., Степченков Ю.А., Дьяченко Ю.Г., Степченков Д.Ю.; заявитель и правообладатель ИПИ РАН. ‑ № заявки 2010610330, дата поступления заявки 28.01.2010; дата регистрации 12.03.2010.
Функциональная библиотека самосинхронных элементов ML03 представляет собой описание на языке Verilog самосинхронных базовых элементов для БМК 5503 и 5507 (НПК “Технологический центр” МИЭТ). Библиотека предназначена для автоматизированного проектирования строго самосинхронных цифровых схем. Библиотека предназначена для моделирования, анализа, синтеза и других этапов разработки данного класса схем. Элементы библиотеки могут использоваться также и для проектирования обычных синхронных схем.