Лицензирование IP
Каждое ядро здесь спроектировано, побитово сверено с независимой моделью и измерено на настоящем железе — одно из них прошло тейпаут на SKY130. Вы лицензируете RTL, эталонную модель и векторы, которые её доказывают, то есть можете проверить заявленное, а не доверять ему.
Умножитель для GF-T: ошибка в 2.84 и 5.53 раза ниже, чем у tekum16, в середине и на краю диапазона, ничья у единицы, декодирования режима нет. Опубликовано как arXiv:2606.05017 с независимой эталонной моделью и побитовыми векторами; отношения перемерены независимо 8 августа 2026.
Укладывается в логику целиком, оставляя колонки DSP свободными для остальной системы: 32 252 LUT при нуле DSP48, либо 21 223 LUT, если разрешить 64 аппаратных умножителя. Комбинационный, 0 защёлок.
Сделан под программно-определяемое радио (AD9361), часть полного тернарного сетевого стека с mesh-маршрутизацией и аутентифицированным шифрованием. Доказан от устройства к устройству по эфиру.
Нейропримитивы, выполняющие собственный обратный проход на FPGA: прямой проход, градиент и обновление весов в RTL, без хоста в контуре. 100% на отложенной выборке, на настоящем кремнии.
Синтезируемый и читаемый, не обфусцированный.
То, что позволяет доказать правильность ядра, а не поверить в неё.
Побитовые тест-векторы на каждую ступень конвейера — регрессия сразу говорит, какая ступень сломалась.
Частота, ресурсы и проверка на отсутствие защёлок на настоящем железе.
Ядро, которое не встало в вашу систему, не стоит ничего.
Исходники и векторы под один проект, чтобы сначала измерить всё в своём флоу.
Использование в одном продукте, с поддержкой интеграции и верификационной обвязкой.
Более широкие права обсуждаются отдельно, включая роялти.
Формат или тракт данных под ваши ограничения, с той же побитовой верификацией.
Назовите устройство и бюджет, в который вы укладываетесь. Если ни одно из этих ядер не подходит, я так и скажу — и оценю разработку под вашу задачу.