A szilícium tervezés összetett világában tervezéseink pontosságának és megbízhatóságának biztosítása a legfontosabb. Ahogy chipjeink egyre kifinomultabbak, a hibakeresés folyamata – a tervezési hibák azonosítása és kijavítása – még kritikusabbá válik. A generatív mesterséges intelligencia képes forradalmasítani a szilíciumtervezőipart azáltal, hogy javítja hibakeresési képességeinket. Hogyan? Kísérletezzünk!
4. kísérlet: Poloskavadászat
A generatív mesterséges intelligencia szilícium tervezésben való hatékonyságának demonstrálására kísérletet végeztem az OpenAI GPT-4-gyel. A rendszert tervezési specifikációval láttuk el (forrás: https://mathcircle.berkeley.edu/sites/default/files/archivedocs/2010_2011/contest/1011contestpdf/comp8.pdf) a terv megvalósítása mellett. A cél? Hogy megtudja, a GenAI képes-e azonosítani a hibákat.
Tervezési specifikáció: Az 5 × 5-ös sakktáblán a király a következő szabályok szerint mozog: 1. Egyszerre egy négyzetet mozgathat vízszintesen, függőlegesen vagy átlósan. 2. A nyolc megengedett irány mindegyikében legfeljebb háromszor mozoghat a teljes útvonalon.
A következő a GenAI modell kimenete:
1. Hiba: A cur_x_pos felülírása a cur_y_pos paraméterrel másképp kezdődik cur_x_pos <= nxt_y_pos; cur_y_pos <= nxt_y_pos; vége Ez a szakasz azt eredményezi, hogy a király aktuális x pozíciója (cur_x_pos) mindig az nxt_y_pos értékét veszi fel, ami hibás. Ellenpélda: Bemeneti forgatókönyv: Tegyük fel, hogy a király a (2,2) pozícióban van, és a move_request iránya = 3'b010 (Fel). Tervezési átmenet: Várható: cur_x_pos 2 marad, cur_y_pos pedig 3 lesz. Tényleges: A cur_x_pos és cur_y_pos is 3 lesz. Eredmény: Várható eredmény: Király (2,3) pontra lép. Tényleges eredmény: Király (3,3) pontra lép.
2. Hiba: cur_moves_count[] inicializálása nullára if (reset) cur_moves_count[könyvtár] <= 3'd0; Az összes irány mozgásszámlálója nullára nullázódik visszaállításkor. A maximális mozgások ellenőrzésének feltétele azonban < 3'd3, ami azt jelenti, hogy a király 4-szer mozoghat mindkét irányban, mielőtt hiba lépne fel. Ellenpélda: Bemeneti forgatókönyv: Tegyük fel, hogy a király a (0,0) pozícióban van, és négy egymást követő mozgás_kérelem iránya = 3'b000 (jobbra). Tervezési átmenet: Várható: 3 jobbra lépés után a 4. lépésnek hibát kell kiváltania. Aktuális: Király négyszer mozdul jobbra anélkül, hogy hibát váltana ki. Eredmény: Várható eredmény: A király (3,0)-ra lép, majd hiba lép fel. Tényleges eredmény: Király hiba nélkül lép (4,0)-ra.
3. Bug: A határellenőrzés hiánya Bár a kód tartalmaz határellenőrzéseket a király mozgására a sakktáblán, nem veszi figyelembe annak lehetőségét, hogy a 3 bites értékek összeadása vagy kivonása átgörgetési hibákat eredményezhet. Például, ha a cur_x_pos értéke 3'd7 (aminek nem szabadna megtörténnie a jelenlegi terv alapján, de külső hatások vagy egyéb tervezési problémák miatt előfordulhat), az 1-es kivonása 0-t eredményezhet, nem pedig a várt 6-ot a bit átgörgetése miatt. . Ellenpélda: Ez elméleti hiba lehet, mivel a jelenlegi kialakítás nem teszi lehetővé egy ilyen forgatókönyv előfordulását. Ezt azonban elengedhetetlen figyelembe venni a robusztus kialakítás érdekében. Javaslat: A határellenőrzések javíthatók, és további józansági ellenőrzések is hozzáadhatók annak biztosítására, hogy a király pozíciója soha ne kerüljön az érvényes tartományon kívülre.
Érdekes megfigyelések
- Hiba azonosítás: A GenAI modell konkrét eltérést mutatott ki a tervezési specifikáció és annak megvalósítása között egy megfelelő ellenpéldával, beleértve a forgatókönyvet, az átmeneteket és a tényleges és a várt eredmény elemzését. Ez valóban egy valódi hiba volt, amelyet javítani kellett.
- Hamis negatív: Mint minden eszköz, a Generatív AI sem tévedhetetlen. Rávilágított egy problémára, amelyről közelebbről megvizsgálva kiderült, hogy nem hiba. Ez emlékeztet arra, hogy bár a mesterséges intelligencia értékes asszisztens lehet, az emberi szakértelem és az ítélőképesség továbbra is kulcsfontosságú az érvényesítési folyamatban.
- Bővítési probléma: A hibakeresésen túl a GenAI modell egy fejlesztést is javasolt – a tervezés javítására tett javaslatot, amely nem feltétlenül a hiba kijavítását, hanem a tervezés további optimalizálását jelentette. Ez a váratlan előny azt mutatja, hogy a mesterséges intelligencia nem csak a hibák feltárásában, hanem az újítások javaslatában is segíthet.
Tomorrow’s Landscape – GenAI által üzemeltetett HDL kódszerkesztők/elemzők!
Ennek a kísérletnek mélyreható következményei vannak. A Generatív AI eszközök HDL-kód fejlesztési folyamatunkba történő integrálásával a következőket tehetjük:
- A hibakeresési folyamat felgyorsítása: A hibaészlelés kezdeti szakaszainak automatizálása csökkentheti a hosszú szimulációs hullámformák hibakeresésével töltött munkaórákat.
- Csökkentse az ellenőrzési költségeket: Mivel kevesebb hiba marad az ellenőrző eszközök/mérnökök számára, az ellenőrzést hamarabb le lehet zárni, ami hosszú távon költségmegtakarítást eredményez.
A következtetés
Ahogy a félvezetőipar folyamatosan fejlődik, az olyan eszközök kihasználása, mint a Generative AI, előnyt jelenthet számunkra, biztosítva, hogy tervezésünk ne csak hibamentes legyen, hanem a lehetséges határait is feszegesse. Csak idő kérdése, hogy a másodpilóták és a beépülő modulok széles körben elterjedjenek az iparágban.
Is Read:
Generatív mesterséges intelligencia a szilícium tervezéshez – 3. cikk (Simulate My Design)
Generatív mesterséges intelligencia a szilícium tervezéshez – 2. cikk (Debug My Waveform)
Generatív mesterséges intelligencia a szilícium tervezéshez – 1. cikk (Code My FSM)
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.
- PlatoData.Network Vertical Generative Ai. Erősítse meg magát. Hozzáférés itt.
- PlatoAiStream. Web3 Intelligence. Felerősített tudás. Hozzáférés itt.
- PlatoESG. Carbon, CleanTech, Energia, Környezet, Nap, Hulladékgazdálkodás. Hozzáférés itt.
- PlatoHealth. Biotechnológiai és klinikai vizsgálatok intelligencia. Hozzáférés itt.
- Forrás: https://semiwiki.com/eda/338432-generative-ai-for-silicon-design-article-4-hunt-for-bugs/
- :van
- :is
- :nem
- $ UP
- 1
- 4th
- 7
- 8
- a
- Szerint
- Fiók
- pontosság
- elért
- át
- tényleges
- hozzáadott
- hozzáadásával
- További
- Örökbefogadás
- Után
- AI
- Minden termék
- lehetővé
- mellett
- Is
- Bár
- mindig
- an
- elemzés
- és a
- bármilyen
- VANNAK
- Sor
- cikkben
- AS
- Helyettes
- feltételezni
- At
- automatizálás
- alapján
- BE
- válik
- válik
- előtt
- kezdődik
- haszon
- Berkeley
- között
- Túl
- Bit
- mindkét
- határait
- Bogár
- poloskavadászat
- bogarak
- de
- by
- TUD
- képességek
- eset
- Okoz
- ellenőrizze
- Ellenőrzések
- sakk
- játékpénz
- közelebb
- bezárás
- kód
- összehasonlítás
- bonyolult
- feltétel
- lefolytatott
- folyamatos
- Fontolja
- tartalmaz
- tovább
- Költség
- költségmegtakarítás
- tudott
- teremt
- kritikai
- kritikus
- Jelenlegi
- meghatározott
- bizonyítani
- mutatja
- Design
- tervek
- részletes
- Érzékelés
- Fejlesztés
- DID
- irány
- irányok
- eltérés
- nem
- le-
- két
- minden
- él
- hatékonyság
- más
- végén
- fokozása
- biztosítására
- biztosítása
- Egész
- hiba
- hibák
- alapvető
- Eter (ETH)
- Még
- fejlődik
- meghaladja
- várható
- kísérlet
- szakvélemény
- külső
- kevesebb
- Találjon
- megtalálása
- áramlási
- következő
- A
- négy
- ból ből
- funkcionális
- további
- Nyereség
- nemző
- Generatív AI
- valódi
- Ad
- cél
- Goes
- történik
- segít
- Kiemel
- tart
- Hogyan
- azonban
- HTTPS
- emberi
- vadászat
- Vadászat
- i
- Azonosítás
- azonosítani
- if
- végrehajtás
- következményei
- javított
- javuló
- in
- Beleértve
- jelez
- ipar
- kezdetben
- újítások
- bemenet
- példa
- integrálása
- bele
- kérdés
- kérdések
- IT
- ITS
- éppen
- király
- hiány
- táj
- vezető
- balra
- hadd
- erőfölény
- mint
- LIMIT
- Hosszú
- Anyag
- max-width
- maximális
- jelenti
- esetleg
- hibákat
- modell
- modul
- több
- a legtöbb
- mozog
- mozgalom
- mozog
- my
- szükségszerűen
- szükséges
- negatív
- soha
- of
- on
- ONE
- csak
- optimalizálása
- or
- Más
- mi
- ki
- Eredmény
- teljesítmény
- kívül
- Legfőbb
- mert
- Plató
- Platón adatintelligencia
- PlatoData
- pozíció
- lehetőség
- lehetséges
- állás
- potenciális
- powered
- be
- folyamat
- mélységes
- megfelelő
- javasolt
- feltéve,
- Toló
- emelt
- hatótávolság
- Inkább
- Olvass
- Ajánlást
- csökkenteni
- reg
- megbízhatóság
- marad
- maradványok
- emlékeztető
- kérni
- eredményez
- forradalmasítani
- jobb
- erős
- Útvonal
- szabályok
- futás
- s
- Megtakarítás
- forgatókönyv
- Rész
- lát
- félvezető
- szolgálja
- kellene
- Szilícium
- tettetés
- kifinomult
- származó
- különleges
- leírás
- költött
- négyzet
- állapota
- ilyen
- rendszer
- T
- Vesz
- mint
- hogy
- A
- akkor
- elméleti
- ezt
- három
- idő
- alkalommal
- nak nek
- szerszám
- szerszámok
- átmenet
- átmenetek
- kiváltó
- váltott
- kioldás
- Fordult
- Váratlan
- upon
- Függőleges
- us
- használ
- érvényes
- érvényesítés
- Értékes
- érték
- Értékek
- Igazolás
- Ellen
- függőlegesen
- keresztül
- vs
- volt
- we
- amikor
- ami
- míg
- széles
- lesz
- val vel
- nélkül
- világ
- X
- zephyrnet
- nulla