Оставить заявку

Vulkan EDA / Physical Design Workspace

Большие IC layouts. Один workspace. Реальная физическая верификация.

Vulkan EDA - инженерная среда для работы с IC-layout: GDSII, OASIS и LEF/DEF, иерархия, редактирование, DRC, LVS, PEX и STA - в одном интерфейсе и через единый Core API. Открывает большие топологии, использует GPU для визуализации; тот же workflow автоматизируется через CLI, TCL и API.

Запросить демо Посмотреть результаты

Уже измерено и проверено

  • 12 ГБGDSII коммерческого RISC-V чипа
  • 1 млрдplacements в одном файле
  • 4,4 млнэлементов на сцене (Caravel)
  • 123 706цепей - точное совпадение LVS
  • R² = 0,974корреляция PEX с OpenRCX

* Замеры: Apple Silicon (M1–M4) и NVIDIA GeForce GTX 1080 Ti - Windows, Linux (включая Astra Linux). Методика и эталоны - в разделе бенчмарков.

Интерфейс Vulkan EDA: 3D-представление топологии Caravel, список слоёв, иерархия и паспорт выбранной фигуры.
Live product / 3D IC layout
DRC · LVS · PEX / один контекст
LVS
123 706 цепей - exact matchFlat LVS сошёлся с netgen один в один: 0 пропусков, 0 коротких замыканий.

Проверьте Vulkan EDA на своём дизайне

Есть большой GDS/OASIS или verification workflow, который хочется ускорить? Пришлите testcase - покажем, что Vulkan EDA делает с ним сегодня.

Написать в Telegram - @hello_vulkan_eda hello@vulkan-eda.tech
GDSII / OASIS / LEF/DEF  ·  DRC  ·  LVS  ·  PEX  ·  STA  ·  Connectivity  ·  GPU-визуализация
Проблема

Большой layout не должен превращаться в ожидание

Открываете multi-GB GDS. Ищете конкретную ячейку. Проверяете нарушение. Переходите к netlist. Возвращаетесь в layout. В традиционном workflow эти действия разнесены между разными инструментами и представлениями данных.

01
Каждое действие - пауза
Открытие multi-GB GDS, зум, поиск ячейки, переход к нарушению - каждый шаг превращается в ожидание.
02
Инструменты разрознены
Layout - в одном инструменте, netlist - в другом, отчёты о нарушениях - в третьем. Данные не связаны между собой.
03
Контекст теряется
При переходе между представлениями исчезает связь: полигон ↔ цепь ↔ устройство ↔ правило ↔ нарушение.
04
Рутина - вручную
Повторные прогоны проверок и сверка результатов после каждой правки отнимают время, которое можно автоматизировать.
Vulkan EDA держит layout, иерархию, цепи, устройства, нарушения и PEX в одном контексте. Мы не обещаем «магически ускорить весь EDA» - мы ускоряем конкретные операции, которые инженер выполняет каждый день.
Workflow

Что можно сделать за 2 минуты

Шесть типовых сценариев - от открытия файла до результата. Без переключения между инструментами и без потери контекста.

DRC debug
Найти и исправить нарушение
  1. Открыть GDS
  2. Запустить DRC
  3. Кликнуть по нарушению
  4. Открыть Object Passport
  5. Cross-probe к ячейке и цепи
  6. Исправить геометрию
  7. Перезапустить проверку
LVS debug
Разобрать mismatch
  1. Запустить LVS
  2. Открыть mismatch
  3. Выбрать устройство
  4. Cross-probe layout ↔ netlist
  5. Проверить connectivity
  6. Исправить
  7. Перезапустить сравнение
PEX
Оценить паразитики цепи
  1. Загрузить routed-дизайн
  2. Запустить экстракцию
  3. Выбрать цепь
  4. Посмотреть R/C по сегментам
  5. Сравнить с референсом
  6. Экспортировать SPEF/DSPF
STA
Проверить тайминги пути
  1. Запустить STA
  2. Открыть critical path
  3. Cross-probe к топологии
  4. Оценить вклад паразитиков
  5. Сравнить после правки
  6. Экспортировать отчёт
Connectivity
Проверить соединения фрагмента
  1. Открыть LEF/DEF фрагмента
  2. Запустить проверку соединений
  3. Кликнуть по обрыву или КЗ
  4. Cross-probe к сегменту цепи
  5. Исправить соединение
  6. Перезапустить проверку
PDK check
Подготовить PDK к проверкам
  1. Загрузить PDK
  2. Спарсить tech-файлы и деки
  3. Запустить валидацию
  4. Увидеть, чего не хватает для DRC / LVS / PEX
  5. Дополнить данные
  6. Перепроверить готовность
Каждый шаг выполняется в одном workspace - и каждый доступен из GUI, CLI и TCL с одинаковым результатом.
Object Passport

Один объект - весь его контекст

Выбираете polygon, net, device, cell или violation - Vulkan EDA показывает всё связанное в одном месте. Не нужно искать, в каком окне лежит нужная информация.

Geometry→Layer→Cell→Net→Device→Rule→Violation→PEX
Любой объект
Пять типов - polygon, net, device, cell, violation. У каждого свой паспорт и постоянная vulkan://-ссылка, которой можно поделиться.
Все связи сразу
Геометрия, слой, ячейка, цепь, устройство, правило, нарушение, паразитики - один клик вместо переходов между окнами и инструментами.
Действия, а не поиск
Zoom, cross-probe, edit, waive, re-run - прямо из паспорта, без навигации по меню.
Верификация

Не «поддерживаем LVS». Вот результаты.

Каждый движок сверен с открытыми эталонами индустрии - на публичных PDK (GF180, sky130, IHP sg13g2) и коммерческом ПДК Микрон. Ниже - что именно тестировалось, с чем сверяли и что получили.

Замеры: Vulkan EDA vX.X.X · YYYY-MM-DD

Проверка Дизайн / PDK Эталон Результат
LVS, flatsiriusnetgen123 706 цепей - exact match: 0 пропусков, 0 КЗ
LVS, иерархияsiriusnetgen1 574 / 1 574 устройств распознано на уровне экземпляров
Экстракция устройствsirius · caravelреференсная экстракция222 608 транзисторов - один в один; caravel: 5 534
PEXrouted DEFOpenRCX (SPEF)R² = 0,974 - медианная корреляция ёмкостей, покрытие цепей 100%
DRCsky130референсный rule deck26 / 26 metal-правил
Derived layersGF180эталонные booleans82 слоя OR / AND / NOT / SIZE - статус GREEN
Antennaтестовый корпусOpenROAD0 ложных срабатываний
Что значит R² = 0,974
Дизайнrouted DEF · -
ЭталонOpenRCX, SPEF
Цепей в сравнении-
Метрикиtotal C · coupling C · R
Median / P95 / P99 error-
Покрытие цепей100%
Запросить методику и исходные данные Проверить на своём дизайне

Эталоны проверки: KLayout, OpenRCX, netgen, OpenROAD - открытые инструменты, принятые в индустрии как референс. STA и connectivity-проверка проходят валидацию - результаты будут опубликованы здесь же. Мы не заявляем эквивалентность коммерческим sign-off системам; движки спроектированы под sign-off-oriented workflows и сверяются с открытыми референсами.

Масштаб

Создан для больших топологий

Цифры ниже - измерения на реальных файлах, а не экстраполяция. Тестовые конфигурации - в конце блока, до того как вы спросите «на каком GPU?».

12 ГБGDSII коммерческого RISC-V чипа - чтение и запись
1 млрдplacements в одном файле
20+ ГБтопологии через tile-LOD и растровые пирамиды
4,4 млнэлементов на сцене - Caravel, SkyWater 130nm
500 мсполная загрузка Caravel (278 МБ)
0,02 мсизмеренное время GPU-кадра на той же сцене*
Конфигурация замеров
Открытый тест-кейсCaravel, SkyWater 130nm · 278 МБ GDS · 4,4 млн элементов
Большие файлыкоммерческий RISC-V чип · 12 ГБ GDSII · 1 млрд placements
GPUNVIDIA GeForce GTX 1080 Ti · Apple Silicon (M1–M4)
OSWindows · Linux (включая Astra Linux) · macOS
* 0,02 мс - время рендеринга кадра после загрузки сцены, а не время открытия файла. Хотите проверить на своих данных - пришлите testcase в Telegram: @hello_vulkan_eda.

Замеры: Vulkan EDA vX.X.X · YYYY-MM-DD

Caravel: продукт в действии
Реальные скриншоты текущей сборки, а не рендеры для лендинга.
Обзор чипа Caravel в Vulkan EDA Обзор чипа Caravel SkyWater 130nm - полный чип с 30 слоями, 462K instances. Загрузка за 500 мс.
Объёмный 3D с PEX Объёмный 3D с PEX Топология в 3D с данными паразитной экстракции - слои на реальных высотах BEOL-стека. Deep zoom до транзисторов Deep zoom Увеличение до отдельных транзисторов 0.15μm. Плавный зум без перерисовки. Проверка правил проектирования DRC Проверка правил (DRC) Проверка минимальных ширин и зазоров. Маркеры нарушений с размерными линиями и навигацией к каждому нарушению. Верификация схемы LVS Верификация схемы (LVS) Layout vs Schematic - иерархический и плоский режимы, cross-probe между топологией и netlist. Панель слоёв Панель слоёв 74 слоя с раздельными типами данных - poly, contact, li1, met1. Переключение видимости, цвета из технологического файла. Визуализация netlist с навигацией Netlist с навигацией Просмотр списка цепей с cross-probe: клик по цепи подсвечивает её на топологии.
Клик по любому скриншоту открывает его в полном размере.
Возможности

Что уже умеет Vulkan EDA

Это не роадмап - всё перечисленное работает в текущей сборке и покрыто проверками.

Bring your own SVRF deck. Запускайте существующие rule decks фабрик headless, без переписывания workflow. Поддерживаемые конструкции и проверенные деки - в compatibility matrix, пришлём по запросу: @hello_vulkan_eda.
Движки верификации
  • DRC: width, spacing, enclosure, area, углы 45°
  • Derived-layer booleans: OR / AND / NOT / SIZE
  • Учёт voltage domains (dualgate)
  • LVS: flat + иерархия, R/C/BJT, multi-PDK
  • PEX: L1 / L2 / L3, экспорт SPEF и DSPF
  • STA: критические пути и отчёты по таймингам
  • Connectivity: проверка соединений на фрагментах чипа
  • Antenna и ERC
Форматы и обмен
  • Форматы коммерческих flow: GDSII (чтение и запись, в т.ч. 12 ГБ и 1 млрд размещений), OASIS, LEF/DEF
  • PDK: загрузка и парсинг, валидация полноты - видно, чего не хватает для DRC / LVS / PEX
  • Tech-файлы .tech (JSON), multi-PDK
  • Импорт RDB-отчётов верификации
  • Экспорт SPEF и DSPF
Viewer и рендер
  • GPU-инстансинг: 0,02 мс кадра на сценах класса Caravel
  • Tile-LOD и растровые пирамиды для файлов 20+ ГБ
  • 3D volume: слои на своих высотах, BEOL z-stack
  • Heatmaps: density и RC-карта по сегментам
  • Minimap, net-highlight, изоляция ячеек
Редактирование
  • Булевы операции: Union / Subtract / Intersect / XOR, с отверстиями
  • Simplify, grow/shrink полигонов
  • Правка иерархии: Make Independent, Flatten
  • Инструменты rect / polygon / path / text
Автоматизация
  • Headless CLI с JSON-схемами
  • TCL - практически полный, 178 тестов
  • MCP-сервер (JSON-RPC) для AI-агентов
  • Скриптинг rhai
  • Единый версионированный Core API
Продукт
  • Командная палитра, Smart Search, PQL-предикаты
  • Multi-doc tabs, waivers, отчёты по результатам проверок
  • Object Passport: 5 типов объектов, vulkan://-ссылки
  • Интерфейс на русском, английском и китайском
  • AI-инженер: объяснения и сравнения, сменные LLM-бэкенды
VulkanLab

Верификация для команды. Дизайн остаётся у вас.

VulkanLab - веб-платформа управления верификацией топологии. Команда загружает GDS и ставит прогоны DRC / LVS / PEX / antenna - но считает не облако: runner работает в вашем периметре, забирает дизайн и гоняет движок Vulkan EDA локально. Наружу уходят только результаты. Облако - или on-prem в контуре заказчика.

Security
Runner в вашем периметре
GDS не покидает контур: runner тянет дизайн и движок локально, в Lab возвращаются только результаты прогонов. Для закрытых контуров - on-prem установка.
Runs
История и сравнение прогонов
Прогоны DRC / LVS / PEX / antenna с историей, браузер нарушений со статусами open / waived / fixed и сравнение двух прогонов между собой.
Proof
Расследования и сертификат
Расследования по нарушениям и сертификат «дизайн чистый» - доказать результат партнёру или заказчику можно без выкладки самого GDS.
Platform
Платформа для команды и обучения
Просмотр layout в браузере (wasm/WebGPU), команды и роли, PDK-реестр, лицензии и скачивание desktop-сборок, кабинет преподавателя с заданиями и учебными лицензиями, чат поддержки.
Открыть VulkanLab
Автоматизация

One design. One API.

GUI, CLI, TCL, MCP и AI работают с одними объектами через один версионированный Core API - и возвращают один и тот же результат.

Скрипт, интерфейс и AI-агент видят один дизайн и одни данные. API версионирован - автоматизация не ломается между сборками.

Honest state
Ready Stale Failed Not computed

У каждого результата проверки - явное состояние. После правки дизайна результат честно становится Stale: Vulkan EDA не выдаёт устаревшие данные за свежие.

AI

AI, который видит тот же дизайн, что и инженер

AI не получает скриншот и не гадает, что находится на экране. Он работает через тот же Core API, что GUI, CLI и TCL, - поэтому запросы адресуются к реальным объектам дизайна, правилам и результатам верификации.

Тот же Core API
AI вызывает те же функции, что интерфейс, командная строка и скрипты. Результат один - воспроизводимый и проверяемый.
Объекты, а не скриншоты
Запросы работают с реальными nets, devices, rules и violations - через Object Passport и cross-probe, а не через распознавание картинки.
On-device
Инференс локально, на вашем GPU. Данные дизайна не покидают машину.
Уже работает
Объяснение выделенных объектов и нарушений, семантическое выделение («выдели все шины данных, связанные с этим ядром»), summary и сравнения, автодокументирование проекта.
AI - интерфейс к EDA-данным, а не замена EDA engine. В разработке: автономные агенты поверх того же Core API (MCP).
Архитектура

Почему это работает так, как работает

Этот раздел - не причины выбрать Vulkan EDA, а объяснение инженерных решений. Причины - выше: масштаб, workflow и результаты верификации.

01
Rust
  • Контроль владения и безопасный параллелизм - класс ошибок памяти отсекается при компиляции, что критично на многочасовых прогонах больших layout
  • Производительность на уровне C++ без ручного управления памятью
  • Парсинг и верификация безопасно параллелятся на все ядра CPU
02
GPU (wgpu)
  • GPU-инстансинг - миллионы объектов на сцене без перерисовки
  • Windows, Linux (включая Astra Linux), macOS и Web - один рендер-стек
  • Вычислительные шейдеры - рендеринг и расчёты на одном GPU
03
Единый Core API
  • GUI, CLI, TCL, MCP и AI вызывают один Core API - и получают один результат
  • Версионированный API - скрипты и автоматизация не ломаются между сборками
  • Локальный AI-инференс (Burn, Candle) работает на том же GPU через wgpu
А также: ECS (Entity-Component-System) - архитектура данных для multi-GB топологий, и egui - интерфейс без тяжёлого UI-стека.
Видео описание
Для живого демо - свяжитесь с нами!
О команде и партнёрах
  • Григорий Фисенко
    Руководитель проекта
  • Елена Чернюк
    Аналитик, UI/UX
  • Владислав Катасонов
    Rust разработчик
  • Константин Фисенко
    Инженер САПР/EDA
  • Николай Силин
    Инженер-тополог
  • Тополог
  • Маркетолог
  • Rust разработчики
Оставьте заявку на ранний доступ, запросите демо для вашей компании или обсудите партнёрство.
Email: hello@vulkan-eda.tech
ОГРН 1267700268164 · ИНН 9734028020
Мы свяжемся с вами в течение 24 часов