Moscone Center, San Francisco, będzie gospodarzem DAC 25-28 czerwca

Rozwiązania OneSpin i Austemper Design Systems objaśnią narzędzia do weryfikacji bezpieczeństwa funkcjonalnego. Austemper skoncentruje się na opracowaniu systemu o znaczeniu krytycznym dzięki pakietowi narzędzi KaleidoScope, który obsługuje projektowanie analogowe do współbieżnego propagowania błędów sygnału mieszanego. Zautomatyzowany zestaw narzędzi ma funkcje analizy bezpieczeństwa, syntezy i weryfikacji dla aplikacji certyfikowanych. Jest stosowany do dużych projektów samochodowych w ADAS i autonomicznej jazdy. Symulacja błędu współbieżnego obejmuje symulacje zalecane przez ISO 26262 w celu spełnienia wymagań ASIL.

Niedawno firma nawiązała współpracę z OneSpin Solutions, aby zastosować metodologię wspomaganą narzędziami dla aplikacji bezpieczeństwa funkcjonalnego, łącząc proces projektowania i weryfikacji, który zostanie zaprezentowany na stoisku OneSpin. Mechanizmy bezpieczeństwa sprzętu są wstawiane do układów chipów, a narzędzia OneSpin Solutions formalnie sprawdzają logikę bezpieczeństwa sprzętu. Kontrola równoważności zapewnia, że ​​wstawiona logika bezpieczeństwa nie wpływa na regularną funkcjonalność, a analiza detekcji uszkodzeń weryfikuje, czy mechanizmy bezpieczeństwa działają prawidłowo w przypadku błędów losowych.

OneSpin promuje również swój zestaw narzędzi do kwalifikacji, po weryfikacji przez TÜV SÜD procesów opracowywania narzędzi. Początkowy zestaw jest dostępny dla narzędzia firmy 360 EC-FPGA EDA, automatycznego sekwencyjnego sprawdzania równoważności, które zapobiega wprowadzaniu błędów implementacji przez układ FPGA. Zestaw posiada certyfikat ISO 26262, IEC 61508 i EN 50128.

Spostrzeżenia FPGA

Wciąż z projektem FPGA, Plunify współpracował z Xilinx, oferując pakiet projektowy Vivado w chmurze, za pośrednictwem platformy Plunify Cloud. Projektanci płacą zaledwie 50 centów za skompilowanie projektu Vivado w chmurze Amazon Web Services (AWS), w tym licencji.

Firma przedstawi również udoskonalenia oprogramowania do synchronizacji czasu InTime, aby zoptymalizować synchronizację FPGA w chmurze (rysunek 1). Optymalizacja czasu InTime Metodologia może poprawić częstotliwość taktowania o 20 do 80% i spełnić wymagania czasowe w dniach, a nie tygodniach poprzez uczenie maszynowe. Oprogramowanie przyspiesza również zamykanie i optymalizację czasu i jest dostępne za pośrednictwem chmury.

Promowanie technologii eFPGA, Achronix Semiconductor współpracuje ze specjalistą ds. własności intelektualnej ODLEW aby zwiększyć przepustowość i zaoszczędzić miejsce w pamięci.

Obydwaj wystawcy wyjaśnią, w jaki sposób przeniesiono bezstratną transmisję IP CAST do portfolio Achronix FPGA do użytku w aplikacjach transferu danych i centrum danych. Sprzętowa implementacja bezstratnego standardu kompresji dla Deflate, GZIP i ZLIB, jest kompatybilna z implementacjami oprogramowania stosowanymi do kompresji lub dekompresji, zapewnia przepustowość do 100 Gb / s przy niskim kompresji i niskim opóźnieniu w połączeniu z technologią Speedcore eFPGA do przenoszenia i przechowywania dużych dane przy niskim zużyciu energii.

CAST przesyła swój adres IP do układów FPGA Achronixa

Efektywności energetycznej

Mówiąc o zarządzaniu energią, kolejny wystawca, Baum, określa efektywność energetyczną jako najbardziej niedostatecznie rozwinięty obszar w projektowaniu chipów. Zautomatyzowane narzędzie do analizy i modelowania mocy jest przeznaczone do projektów motoryzacyjnych, IoT, mobilnych, sieciowych i serwerowych. PowerBaum 2.0 (rysunek 3) obsługuje dynamiczną i statyczną moc, pobierając opisy RTL i netlist i dodaje wsparcie dla analizy mocy z emulacją sprzętową. To, jak twierdzi firma, pozwala inżynierom naprawiać błędy zasilania w realistycznych scenariuszach oprogramowania. Narzędzie obsługuje również analizę z dowolnymi temperaturami, określonymi przez projektantów, w celu oceny wpływu temperatury na zużycie energii przez projekt.

W DAC firma wprowadzi również PowerWurzel, silnik analizy mocy na poziomie bramy, który zostanie zintegrowany z PowerBaum do modelowania mocy.

Rysunek 3 Narzędzia Bauma analizują efektywność energetyczną

Oparte na chmurze narzędzia do projektowania i weryfikacji SoC do projektowania układów scalonych z Metryka obejmują Cloud Simulator i Verification Manager, zaprojektowane do zarządzania wymaganiami symulacyjnymi i zasobami, dostosowując je co minutę. Firma twierdzi, że Google Cloud zapewnia nieograniczoną pojemność symulacyjną SystemVerilog na potrzeby systemu UVV i natywne, oparte na sieci, zarządzanie weryfikacją, co zapewnia szybszy czas regresji, mniejsze błędy kodu trunkingowego i przewidywalny zasięg kodu.

Oprócz wystawców, na imprezie odbywają się sesje techniczne i program prezentacji kluczowych tematów. W tym roku na przykład Cadence poprowadzi samouczek dotyczący "Funkcjonalnego bezpieczeństwa i niezawodności w zastosowaniach motoryzacyjnych" i jeden dotyczący uczenia maszynowego ("Uczenie maszynowe osiąga poziom rozpoznawania mowy na wyższy poziom"). Kluczowe hasło Anny-Katriny Shedletsky, Instrumental, w poniedziałek 25 czerwca skupi się na "Automatyzacji wywiadu: uczeniu maszynowym i przyszłości produkcji". Wykorzystanie ML i sztucznej inteligencji w robotyce socjotechnicznej (SAR) zostało omówione w czwartkowej prezentacji Maji Matarić z University of Southern California, która zaprezentuje "Automation vs Augmentation: Socjalistycznie Associve Robotocs and the Future of Work".

Inna inicjatywa promuje RISC-V jako sposób na uwolnienie architektów z zastrzeżonych architektur zestawów instrukcji (ISA). David A Patterson, Google i University of California przedstawią "Nowy złoty wiek dla architektury komputerowej: akceleratory specyficzne dla domeny i otwarty RISC-V".

Nowym obszarem w tym roku w DAC jest Design Infrastructure Alley. Inicjatywa przez ESD Alliance i Stowarzyszenie dla wysoko wykwalifikowanych profesjonalistów komputerowych to obszar poświęcony infrastrukturze IT do projektowania systemów i komponentów elektronicznych. Oprócz wymagań związanych z komputerami i pamięcią masową do projektowania i zarządzania wykorzystaniem chmury, istnieje dedykowany teatr pawilonu Design-on-the-Cloud, w którym omawia się zarządzanie licencjami, przetwarzanie gridowe i bezpieczeństwo danych.