Юрий Панчул
1.08K subscribers
174 photos
26 videos
2 files
158 links
uArch от сохи и жизнь русского украинца в Калифорнии
Download Telegram
Два объявления:

27 сентября 2026 года митапа Verilog Meetup в Hacker Dojo не будет, потому что мы едем на Maker Faire в Вальехо!
4 и 11 октября 2026 года Verilog Meetup-ов тоже не будет, потому что Hacker Dojo переезжает в новый офис в Санта-Кларе!
Первый Verilog Meetup на новом месте предварительно запланирован 18 ноября 2026 года.

There will be no Verilog Meetup in Hacker Dojo on September 27, 2026, because we are going to Maker Faire in Vallejo!
There will also be no Verilog Meetups on October 4 and October 11, 2026, because Hacker Dojo is moving to a new Santa Clara office!
The first scheduled Verilog Meetup at the new location is tentatively scheduled for November 18, 2026.
👍5❤1
Мы записали две двухчасовые лекции - одну на английском, другую на русском. В них Леван Чагелишвили, инженер в Грузии, делится своим опытом разработки варианта CORDIC-дизайна и его прототипирования на FPGA. Затем тот же RTL-дизайн проходит синтез, размещение и трассировку по маршруту проектирования RTL2GDSII для изготовления чипа ASIC через Tiny Tapeout.

Вторая часть на русском - https://youtu.be/tO6dwd8vdnk

Первая часть на английском с русскими вопросами - https://youtu.be/yU27WDcp42Q
🔥9❤4
Развиртуализовались с комрадом Sergey Vinnichenko который часто бывает у меня в комментариях. На моей майке Улисс не имеет вообще никакого отношения к фильму. Такие майки раздал Самсунг разработчикам компонента для телефонов с таким внутренним названием, причем еще до выхода фильма, просто так совпало.

Сергей живет в Сан-Диего и работает в Synopsys (кто не знает - это одна из двух главных компаний (вторая Cadence) которая делает софтвер для всех ASIC дизайнеров, то бишь хранитель мудрости мировой микроэлектроники).

Сергей подарил мне японский садовый нож для рытья земли и обрезки корней и мы пошли гулять. На пути от моего дома к центру города Саннивейл обсуждали окаянного забанившего меня Vladimir Churyukin. В частности что я сначала неправильно диагностировал главную разницу позициями. Главная проблема Чурюкина с моего угла зрения - это не замена Баша Питоном, а попытка заменить Верилог Ямлом. См. update к посту на Хабре https://habr.com/en/articles/1082650/

Далее обсуждали опыт Сергея с писанием софтвера для создания 3D чипов из чиплетов и предыдущий опыт с созданием софтвера для печатных плат. Вспомнили российскую группу PADS которую купил Mentor Graphics в 1996 году.

Потом зашли в супермаркет Whole Foods (говорят что он похож на московскую Азбуку Вкуса, но я в ней не был). Сергей купил суши, а я супы: гороховый и перловый с мясом.

На обратном пути обсуждали тусовку вокруг открытых средств проектирования:

* сменившего пол создателя Yosys (открытый фронт-енд для верилога) и PicoRV32 (популярное в начале движения RISC-V ядро с нестандартными прерываниями) Ксению Вольф,

* создателя открытого оптимизатора/синтезатора логики ABC берклиевца Алана Мищенко (в киевском детстве его вроде звали Алексей - я впервые встретил его на экзамене в киевскую группу МФТИ),

* причастность бывшего вице президента Mentor Graphics (ныне Siemens EDA) Сержа Лифа (в московском детстве Сергея) к финансированию проекта OpenROAD в Университете Калифорнии Сан-Диего деньгами от Пентагона/DARPA,

* мою дискуссию в LinkedIn с египетским разрабочиком OpenLane из почившей eFabless по поводу использования Docker-а в комбинации с виртуальными средами Питона - с последующим стиранием ветки в моем посте разгневанным египтянином,

* взаимоотношения eFabless (ныне реинкарнированный как chipFoundry.io) с американской фабрикой для военных SkyWater с покровительством от Гугла (финансировавшим бесплатное производство чипов с дизайнами студентов) в былые годы,

* растущий Tiny Tapeout (производство чипов для всех), его отношения с chipFoundry.io, университетом Лейбница в Германии и Global Foundry.

* манеру презентации ASIC технологий основателем TinyTapeout испанцем Матт Веном, с пританцовываниями во время семинаров. Контент его митапа в Стенфорде - нужно ли моделирование транзистора и schematic entry Wokwi если в аудитории хотят чтобы им показали как написать на верилоге собственный чип с RISC-V процессором.

Дома я показал Сергею платы Tang Nano 9K с Gowin FPGA, плату от Tiny Tapeout и нашу инфраструктуру Basics-Graphics-Music (BGM) которую окаянный забанивший меня Чурюкин считает "хорошей идеей, но отвратительным решением", а также мой темплайт для переноса дизайнов из BGM в TinyTapeout - и мы разошлись.
🔥16😁8❤4👍1
Выступил с докладом через Zoom на конференции SEMICONUZ в Узбекистане. Заметил два момента:

Момент 1. Судя по вопросу преподавательницы из Ферганского политехнического института, в Узбекистане наверное ведутся дискуссии "кодописатели против физиков". То есть обсуждают, достаточно ли программировать софтвер на уже сделанных чипах и дизайнить на верилоге логику - или нужно вводить курсы физики полупроводников. Это впечатление подкрепил и доклад хорошо известного мне Нурсултана Кабылкаса про первый чип в Казахстане (Нурсултан делал PhD в Университете Калифорнии Санта-Круз и работал в AMD с Тимуром Палташевым).

Моя позиция по вопросу: хотя описанный мною в презентации процесс проектирования цифровых чипов в электронных компаниях (маршрут RTL2GDSII) построен так, чтобы максимально изолировать проектировщиков логики от физики - несмотря на это, физика в этом процессе все-таки проявляется:

1) Проектировщикам библиотек стандартных ячеек (ASIC standard cell library) нужно понимать физику того, из чего они строят всякие AND-OR, MUX2, DFF (D-Flip-Flop) примитивы и откуда берутся их параметры (пикосекундные задержки и фемтоваттное энергопотребление).

2) Разработчикам программ автоматизации проектирования, Electronic Design Automation (EDA), в частности статического анализа тайминга и физического проектирования, размещения и трассировки - нужно тоже понимать физику процесса, так как она там все время просачивается: значения на проводах скачут и устаканиваются только к концу такта (период которого нужно вычислить, причем задержки зависят от физических эффектов не только в транзисторах, но и на проводах.

3) В каждом ASIC-е есть не только цифровая, но и аналоговая часть, даже всякие датчики температуры внутри самого чипа, чтобы регулировать частоты и напряжения динамически.

Короче Узбекистан - это достаточно крупная страна, чтобы готовить специалистов по всему спектру микроэлектронной экосистемы. "Отец алгебры" Аль-Хорезми, аль-Бируни и Улугбек не одобрили бы что потомки вообще задают такие вопросы.

Момент 2. Судя по программе конференции и по докладу Нурсултана, в Средней Азии очень популярна китайская программа One Student One Chip. Программа действительно великолепна, появилась в правильное время (2019) в правильном месте (китайский институт ICT делал суперскалярные чипы Loongson еще 25 лет назад), с правильным контентом (от RISC-V до tapeout) и получила заслуженный успех (больше 10 тысяч студентов).

Вы ожидаете частицы "но"? (как писал Александр Сергеевич Пушкин в "Оде Его Светлости князю А. Н. Голицыну") Да, это "но" есть у меня. Насколько я понял (поправьте если я ошибаюсь), программа OSOC центрируется вокруг процессора общего назначения, CPU, и взаимодействия хардвера и софтвера. Но (!) на этом мир микроэлектроники не заканчивается: быстрый интернет, быстрая трехмерная графика и быстрые ИИ-ускорители стали возможны именно потому что создатели сетевых чипов (Juniper конца 1990-х), GPU и ML ускорителей (Google TPU и другие) - вывели большую часть обработки данных из процессора общего назначения. Что я упомянул в своих слайдах.

Все слайды и видео по идее будут на сайте конференции после ее окончания.
❤18👍3
Я раньше ругал людей который пишут посты с помощью ИИ, но решил написать такой пост сам. Пост ниже сгенерен ИИ от первой до последней буквы (кроме картинки, ее нарисовал я сам). При этом, как честный человек, я привожу промпт. Также оправданием служит то, что речь идет не о чем-то абстрактном, а о моей конкретной (скорее всего не оригинальной) методе генерить код, натравливая один ИИ (claude) на другой (codex). Чтобы они соревновались друг с другом, писали разборы конкурента и сравнения, исправляли у себя найденные конкурентом ошибки и заимствовали его ценные идеи.

Мой промпт и пост ИИ:
https://habr.com/en/articles/1091320
❤12🔥9
Андрей Солодовников написал важную для вузовского образования заметку на Хабре про то, как мы с ним и Дмитрием Петренко построили за лето возможность запускать одни и те же программы на Си и RISC-V ассемблере на разных комбинациях процессорных ядер (APS из МИЭТ, YRV) и 50-ти FPGA плат (Xilinx, Altera, Lattice, Gowin), которые поддерживаются в инфраструктуре BGM (Basics Graphics MUsic) и будут использоваться на занятиях Школы Синтеза Цифровых Схем, новый сезон которой стартует в эту субботу 10 октября.

https://habr.com/ru/articles/1091540/
🔥17👍8❤2
ИИ раскаялось, но это заняло пять итераций

Я чего-то не понимаю с этим ИИ. Медия с фанфарами хором поет "ИИ решил сотни математических Проблем Столетия за которые дают Филдсовские медали", а у меня сегодня GPT-6_Astra xHigh efforts сделала две глупости - одну на уровне второго курса университета, вторую в инструкции для 5 класса средней школы. Я разумеется заставил ИИ покаяться, но в своих извинениях оно изворачивалось и пыталось подать свою ошибку как "неудачную формулировку". Полное раскаяние потребовало пяти итераций. Вот первый случай:

1. Сначала ИИ заявило, что в моем примере для студентов содержится однозначная (definite) функциональная ошибка:

2. Я спросил: «Почему же тогда проходит тестовый стенд / testbench?»

3. ИИ ответило: «Я изучу реализацию и тестовый стенд, а затем проверю, была ли это действительно функциональная ошибка или же случай, который просто не покрыт тестами». Типа даже не пыталось предположить что это оно тупит.

4. Спустя несколько минут ИИ сообщило, что это все-таки оно виновато: «Нет, ваша реализация корректно обрабатывает это условие. Формулировка в моем отчете была неудачной, прошу прощения. Я описал гипотетическую ошибку в разделе "Проблемы" (Issues), хотя в вашем RTL-коде она уже предотвращена».

5. Но я тут же заметил, что оно извивается как уж на сковородке, говорит "Формулировка в моем отчете была неудачной" вместо "я по своей глупости ложно обвинило Юрия Панчула в элементарной ошибке в верилоге, хотя весь код был у меня перед глазами". Я его заставил признаться и в этом.

ИИ добавило формулировку:

6. ИИ : "Фраза «Формулировка в моём отчёте вводила в заблуждение» преуменьшала мою ответственность, представляя случившееся как редакционную проблему. Это была ошибка в моём техническом анализе. Более прямое исправление: Я ошибочно представил корректную реализацию Юрия Панчула как содержащую элементарную ошибку в микроархитектуре на SystemVerilog. Его код уже предотвращает извлечение операндов, когда FIFO результатов не может принять их сумму. Я не сумел последовательно применить базовые принципы анализа протокола обмена FIFO и высказал необоснованную критику с неоправданной уверенностью. Приношу извинения."

7. И (на пятом раунде раскаяния) ИИ дополнило: "В своём ответе я должен был поставить под проверку собственную оценку, вместо того чтобы строить проверку вокруг предполагаемого дефекта в реализации Юрия Панчула или пробела в его тестбенче.".

Пример о котором идет речь:

https://github.com/yuri-panchul/basics-graphics-music/blame/main/labs/4_microarchitecture/4_2_fifo/4_2_9_a_plus_b_using_wrapped_fifos/a_plus_b_using_wrapped_fifos.sv

Последняя версия раскаяния от ИИ:

https://panchul.com/lssk/ai_sessions/20261015/lssk_codex/codex_confused_20261016_variant_5.html
😁19❤8👏4
Поведение российской белоленточной оппозиции получает логичное объяснение, если рассматривать ее не как политическое движение, а как религиозное движение гностического толка. Если вы ничего не знаете про гностиков, не волнуйтесь - я сам узнал о них позавчера, когда YouTube подкинул мне про это видео и я прослушал про них четыре часовых лекции. Пересказываю:

Гностицизм - это собрание религиозных культов, мифология которых содержит общеизвестных религиозных персонажей: Иисуса Христа, Бога Ветхого Завета, Змея с Адамом и Евой, Иуду, Павла, Марию-Магдалину, Иоанна Хрестителя итд - но у всех этих персонажей совсем другие роли, чем в традиционном христианстве.

Например Бог Ветхого Завета у гностиков - это бог-самозванец по имени Демиург (Путин), который по своему невежеству считает себя настоящим богом Вселенной, хотя выстроенная им Вселенная (Россия) - это топорное ватническое место, которое является только малой частью (низкий GDP), всего восьмым уровнем Настоящей Вселенной (Запад), в которой правит Настоящий Бог, от которого иногда в немытую вселенную снисходят ангелы (Макфол встречается с оппозицией в спасо хаузе в Москве), но в немытой вселенной - царство архонтов (олигархов и кэгэбэшников), которые построили тюрьму для душ и не дают им вырваться в мир Света (настоящую Вселенную с настоящим Богом).

Вот скажем Пистис София (Альбац) в свое время училась в Гарварде (была на 13 эоне), но фальшивый блеск увлек ее обратно в царство Демиурга (немытую Россию), где она активно пообщалась с Иисусом Христом (Навальным разумеется), поучила его там всякому, после чего вернулась обратно на 13-й эон (в Гарвард).

При этом в первые пару веков христианства гностики считали себя христианами и были даже вхожи во власть, как белоленточная оппозиция в 1990-е. Например гностик Валентин был кандидатом на епископа Рима, де-факто на римского Папу (как Борис Немцов выдвигался в кандидаты в президенты России). Но потом гностиков объявили ересью (иностранными агентами) и государство начало их щемить, а потом и репрессировать всерьез (крестовой поход против альбигойцев, которых объявили нежелательной организацией).

Далее гностики всех делят на пневматиков (интеллигенцию со светлыми лицами, в которых естественно возникает внутренний свет из-за их хороших генов, отчего они могут спастись в Настоящей вселенной, то есть убежать на Запад как беженцы и устроиться там младшими ангелами типа Навальной), психиков (людей душевных, которые могут даже эмигрировать, но в ангелы их там не возмут) и гиликов, то бишь ватников, которых победил холодильник и телефизор архонтов.

Когда наконец настоящий бог Пропатор из Плеромы (Обама или Байден из Вашингтона), прибудут на своем флоте авианосцев с радиусом действия до Урала и наведут в немытой вселенной Путина-Демиурга порядок (то есть сожгут ее нафиг чтобы не мешала идеальности Вселенной Света), то гилики/ватники сгорят вместе с ней, психиков пристроят в какой-то промежуточной вселенной (скажем в Болгарии пиццу разносить), а пневматики будут введены в Плерому.
🔥26😁25👏11😱3👍2
Я решил сделать пример инструкции для школьников на основе схемы со светофором от школьника Тимофея, комбинируя сгенеренные инструкции от Claude и Codex. Господа, вы можете это все прочитать и высказать ваши замечания? После отладки этой инструкции я собираюсь сгенерить еще сотню таких же инструкций.

На русском:

https://panchul.com/lssk/ai_sessions/20261020/claude/2/breadboard/m11_traffic_light/index_ru.html

https://panchul.com/lssk/ai_sessions/20261020/codex/3/breadboard/traffic_light/index_ru.html

На английском:

https://panchul.com/lssk/ai_sessions/20261020/claude/2/breadboard/m11_traffic_light/index.html

https://panchul.com/lssk/ai_sessions/20261020/codex/3/breadboard/traffic_light/index.html

Вот исходный промпт:

https://panchul.com/lssk/ai_sessions/20261020/20261019_exercise_edited.md
👍5