Опенсорсные симуляторы и нетлист

В последние годы замечаю, что Verilator стал популярнее Icarus Verilog. Вероятные причины этого:

1️⃣ Более активный проект: разработка под патронажем CHIPS Alliance, AntМicro Ltd и Shunyao CAD
2️⃣ Выше скорость работы
3️⃣ Приближение к лакомой цели верификаторов в виде подедржки UVM

Тем не менее, кажется, что у Икаруса тоже может быть свою специализированная ниша, например, моделирование нетлистов:

1️⃣ Икарус поддерживает x и z состояния (чего лишён Верилятор)
2️⃣ В то время как в песочнице верилятора обсуждают поддержку UDP примитивов (обычно необходимо для использования вендоровской библиотеки StdCells), у икаруса довольно много активностей по поддержке SDF (Standard Delay Format).

И, казалось бы, UVM нет и не предвидится - зачем Икарус? Но есть скановые тесты нетлиста, которые довольно изнурительные (особенно если у вас ограниченное число лицензий, и все они SingleCore). Особенность скановых тестов - что это чистый верилог, сгенерённый DFT-тулом.

В итоге, использование икаруса для связки DUT+TB выглядит привлекательно, вопрос в полноте поддержки икарусом необходимого набора фич SDF (ну и наверное поиска покровителей, которые дали такой мощный буст развитию конкурента: верилятора).

❓Вопрос уважаемым инженерам: кто-то пробовал поднимать в икарусе связку netlist + SDF?

@vlsihub

Гибкий RISC-V уже был.

Теперь китайские исследователи представили RISC-V без кремния:

RV32-WUJI работает на базе дисульфида молибдена (MoS2) — материала, который может стать альтернативой кремнию в будущих устройствах.

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

Ключевой прорыв команды — совместимость технологии с традиционными методами производства микросхем. Например, вместо изменения свойств полупроводника путём добавления примесей (как в кремнии), инженеры использовали комбинацию алюминиевых и золотых соединений, а также машинное обучение для точной настройки каждого транзистора 🤯

@vlsihub

Добрый день, меня зовут Богдан, и я подсел на Verilog волей случая.
...
В тот роковой день на производственной практике от универа привели нас троих в маленькую комнатку со столом и доской, закрыли дверь, и спросили "Знаете ли вы что-нибудь про Verilog?"
...
Очнулся через пару часов уже за компом, проверяя как работает инстанс моего д-триггера
...
Хотелось ещё...
...
Нам намекнули что мы так просто не соскочим и обязательно вернёмся...
...
Раз в неделю ходили за Verilog'ом. Постепенно приходилось повышать градус. Простые сдвиговые регистры и счётчики уже не вставляли...
...
Пришлось после практики устроиться на пол ставки, чтобы иметь возможность писать модули... Так всё и пошло под откос...

Это вот так мне рассказывали про Chisel и Scala :)

Девборда на XC7K325T

▫️PCI-e 4x
▫️FMC (LPC)
▫️10-Gigabit SFP+
▫️DDR3 32bit
▫️HDMI Input and Output
▫️on-board JTAG-adapter

Обидно что FMC не полноценный, но в целом кажется норм вариант как универсальная плата для тех, кто перерос "помигать LED\поднять UART".

Возможно, есть не только в этом магазе:
🔗 aliexpress.ru/item/1005005361609787.html
🔗 aliexpress.com/item/1005005361609787.html

@vlsihub

Несколько лениво перекрашивать тарифные планы под нашу индустрию, но идея такая:

▫️для эмбедерщика: утопчу в 8051 код, который прежде работал на STM32 на премуиум тарифе

▫️для плисовода: сокращу количество LUT на 20% при том же функционале на премуиум тарифе

▫️для пасечника: вылечу все слэки не меняя техпроцесса на премуиум тарифе

▫️для верификатора: найду все баги до RTL-фриза на премуиум тарифе


❓Свой вариант можно написать в комментах ➡️

#пятничное
@embedoka

США: запрещают продажу Китаю САПР для проектирования микросхем

КИТАЙ: создаёт на базе LLM систему QiMeng для автоматического проектирования микросхем

***

Система QiMeng состоит из трех уровней: базовая модель процессора, агент для проектирования аппаратного и программного обеспечения, а также приложения для разработки чипов. Описание системы QiMeng опубликовано на гитхаб.

PS: выглядит как эволюционное развитие NVIDIA NEMO

@vlsihub

AMD vs Intel
Красные против Синих 😅

Вечный вопрос, теперь и для ПЛИСоводов...

#пятничное
@vlsihub

Эт ещё ладно, а то вон купил носки и пришлось их GTY трансиверами через pcie gen4 соединять чтобы носить

Spacely: Фреймворк для Валидации ASIC

Spacely - открытый фреймворк для постсилик валидации аналоговых, цифровых и смешанных ASIC. Фреймворк ориентирован на небольшие команды проектирования ASIC в академических и исследовательских учреждениях, позволяя им делить накладные расходы на тестовые стенды между проектами.

Spacely поддерживает платформы NI-PXI и Caribou, а также предлагает расширяемую поддержку лабораторных инструментов.

Интерфейс на Python (pytest) обеспечивает простой доступ к тестовым аппаратным средствам, а опытные инженеры могут интегрировать пользовательское встроенное программное обеспечение.

📝 https://arxiv.org/pdf/2406.15181
📄 https://github.com/SpacelyProject/spacely-docs/
💾 https://github.com/SpacelyProject

@vlsihub