Gyorsabb tervezési ellenőrzési zárás elérése

Nagy chip tervezési projekteknél a logikai ellenőrzési erőfeszítés nagyobb lehet, mint a tervezési erőfeszítés, és a projektből származó adatok alapján a projektidő akár 70%-át is igénybe veheti. 2022 Wilson Research Group megállapításait. Sajnálatos módon az első szilícium sikeraránya 31 százalékról mindössze 24 százalékra csökkent az elmúlt 8 évben, ami újabb pörgést okozott a hibák kijavítására, ami a vállalatoknak időt veszített a piacra jutásért, és minden bizonnyal ártott bevételi terveiknek. A jobb ellenőrzés minden bizonnyal javítaná a szilícium első sikerét, de ezt könnyebb mondani, mint megtenni.

Néhány további kijózanító szám a Wilson Research Group tanulmányából:

• ASIC – 24% első alkalommal siker, 36% határidőre végzett
• FPGA – 16%-a nulla hibaelhárítást ér el, 30%-a pedig időben befejezi

A tervezés ellenőrzése sok nehéz feladattal jár: hibakeresés, tesztek létrehozása, majd motorok futtatása, tesztpad fejlesztés és teszttervezés. Ideális esetben a csapat minimálisra szeretné csökkenteni az átfutási időt, a legkevesebb emberrel és számítási erőforrással elérni az ellenőrzés lezárását, megfelelni a biztonsági előírásoknak, és tudnia kell, hogy a tervezési minőség mikor elég magas az ellenőrzés leállításához, miközben betartja a projekt ütemtervét.

Nemrég kaptam egy frissítést Darron May tervezésellenőrzési szakértőtől a Siemens EDA-nál, amikor egy most bejelentett valamiről, az ún. Questa Verification IQ. Megközelítésük az adatvezérelt ellenőrzésről szól, amely a nyomon követhetőség, az együttműködés és az AI/ML által vezérelt elemzések köré épül fel. A hagyományos elemzések korlátozott termelékenységet és betekintést nyújtottak a logikai viselkedés leírásába és diagnosztizálásába, míg az AI/ML-t használó big data-alapú elemzések prediktív és előíró műveleteket kínálnak az ellenőrzéshez. A szoftver- és hardvercsapatok termelékenyebbé válnak azáltal, hogy a használata révén együttműködnek CI (Folyamatos integráció), Agilis mód, ALM (Application Lifecycle Management), felhő alapú tervezés és AI/ML technikák alkalmazása. A biztonság szempontjából kritikus iparágaknak szükségük van a követelmények, a végrehajtás és a hitelesítés közötti nyomon követhetőségre, az olyan iparági szabványok szerint, mint az ISO 26262 és a DO-254.

Íme a nagy kép arról, hogy a Quest Verification IQ hogyan kapcsolja össze a különböző ellenőrző motorokból származó összes adatot egy adatvezérelt folyamba, valamint egy ALM eszközt.

A lefedettségi adatok logikai szimulációból származnak (ezt), Emuláció és prototípuskészítés (Gyors), AMS (Szimfónia), formális (OneSpin), Statikus és FuSa. Az ML szolgáltatás az összes adatot elemzi, hogy előre jelezze a mintákat és feltárja az esetleges lyukakat, rámutasson a kiváltó okokra, majd előírja a lefedettség javítását célzó lépéseket. A látható ALM az Polarion a Siemenstől, bár használhat egy másik ALM-et, akárcsak a kedvenc ellenőrző motorjait.

A Questa Verification IQ egy böngésző alapú keretrendszer, amely folyamatútmutatót tartalmaz, így az életciklus-kezelés segítségével biztonsággal kritikus folyamatot hozhat létre az összes követelmény megtervezéséhez és nyomon követéséhez. A regressziós navigátor segítségével csapata teszteket hozhat létre és hajthat végre, figyelemmel kísérheti az eredményeket, és teljes ellenőrzési előzményekkel rendelkezik. A lefedettségelemzővel tudja, hogy a kód, a funkcionális blokkok és a teszttervek lefedettsége mennyire teljes. Végül, a bemutatott adatelemzés metrikus platformot biztosít a projekt irányítópultjainak használatával, és keresztelemzést biztosít.

A webalapú keretrendszer bármilyen méretű elektronikai projekthez méretezhető, és nem kell semmilyen szoftvert telepítenie, és nem kell aggódnia az operációs rendszer frissítése miatt. Támogatja a nyilvános, privát vagy hibrid felhőbeállításokat is. Az AI/ML alkalmazásával az ellenőrzés lezárási folyamata felgyorsul, míg a hibakeresési erőfeszítések felgyorsulnak, mivel a kiváltó okok elemzése segít meghatározni, hol lehet javítani.

Feltettem Darron Maynek néhány tisztázó kérdést.

K: Keverhetem-e a Questa Verification IQ-t bármely EDA-szállító eszközzel és ALM-mel?

A: A Questa Verification IQ szabvány alapú megközelítésen keresztül támogatja az ALM eszközöket és motorokat. Az Open Services for Lifecycle Collaboration (OSLC) segítségével csatlakozik az ALM-eszközökhöz, így bármilyen szabványt támogató eszköz, például a Doors next vagy a Siemens Polarion és a Teamcenter használható. A Questa Verification IQ bármilyen motort elindíthat, és ismét támogatjuk a lefedettséget a Unified Coverage Interoperability Standard (UCIS) szabványon keresztül.

K: Miben hasonlít ez a megközelítés a Synopsys DesignDash-hez?

A: A Synopsys DesignDash a tervezési adatok ML-ére összpontosít, míg a Questa Verification IQ az analitika segítségével végzett adatvezérelt ellenőrzésre összpontosít, beleértve az ML-t is, hogy felgyorsítsa a hitelesítés lezárását, csökkentse az átfutási időt és biztosítsa a maximális folyamathatékonyságot. A Questa Verification IQ olyan alkalmazásokat biztosít, amelyek a csapatalapú együttműködési ellenőrzések kezeléséhez szükségesek egy böngészőalapú keretrendszerben, központi hozzáféréssel az adatokhoz.

K: Miben hasonlít ez a megközelítés a Cadence Verisiumhoz?

A: A Cadence Verisium csak az ML által támogatott ellenőrzésre összpontosít. Összehasonlításképpen a Siemens Questa Verification IQ teljes körű adatvezérelt ellenőrzési megoldást kínál, amelyet az Analytics, az együttműködés és a nyomon követés vezérel. Az igazoláskezelést egy böngészőalapú eszköz biztosítja, amely az együttműködés köré épült alkalmazásokkal. A Coverage Analyzer az iparág első kollaboratív lefedettséglezáró eszközét kínálja az ML által támogatott analitikus navigáció segítségével. Kérdésellenőrzés Az IQ OSLC-t használva csatlakozik a Siemens Polarionhoz, és szoros digitális szálkövetést biztosít az Application Lifecycle Management segítségével a felhasználói felület kontextusának változása nélkül, így az ALM erejét a hardverellenőrzésben is lehetővé teszi.

Összegzésként

Mindig lenyűgöznek az új EDA-eszközök, amelyek megkönnyítik az összetett feladatokat azáltal, hogy okosabban dolgoznak, és nem igényelnek több órányi manuális erőfeszítést a mérnököktől. A Questa Verification IQ korai jóváhagyása olyan ismerős cégektől, mint az Arm és a Nordic Semiconductor, úgy tűnik, hogy a Siemens EDA valami meggyőző dolgot tett hozzá az ellenőrző csapatok számára.

Kapcsolódó blogok

Oszd meg ezt a bejegyzést ezen keresztül:

• SEO által támogatott tartalom és PR terjesztés. Erősödjön még ma.
• Platoblockchain. Web3 metaverzum intelligencia. Felerősített tudás. Hozzáférés itt.
• Forrás: https://semiwiki.com/eda/324031-achieving-faster-design-verification-closure/