Обо мне
Я проектирую числовые форматы и кремний, который их исполняет. GF-T начался как статья, стал RTL, укладывающимся в логику Artix-7 вообще без аппаратных умножителей, и прошёл тейпаут на SKY130 — на тулчейне, который любой может поставить бесплатно. До железа я десять лет делал продукты и преподавал: больше тысячи разработчиков и первый курс по React Native в русскоязычном интернете.
Числовые форматы, спроектированные под ваши ограничения — тернарные, низкой разрядности, на основе φ, — каждый с независимой эталонной моделью и побитовыми векторами, а не с одним лишь заявлением.
Синтезируемый Verilog через открытый флоу: Yosys, nextpnr-xilinx, prjxray, iverilog. Измерено на трёх платах Artix-7, которые у меня есть, и доведено до SKY130, когда это нужно.
Побитовое соответствие моделям, написанным от спецификации, а не от дизайна — единственная проверка, способная с RTL не согласиться.
Больше тысячи обученных разработчиков. Железо — текущий предмет; метод не изменился.
Семейство форматов с плавающей точкой на основе φ, от GF4 до GF1024, с эталонными реализациями, которые делают его проверяемым.
Каталог соответствия с побитовыми векторами для FP8, BF16, MXFP4 и microscaling-форматов, опубликованный, чтобы каждый мог проверить по нему собственную арифметику.
База в Таиланде, работа с командами в Европе и Северной Америке.
Ничто из того, что я сдаю, не требует покупать лицензию, чтобы это воспроизвести.
Контракт и частичная занятость: hardware-AI, FPGA/RTL и ML-системы.
Резюме, статьи и исходники — в один клик. Если работа выглядит подходящей, напишите: я отвечаю.