W Moscone Center w San Francisco odbędzie się DAC w dniach 25–28 czerwca

OneSpin Solutions i Austemper Design Systems podkreślą narzędzia do weryfikacji bezpieczeństwa funkcjonalnego. Austemper skoncentruje się na opracowaniu systemu o kluczowym znaczeniu z pakietem narzędzi KaleidoScope, który obsługuje projekt analogowy do równoczesnej propagacji uszkodzeń przy mieszanym sygnale. Zautomatyzowany pakiet narzędzi ma funkcje analizy bezpieczeństwa, syntezy i weryfikacji dla aplikacji zorientowanych na certyfikację. Służy do projektowania samochodów na dużą skalę w ADAS i do jazdy autonomicznej. Symulacja jednoczesnych uszkodzeń obejmuje symulacje zalecane przez ISO 26262 w celu spełnienia wymagań ASIL.

Firma niedawno współpracowała z OneSpin Solutions w celu przyjęcia metodologii wspieranej przez narzędzia dla bezpieczeństwa funkcjonalnego, łącząc proces projektowania i weryfikacji, co zostanie zademonstrowane na stoisku OneSpin. Mechanizmy bezpieczeństwa sprzętu są wstawiane do układów scalonych, a narzędzia OneSpin Solutions formalnie weryfikują logikę bezpieczeństwa sprzętu. Sprawdzanie równoważności zapewnia, że ​​wstawiona logika bezpieczeństwa nie wpływa na regularną funkcjonalność, a analiza wykrywania błędów sprawdza, czy mechanizmy bezpieczeństwa działają prawidłowo w przypadku przypadkowych błędów.

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

Informacje o FPGA

Nadal z projektowaniem FPGA, Plunify współpracuje z Xilinx, aby zaoferować 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 zademonstruje również ulepszenia w swoim oprogramowaniu do zamykania taktowania InTime, aby zoptymalizować taktowanie FPGA w chmurze (rysunek 1). Metodologia optymalizacji InTime może poprawić częstotliwość taktowania o 20 do 80% i spełnić wymagania czasowe w ciągu kilku dni, a nie tygodni za pomocą uczenia maszynowego. Oprogramowanie przyspiesza także zamykanie i optymalizację czasu i jest dostępne za pośrednictwem chmury.

Promując technologię eFPGA, Achronix Semiconductor współpracuje ze specjalistą ds. IP CAST w celu zwiększenia przepustowości i oszczędności pamięci.

Obaj wystawcy wyjaśnią, w jaki sposób bezstratna kompresja IP CAST została przeniesiona do portfolio Achronix FPGA do użytku w centrach danych i aplikacjach do transferu danych na urządzeniach mobilnych. Sprzętowa implementacja standardu bezstratnej kompresji dla Deflate, GZIP i ZLIB jest kompatybilna z implementacjami oprogramowania używanymi do kompresji lub dekompresji, aby zapewnić przepustowość do 100 Gbit / s przy niskiej 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 przeniósł swój adres IP na układy FPGA Achronix

Efektywności energetycznej

Mówiąc o zarządzaniu energią, inny wystawca, Baum, określa efektywność energetyczną jako najbardziej słabo rozwinięty obszar w projektowaniu układów. Zautomatyzowane narzędzie do analizy i modelowania mocy jest przeznaczone do motoryzacji, Internetu Rzeczy, mobilności, sieci i serwerów. PowerBaum 2.0 (rysunek 3) obsługuje dynamiczną i statyczną moc, biorąc pod uwagę opisy RTL i listy sieci oraz dodaje obsługę analizy mocy z emulacją sprzętową. Według firmy pozwala to inżynierom naprawiać błędy zasilania w realistycznych scenariuszach oprogramowania. Narzędzie obsługuje również analizy z dowolnymi temperaturami określonymi przez projektantów, aby ocenić wpływ temperatury na zużycie energii przez projekt.

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

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

Oparte na chmurze narzędzia do projektowania i weryfikacji SoC do projektowania układów scalonych firmy Metrics to Cloud Simulator i Verification Manager, zaprojektowane do zarządzania wymaganiami i zasobami symulacji, dostosowując je w górę lub w dół co minutę. Firma twierdzi, że Google Cloud zapewnia nieograniczoną wydajność symulacji SystemVerilog zgodną z UVM oraz natywne, internetowe zarządzanie weryfikacją w celu skrócenia czasów regresji, zmniejszenia błędów kodu linii i przewidywalnego pokrycia kodu.

Oprócz wystawców w wydarzeniu odbywają się sesje techniczne oraz program prezentacji na tematy tematyczne. Na przykład w tym roku Cadence poprowadzi samouczek dotyczący „Funkcjonalnego bezpieczeństwa i niezawodności w zastosowaniach motoryzacyjnych”, a jeden samouczek dotyczący uczenia maszynowego („Uczenie maszynowe przenosi wydajność rozpoznawania mowy na wyższy poziom”). Wykład Anny-Katriny Shedletsky, Instrumental, w poniedziałek 25 czerwca, będzie dotyczył „Automatyzacji wywiadu: uczenia maszynowego i przyszłości produkcji”. Wykorzystanie ML i AI do robotyki wspomagającej społecznie (SAR) zostało omówione w czwartkowym przemówieniu Maja Matarić z Uniwersytetu Południowej Kalifornii, który zaprezentuje „Automatyzacja vs.

Inna myśl przewodnia zaleca RISC-V jako sposób na uwolnienie architektów od zastrzeżonych architektur zestawu instrukcji (ISA). David A Patterson, Google i University of California, zaprezentuje „Nowy złoty wiek architektury komputerowej: akceleratory specyficzne dla domen i Open RISC-V”.

Nowym obszarem w tym roku w DAC jest Aleja Infrastruktury Projektowej. Inicjatywa ESD Alliance and Association for High-Performance Computing Professionals to obszar poświęcony infrastrukturze IT do projektowania systemów i komponentów elektronicznych. Oprócz obliczeń i wymagań dotyczących przechowywania w zakresie projektowania i zarządzania wykorzystaniem chmury, istnieje dedykowany teatr pawilonu Design-on-the-Cloud omawiający zarządzanie licencjami, przetwarzanie sieciowe i bezpieczeństwo danych.