Szybsze zakończenie weryfikacji projektu

W przypadku dużych projektów układów scalonych wysiłek związany z weryfikacją logiki może być większy niż wysiłek projektowy, zajmując do 70% czasu projektu w oparciu o dane z 2022 Grupa Badawcza Wilsona Wyniki. Niestety, wskaźnik sukcesu pierwszego krzemu spadł z 31 procent do zaledwie 24 procent w ciągu ostatnich 8 lat, powodując kolejny obrót w celu naprawienia wad, kosztem firm tracących czas na wejście na rynek iz pewnością szkodząc ich planom przychodów. Lepsza weryfikacja z pewnością poprawiłaby pierwszy sukces krzemu, ale łatwiej to powiedzieć niż zrobić.

Kilka innych otrzeźwiających liczb z badania Wilson Research Group:

• ASIC – 24% sukcesu za pierwszym razem, 36% kończy się na czas
• FPGA – 16% osiąga zero ucieczek błędów, 30% kończy pracę na czas

Weryfikacja projektu wiąże się z wieloma trudnymi obowiązkami: debugowaniem, tworzeniem testów, a następnie uruchamianiem silników, opracowywaniem stanowiska testowego i planowaniem testów. Idealnie byłoby, gdyby Twój zespół chciał zminimalizować czas realizacji, zakończyć weryfikację przy jak najmniejszej liczbie osób i zasobów obliczeniowych, spełnić wymagania dotyczące bezpieczeństwa i wiedzieć, kiedy jakość projektu jest wystarczająco wysoka, aby przerwać weryfikację, jednocześnie dotrzymując harmonogramu projektu.

Niedawno otrzymałem aktualizację od eksperta ds. weryfikacji projektów, Darrona Maya z Siemens EDA, aby usłyszeć o czymś, co właśnie ogłoszono, o nazwie IQ weryfikacji Questa. Ich podejście polega na weryfikacji opartej na danych, opartej na identyfikowalności, współpracy i analityce opartej na sztucznej inteligencji/uczeniu maszynowym. Tradycyjna analityka zapewniała ograniczoną produktywność i wgląd w samo opisywanie i diagnozowanie zachowania logicznego, podczas gdy analiza oparta na dużych zbiorach danych wykorzystująca sztuczną inteligencję/uczenie maszynowe oferuje działania predykcyjne i nakazowe na potrzeby weryfikacji. Zespoły ds. oprogramowania i sprzętu stają się bardziej produktywne, współpracując przy użyciu CI (ciągła integracja), Zwinny metody, ALM (Zarządzanie cyklem życia aplikacji), projektowanie w chmurze i stosowanie technik AI/ML. Branże o krytycznym znaczeniu dla bezpieczeństwa wymagają identyfikowalności między wymaganiami, wdrażaniem i weryfikacją, jak określono w normach branżowych, takich jak ISO 26262 i DO-254.

Oto ogólny obraz tego, jak Quest Verification IQ łączy wszystkie dane z różnych mechanizmów weryfikacji w przepływ oparty na danych wraz z narzędziem ALM.

Dane pokrycia są zbierane z symulacji logicznej (To), Emulacja i prototypowanie (Veloce), AMS (Symfonia), formalny (OneSpin), Statyczne i FuSa. Funkcja ML analizuje wszystkie te dane, aby przewidzieć wzorce i ujawnić wszelkie luki, wskazać przyczyny źródłowe, a następnie zalecić działania w celu poprawy zasięgu. Pokazany ALM to polaryzacja od Siemensa, chociaż możesz użyć innego ALM, tak jak możesz użyć swoich ulubionych silników weryfikacyjnych.

Questa Verification IQ to platforma oparta na przeglądarce, która zawiera przewodnik po procesach, dzięki czemu można zbudować krytyczny przepływ bezpieczeństwa przy użyciu zarządzania cyklem życia w celu planowania i śledzenia wszystkich wymagań. Nawigator regresji umożliwia Twojemu zespołowi tworzenie i wykonywanie testów, monitorowanie wyników oraz pełną historię weryfikacji. Dzięki analizatorowi pokrycia wiesz, jak kompletne jest pokrycie kodu, bloków funkcjonalnych i planów testów. Wreszcie, przedstawiona analiza danych zapewnia platformę metryczną, wykorzystującą pulpity nawigacyjne projektu i zapewniającą analizę krzyżową.

Platforma internetowa jest skalowalna dla każdego projektu elektronicznego i nie trzeba instalować żadnego oprogramowania ani martwić się o aktualizowanie systemu operacyjnego. Obsługuje również konfiguracje chmury publicznej, prywatnej lub hybrydowej. Dzięki zastosowaniu sztucznej inteligencji/uczenia maszynowego proces zamykania weryfikacji jest przyspieszony, a nakłady na debugowanie przyspieszają, ponieważ analiza przyczyn źródłowych pomaga wskazać, gdzie należy poprawić.

Zadałem Darronowi Mayowi kilka wyjaśniających pytań.

P: Czy mogę łączyć i łączyć Questa Verification IQ z dowolnym narzędziem dostawcy EDA i ALM?

A: Questa Verification IQ obsługuje narzędzia i silniki ALM poprzez podejście oparte na standardach. Łączy się z narzędziami ALM przy użyciu Open Services for Lifecycle Collaboration (OSLC), dzięki czemu można używać dowolnego narzędzia obsługującego ten standard, takiego jak Doors next lub Siemens Polarion i Teamcenter. Questa Verification IQ może uruchomić dowolny silnik i ponownie mamy wsparcie dla zasięgu za pośrednictwem standardu Unified Coverage Interoperability Standard (UCIS).

P: Jak to podejście wypada w porównaniu z Synopsys DesignDash?

A: Synopsys DesignDash koncentruje się na ML dla danych projektowych, podczas gdy Questa Verification IQ koncentruje się na weryfikacji opartej na danych za pomocą analiz, w tym ML, w celu przyspieszenia zamknięcia weryfikacji, skrócenia czasu realizacji i zapewnienia maksymalnej wydajności procesu. Questa Verification IQ zapewnia aplikacje potrzebne do zespołowego zarządzania weryfikacją opartą na współpracy w środowisku opartym na przeglądarce ze scentralizowanym dostępem do danych.

P: Jak to podejście wypada w porównaniu z Cadence Verisium?

A: Cadence Verisium koncentruje się wyłącznie na weryfikacji wspomaganej przez ML. Dla porównania, Siemens Questa Verification IQ zapewnia kompletne rozwiązanie weryfikacyjne oparte na danych, oparte na analityce, współpracy i identyfikowalności. Zarządzanie weryfikacją jest dostępne w narzędziu opartym na przeglądarce z aplikacjami opartymi na współpracy. Coverage Analyzer to pierwsze w branży narzędzie do wspólnego zamykania pokrycia, wykorzystujące nawigację analityczną wspomaganą przez ML. Weryfikacja pytań IQ łączy się z Siemens Polarion za pomocą OSLC i zapewnia ścisłą cyfrową identyfikowalność wątków dzięki zarządzaniu cyklem życia aplikacji bez zmiany kontekstu interfejsu użytkownika, zapewniając moc ALM do weryfikacji sprzętu.

Podsumowanie

Zawsze jestem pod wrażeniem nowych narzędzi EDA, które ułatwiają złożone zadania dzięki inteligentniejszej pracy i nie wymagają od inżynierów poświęcania większej liczby godzin pracy ręcznej. Dzięki wczesnym rekomendacjom Questa Verification IQ przez znane firmy, takie jak Arm i Nordic Semiconductor, wygląda na to, że firma Siemens EDA dodała coś atrakcyjnego do rozważenia przez zespoły weryfikacyjne.

Powiązane blogi

Udostępnij ten post przez:

• Dystrybucja treści i PR oparta na SEO. Uzyskaj wzmocnienie już dziś.
• Platoblockchain. Web3 Inteligencja Metaverse. Wzmocniona wiedza. Dostęp tutaj.
• Źródło: https://semiwiki.com/eda/324031-achieving-faster-design-verification-closure/