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