Центр Москоне, Сан-Франциско, прийматиме ЦАП 25-28 червня
OneSpin Solutions та Austemper Design Systems виділять інструменти для перевірки функціональної безпеки. Austemper зосередиться на критично важливих розробках системи за допомогою набору інструментів KaleidoScope, який підтримує аналоговий дизайн для одночасного поширення несправностей зі змішаним сигналом. Автоматизований набір інструментів має можливості аналізу, синтезу та перевірки безпеки для програм, орієнтованих на сертифікацію. Він використовується для масштабних автомобільних конструкцій в ADAS та автономного водіння. Одночасне моделювання несправностей включає моделювання, рекомендовані ISO 26262 для відповідності вимогам ASIL.
Нещодавно компанія співпрацювала з OneSpin Solutions, щоб прийняти підтримувану інструментом методологію застосувань функціональної безпеки, що поєднує дизайн та перевірку, що буде продемонстровано на стенді OneSpin. Механізми безпеки обладнання вставляються в конструкції мікросхем, а інструменти OneSpin Solutions офіційно перевіряють логіку безпеки обладнання. Перевірка еквівалентності гарантує, що вставлена логіка безпеки не впливає на регулярну функціональність, а аналіз виявлення несправностей перевіряє належну роботу механізмів безпеки у випадку випадкових помилок.
OneSpin також просуває свій набір інструментів кваліфікації після перевірки TÜV SÜD своїх процесів розробки інструментів. Початковий комплект доступний для інструменту EDA компанії 360 EC-FPGA, автоматичної послідовної перевірки еквівалентності, яка запобігає помилкам впровадження в потоки проектування FPGA. Набір сертифікований згідно з ISO 26262, IEC 61508 та EN 50128.
Статистика FPGA
Разом з дизайном FPGA, Plunify співпрацює з Xilinx, пропонуючи пакет дизайну Vivado у хмарі через платформу Plunify Cloud. Дизайнери платять лише 50 с для складання проекту Vivado в хмарі Amazon Web Services (AWS), включаючи ліцензії.
Компанія також продемонструє вдосконалення свого програмного забезпечення для закриття часу InTime для оптимізації синхронізації FPGA в хмарі (рис. 1). Методологія оптимізації InTime може покращити тактову частоту на 20–80% і задовольнити вимоги щодо часу за допомогою машинного навчання, а не за тижні, а за дні. Програмне забезпечення також прискорює закриття та оптимізацію часу, і доступ до нього здійснюється через хмару.
Просуваючи технологію eFPGA, Achronix Semiconductor співпрацює зі спеціалістом з питань ІР CAST для збільшення пропускної здатності та економії пам’яті.
Два експоненти пояснять, як IP-адреса стиснення без втрат CAST переноситься на портфоліо Achronix FPGA для використання в центрах обробки даних та мобільних додатках для передачі даних. Апаратна реалізація стандарту стиснення без втрат для Deflate, GZIP та ZLIB сумісна з програмними реалізаціями, що використовуються для стиснення або декомпресії, щоб забезпечити пропускну здатність до 100 Гбіт / с з низьким стисненням і низькою затримкою, в поєднанні з технологією Speedcore eFPGA для переміщення та зберігання великих дані при низькому споживанні енергії.
CAST переніс свій IP на FPGA Achronix
Енергоефективність
Говорячи про управління електроенергією, інший учасник, Баум, визначає енергоефективність як найбільш недостатньо розвинену область у проектуванні чіпів. Його автоматизований інструмент аналізу та моделювання потужності призначений для автомобільних, IoT, мобільних, мережевих та серверних проектів. PowerBaum 2.0 (рис. 3) підтримує динамічну та статичну потужність, приймаючи описи RTL та списків мереж, а також додає підтримку аналізу потужності за допомогою апаратної емуляції. Це, зазначає компанія, дозволяє інженерам виправляти помилки живлення в реалістичних сценаріях програмного забезпечення. Інструмент також підтримує аналіз з довільними температурами, визначеними розробниками, для оцінки впливу температури на енергоспоживання конструкції.
На ЦАП компанія також представить PowerWurzel, двигун аналізу потужності рівня воріт, який буде інтегрований з PowerBaum для моделювання потужності.
Малюнок 3 Інструменти Баума аналізують енергоефективність
Інструменти для проектування та перевірки SoC на основі хмари для проектування ІС від Metrics включають Cloud Simulator та Verification Manager, призначені для управління вимогами та ресурсами моделювання, регулюючи їх вгору або вниз щохвилини. Компанія стверджує, що Google Cloud надає необмежену здатність до моделювання SystemVerilog, сумісну з UVM, і власне веб-управління верифікацією для швидшого часу регресії, зменшення кількості помилок магістрального коду та передбачуваного покриття коду.
Окрім експонентів, на заході проводяться технічні сесії та програма основних доповідей, що стосуються актуальних областей. Цього року, наприклад, у Cadence відбудеться навчальний посібник на тему „Функціональна безпека та надійність для автомобільних додатків” та навчальний посібник з машинного навчання („Машинне навчання підвищує ефективність розпізнавання мовлення на наступний рівень“). Основна доповідь Анни-Катріни Шедлецький, Instrumental, у понеділок, 25 червня, буде зосереджена на темі „Автоматизація інтелекту: машинне навчання та майбутнє виробництва”. Використання ML та AI для соціально-допоміжних робототехнік (SAR) досліджується у ключовій доповіді четверга Маї Матаріч, Університету Південної Каліфорнії, яка представить „Автоматизація проти збільшення: Соціально-допоміжні робототоки та майбутнє роботи”.
Інший основний виступ виступає за RISC-V як засіб для звільнення архітекторів від архітектур власних наборів інструкцій (ISA). Девід Паттерсон, Google та Каліфорнійський університет, представить "Новий золотий вік для комп’ютерної архітектури: прискорювачі доменів та відкритий RISC-V".
Цього року новим напрямком в ЦАП є алея проектної інфраструктури. Ініціатива Альянсу ESD та Асоціації професіоналів високопродуктивних обчислювальних машин - це сфера, присвячена ІТ-інфраструктурі для проектування електронних систем та компонентів. Окрім вимог до обчислень та зберігання для проектування та управління використанням хмари, існує спеціальний театр павільйону Design-on-the-Cloud, що обговорює управління ліцензіями, обчислювальні мережі та безпеку даних.