Piisuunnittelun monimutkaisessa maailmassa suunnittelujemme tarkkuuden ja luotettavuuden varmistaminen on ensiarvoisen tärkeää. Kun sirumme kehittyvät entistä kehittyneemmiksi, vianetsintäprosessi – suunnittelumme virheiden tunnistaminen ja korjaaminen – muuttuu entistä kriittisemmäksi. Generatiivisella tekoälyllä on potentiaalia mullistaa piisuunnitteluteollisuutta parantamalla vianetsintäkykyämme. Miten? Kokeillaan!
Koe 4: Etsi vikoja
Osoittaakseni Generative AI:n tehokkuutta piisuunnittelussa tein kokeen OpenAI:n GPT-4:llä. Toimitimme järjestelmälle suunnitteluspesifikaation (lähde osoitteesta https://mathcircle.berkeley.edu/sites/default/files/archivedocs/2010_2011/contest/1011contestpdf/comp8.pdf) suunnittelun toteutuksen ohella. Maali? Katsoaksesi, voisiko GenAI tunnistaa vikoja.
Suunnittelutiedot: 5 × 5 shakkilaudalla kuningas liikkuu seuraavien sääntöjen mukaan: 1. Se voi liikkua yhtä ruutua kerrallaan vaakasuunnassa, pystysuunnassa tai vinottain. 2. Se voi liikkua jokaisessa kahdeksassa sallitussa suunnassa enintään kolme kertaa koko reitin aikana.
Seuraava on GenAI-mallin tulos:
1. Virhe: Cur_x_pos:n korvaaminen cur_y_posilla else begin cur_x_pos <= nxt_y_pos; cur_y_pos <= nxt_y_pos; end Tämä osa saa kuninkaan nykyisen x-paikan (cur_x_pos) aina ottamaan nxt_y_pos arvon, mikä on virheellinen. Vastaesimerkki: Syöttöskenaario: Oletetaan, että kuningas on paikassa (2,2) ja Move_request on annettu suunnalla = 3'b010 (Ylös). Suunnittelun siirtymä: Odotettu: cur_x_pos jää 2:ksi ja cur_y_pos muuttuu 3. Todellinen: Sekä cur_x_pos että cur_y_pos muuttuvat 3:ksi. Tulos: Odotettu tulos: Kuningas siirtyy kohtaan (2,3). Todellinen lopputulos: Kuningas siirtyy kohtaan (3,3).
2. Virhe: cur_moves_count[] alustus nollaan if (reset) cur_moves_count[dir] <= 3'd0; Kaikkien suuntien liikemäärät alustetaan nollaan nollauksen yhteydessä. Kuitenkin ehto tarkistaa maksimiliikkeet käyttää < 3'd3, mikä tarkoittaa, että kuningas voi liikkua 4 kertaa kumpaankin suuntaan ennen kuin virhe nostetaan. Vastaesimerkki: Syöttöskenaario: Oletetaan, että kuningas on paikassa (0,0) ja neljä peräkkäistä siirtopyyntöä annetaan suunnalla = 3'b000 (oikea). Suunnittelun siirtyminen: Odotettu: Kun 3 siirtoa oikealle on tehty, 4. liikkeen pitäisi laukaista virhe. Todellinen: Kuningas liikkuu neljä kertaa oikealle laukaisematta virhettä. Tulos: Odotettu Lopputulos: Kuningas siirtyy kohtaan (3,0) ja sitten tapahtuu virhe. Todellinen lopputulos: Kuningas siirtyy kohtaan (4,0) ilman virhettä.
3. Virhe: Rajatarkistuksen puute Vaikka koodi sisältää rajatarkistuksia kuninkaan liikkeelle shakkilaudalla, se ei ota huomioon mahdollisuutta, että 3-bittisten arvojen lisääminen tai vähentäminen voisi johtaa kiertymisvirheisiin. Jos esimerkiksi cur_x_pos on 3'd7 (mitä ei pitäisi tapahtua nykyisen suunnitelman perusteella, mutta saattaa johtua ulkoisista vaikutuksista tai muista suunnitteluongelmista), 1:n vähentäminen voi johtaa 0:aan odotetun 6:n sijaan bitin vaihdon vuoksi. . Vastaesimerkki: Tämä saattaa olla teoreettinen virhe, koska nykyinen rakenne ei salli tällaisen skenaarion toteutumista. Tämä on kuitenkin välttämätöntä ottaa huomioon kestävän suunnittelun kannalta. Suositus: Rajatarkastuksia voidaan parantaa, ja ylimääräisiä mielenterveystarkastuksia voidaan lisätä varmistamaan, että kuninkaan asema ei koskaan mene voimassa olevan alueen ulkopuolelle.
Kiinnostavia havaintoja
- Virheiden tunnistus: GenAI-malli osoitti tietyn eron suunnitteluspesifikaatioiden ja sen toteutuksen välillä asianmukaisella vastaesimerkillä, joka sisälsi skenaarion, siirtymät ja todellisen vs. odotetun tuloksen analyysin. Tämä oli todellakin aito bugi, joka kaipasi korjausta.
- Väärä negatiivinen: Kuten mikä tahansa työkalu, Generative AI ei ole erehtymätön. Se nosti esiin ongelman, joka tarkemmin tarkasteltuna osoittautui, ettei se ollut vika. Tämä on muistutus siitä, että vaikka tekoäly voi olla arvokas apulainen, inhimillinen asiantuntemus ja harkintakyky ovat edelleen ratkaisevan tärkeitä validointiprosessissa.
- Lisäysongelma: Pelkän virheen metsästyksen lisäksi GenAI-malli ehdotti myös parannusta - ehdotusta suunnittelun parantamiseksi, joka ei välttämättä ollut vian korjaaminen, vaan suunnittelun optimointi edelleen. Tämä odottamaton etu osoittaa, kuinka tekoäly voi auttaa paitsi virheiden etsimisessä myös ehdottamaan innovaatioita.
Huomisen maisema – GenAI-käyttöiset HDL-koodieditorit/analysaattorit!
Tämän kokeilun vaikutukset ovat syvällisiä. Integroimalla generatiiviset tekoälytyökalut HDL-koodin kehityskulkuumme, voimme:
- Nopeuta vianetsintäprosessia: Virheiden havaitsemisen alkuvaiheiden automatisointi voi vähentää pitkien simulaatioaaltomuotojen virheenkorjaukseen käytettyjä työtunteja.
- Vähennä vahvistuskuluja: Koska todennustyökalujen/suunnittelijoiden löydettäviä virheitä on vähemmän, vahvistus voidaan sulkea nopeammin, mikä johtaa kustannussäästöihin pitkällä aikavälillä.
Johtopäätös
Puolijohdeteollisuuden kehittyessä jatkuvasti, generatiivisen tekoälyn kaltaisten työkalujen hyödyntäminen voi antaa meille etulyöntiaseman ja varmistaa, että suunnittelumme eivät ole vain virheettömiä, vaan myös ylittävät mahdollisuuksien rajoja. On vain ajan kysymys, milloin apupilotit ja laajennukset yleistyvät laajalti alalla.
Lue myös:
Silicon Designin luova tekoäly – artikla 3 (Simuloi suunnitteluani)
Generative AI for Silicon Design – artikla 2 (Debug My Waveform)
Generative AI for Silicon Design – artikla 1 (Code My FSM)
Jaa tämä viesti:
- SEO-pohjainen sisällön ja PR-jakelu. Vahvista jo tänään.
- PlatoData.Network Vertical Generatiivinen Ai. Vahvista itseäsi. Pääsy tästä.
- PlatoAiStream. Web3 Intelligence. Tietoa laajennettu. Pääsy tästä.
- PlatoESG. hiili, CleanTech, energia, ympäristö, Aurinko, Jätehuolto. Pääsy tästä.
- PlatonHealth. Biotekniikan ja kliinisten kokeiden älykkyys. Pääsy tästä.
- Lähde: https://semiwiki.com/eda/338432-generative-ai-for-silicon-design-article-4-hunt-for-bugs/
- :on
- :On
- :ei
- $ YLÖS
- 1
- 4.
- 7
- 8
- a
- Mukaan
- Tili
- tarkkuus
- saavutettu
- poikki
- todellinen
- lisä-
- lisää
- lisä-
- Hyväksyminen
- Jälkeen
- AI
- Kaikki
- sallia
- rinnalla
- Myös
- Vaikka
- aina
- an
- analyysi
- ja
- Kaikki
- OVAT
- Ryhmä
- artikkeli
- AS
- Avustaja
- olettaa
- At
- automatisointi
- perustua
- BE
- tulevat
- tulee
- ennen
- alkaa
- hyödyttää
- Berkeley
- välillä
- Jälkeen
- Bitti
- sekä
- rajat
- Vika
- bugien metsästys
- Bugs
- mutta
- by
- CAN
- kyvyt
- tapaus
- Aiheuttaa
- tarkastaa
- Tarkastukset
- shakki
- sirut
- lähempänä
- sulkeminen
- koodi
- vertailu
- monimutkainen
- ehto
- tehty
- peräkkäinen
- Harkita
- sisältää
- jatkuu
- Hinta
- kustannussäästöjä
- voisi
- luoda
- kriittinen
- ratkaiseva
- Nykyinen
- määritellä
- osoittaa
- osoittaa
- Malli
- mallit
- yksityiskohtainen
- Detection
- Kehitys
- DID
- suunta
- ohjeet
- ristiriita
- ei
- alas
- kaksi
- kukin
- reuna
- tehokkuus
- muu
- loppu
- parantaa
- varmistaa
- varmistamalla
- Koko
- virhe
- virheet
- olennainen
- Eetteri (ETH)
- Jopa
- kehittää
- ylittää
- odotettu
- kokeilu
- asiantuntemus
- ulkoinen
- vähemmän
- Löytää
- löytäminen
- virtaus
- jälkeen
- varten
- neljä
- alkaen
- toiminnallinen
- edelleen
- Saada
- generatiivinen
- Generatiivinen AI
- aito
- Antaa
- tavoite
- Goes
- tapahtua
- auttaa
- Korostaa
- pitää
- Miten
- Kuitenkin
- HTTPS
- ihmisen
- metsästys
- Metsästys
- i
- Tunnistaminen
- tunnistaa
- if
- täytäntöönpano
- vaikutukset
- parani
- parantaminen
- in
- Mukaan lukien
- osoittaa
- teollisuus
- ensimmäinen
- innovaatiot
- panos
- esimerkki
- Integrointi
- tulee
- kysymys
- kysymykset
- IT
- SEN
- vain
- kuningas
- Lack
- Landschaft
- johtava
- vasemmalle
- antaa
- vipuvaikutuksen
- pitää
- RAJOITA
- Pitkät
- asia
- max-width
- maksimi
- merkitys
- ehkä
- virheitä
- malli
- moduuli
- lisää
- eniten
- liikkua
- liike
- liikkuu
- my
- välttämättä
- tarvitaan
- negatiivinen
- ei ikinä
- of
- on
- ONE
- vain
- optimoimalla
- or
- Muut
- meidän
- ulos
- Tulos
- ulostulo
- ulkopuolella
- Tärkein
- varten
- Platon
- Platonin tietotieto
- PlatonData
- sijainti
- mahdollisuus
- mahdollinen
- Kirje
- mahdollinen
- powered
- esittää
- prosessi
- syvällinen
- asianmukainen
- ehdotettu
- mikäli
- Työnnä
- esille
- alue
- pikemminkin
- Lue
- Suositus
- vähentää
- Reg
- luotettavuus
- jäädä
- jäännökset
- muistutus
- pyyntö
- johtua
- mullistaa
- oikein
- luja
- Reitti
- säännöt
- ajaa
- s
- Säästöt
- skenaario
- Osa
- nähdä
- puolijohde
- palvelee
- shouldnt
- Pii
- simulointi
- hienostunut
- hankitaan
- erityinen
- määrittely
- käytetty
- neliö
- vaiheissa
- niin
- järjestelmä
- T
- ottaa
- kuin
- että
- -
- sitten
- teoreettinen
- tätä
- kolmella
- aika
- kertaa
- että
- työkalu
- työkalut
- siirtyminen
- siirtymät
- laukaista
- laukeaa
- liipaisu
- Sorvatut
- Odottamaton
- päälle
- Pystyssä
- us
- käyttötarkoituksiin
- pätevä
- validointi
- arvokas
- arvo
- arvot
- Vahvistus
- Vastaan
- pystysuoraan
- kautta
- vs
- oli
- we
- kun
- joka
- vaikka
- leveä
- tulee
- with
- ilman
- maailman-
- X
- zephyrnet
- nolla-