Silikon tasarımının karmaşık dünyasında tasarımlarımızın doğruluğunu ve güvenilirliğini sağlamak çok önemlidir. Çiplerimiz daha karmaşık hale geldikçe, hata arama süreci (tasarımlarımızdaki hataları tespit etme ve düzeltme) daha da kritik hale geliyor. Üretken yapay zeka, hata avlama yeteneklerimizi geliştirerek silikon tasarım endüstrisinde devrim yaratma potansiyeline sahiptir. Nasıl? Deneyelim!
Deney 4: Böcek Avı
Üretken yapay zekanın silikon tasarımındaki etkinliğini göstermek için OpenAI'nin GPT-4'üyle bir deney yaptım. Sisteme bir tasarım spesifikasyonu sağladık (kaynak: https://mathcircle.berkeley.edu/sites/default/files/archivedocs/2010_2011/contest/1011contestpdf/comp8.pdf) tasarımın uygulanmasının yanı sıra. Amaç? GenAI'nin herhangi bir hatayı tespit edip edemeyeceğini görmek için.
Tasarım Özellikleri: 5×5 satranç tahtasında şah aşağıdaki kurallara göre hareket eder: 1. Yatay, dikey veya çapraz olarak her seferinde bir kare hareket edebilir. 2. Tüm rotası boyunca izin verilen sekiz yönün her birinde en fazla üç kez hareket edebilir.
GenAI modelinin çıktısı aşağıdadır:
1. Hata: cur_x_pos'un üzerine cur_y_pos ile yazılması başka başla cur_x_pos <= nxt_y_pos; cur_y_pos <= nxt_y_pos; son Bu bölüm şahın mevcut x pozisyonunun (cur_x_pos) her zaman nxt_y_pos değerini almasına neden olacaktır ki bu yanlıştır. Karşı örnek: Giriş Senaryosu: Şahın (2,2) konumunda olduğunu ve move_request'in yön = 3'b010 (Yukarı) ile sağlandığını varsayalım. Tasarım Geçişi: Beklenen: cur_x_pos 2 olarak kalır ve cur_y_pos 3 olur. Gerçek: Hem cur_x_pos hem de cur_y_pos 3 olur. Sonuç: Beklenen Sonuç: Şah (2,3)'e geçer. Gerçek Sonuç: Şah (3,3)'e geçer.
2. Hata: cur_moves_count[]'un sıfıra başlatılması if (sıfırla) cur_moves_count[dir] <= 3'd0; Sıfırlama sonrasında tüm yönlerin hareket sayıları sıfıra ayarlanır. Bununla birlikte, maksimum hamleleri kontrol etme koşulu < 3'd3'ü kullanır; bu, bir hata ortaya çıkmadan önce şahın her yönde 4 kez hareket edebileceği anlamına gelir. Karşı örnek: Giriş Senaryosu: Şahın (0,0) konumunda olduğunu ve yön = 3'b000 (Sağ) ile ardışık dört move_request'in sağlandığını varsayalım. Tasarım Geçişi: Beklenen: Sağa doğru 3 hamleden sonra 4. hamle bir hata tetiklemelidir. Gerçek: Şah herhangi bir hata tetiklemeden dört kez sağa doğru hareket eder. Sonuç: Beklenen Sonuç: Şah (3,0)'a hareket eder ve ardından hata tetiklenir. Gerçek Sonuç: Şah hatasız olarak (4,0)'a hareket eder.
3. Hata: Sınır Kontrolü Eksikliği Kod, şahın satranç tahtası üzerindeki hareketi için sınır kontrolleri içermesine rağmen, 3 bitlik değerlerin eklenmesi veya çıkarılmasının yuvarlanma hatalarına yol açabileceği olasılığını hesaba katmaz. Örneğin, cur_x_pos 3'd7 ise (mevcut tasarıma göre bu gerçekleşmemelidir, ancak dış etkiler veya diğer tasarım sorunları nedeniyle olabilir), 1'in çıkarılması, bit yuvarlanması nedeniyle beklenen 0 yerine 6 ile sonuçlanabilir. . Karşı örnek: Mevcut tasarım böyle bir senaryonun gerçekleşmesine izin vermediğinden bu teorik bir hata olabilir. Ancak sağlam tasarım için bunu dikkate almak önemlidir. Öneri: Sınır kontrolleri iyileştirilebilir ve şahın konumunun hiçbir zaman geçerli aralığın dışına çıkmamasını sağlamak için ilave akıl sağlığı kontrolleri eklenebilir.
İlgi Çekici Gözlemler
- Hata Tanımlaması: GenAI modeli, senaryo, geçişler ve gerçek ve beklenen sonuç analizini içeren uygun bir karşı örnekle tasarım spesifikasyonu ile uygulanması arasındaki belirli bir farklılığı tespit etti. Bu gerçekten düzeltilmesi gereken gerçek bir hataydı.
- Yanlış Negatif: Her araç gibi, Üretken Yapay Zeka da hatasız değildir. Daha yakından incelendiğinde bir hata olmadığı ortaya çıkan bir sorunu vurguladı. Bu, yapay zekanın değerli bir yardımcı olabileceğini ancak insan uzmanlığının ve yargısının doğrulama sürecinde hayati önem taşıdığını hatırlatıyor.
- Geliştirme Sorunu: GenAI modeli, yalnızca hata aramanın ötesinde bir geliştirme de önerdi; tasarımın mutlaka bir hatayı düzeltmek yerine tasarımı daha da optimize edecek şekilde iyileştirilmesine yönelik bir öneri. Bu beklenmedik fayda, yapay zekanın yalnızca hataları bulmada değil aynı zamanda yenilik önermede de nasıl yardımcı olabileceğini gösteriyor.
Yarının Manzarası – GenAI destekli HDL Kod Düzenleyicileri/Analizörleri!
Bu deneyin sonuçları çok derin. Üretken yapay zeka araçlarını HDL kod geliştirme akışımıza entegre ederek şunları yapabiliriz:
- Hata avlama sürecini hızlandırın: Hata tespitinin ilk aşamalarının otomatikleştirilmesi, uzun simülasyon dalga formlarında hata ayıklama için harcanan çalışma saatlerini azaltabilir.
- Doğrulama maliyetini azaltın: Doğrulama araçlarının/mühendislerinin bulması gereken daha az hata kaldığında, doğrulamanın kapatılması daha erken gerçekleştirilebilir ve bu da uzun vadede maliyet tasarrufuna yol açar.
Sonuç olarak
Yarı iletken endüstrisi gelişmeye devam ederken, Üretken Yapay Zeka gibi araçlardan yararlanmak bize avantaj sağlayabilir, tasarımlarımızın yalnızca hatasız olmasını değil aynı zamanda mümkün olanın sınırlarını zorlamasını da sağlayabilir. Yardımcı pilotların ve eklentilerin sektörde geniş çapta benimsenmesi yalnızca zaman meselesidir.
Ayrıca Oku:
Silikon Tasarımı için Üretken Yapay Zeka – Madde 3 (Tasarımımı Simüle Et)
Silikon Tasarımı için Üretken Yapay Zeka – Madde 2 (Dalga Biçimimde Hata Ayıklama)
Silikon Tasarımı için Üretken Yapay Zeka – Madde 1 (My FSM'yi Kodlayın)
Bu gönderiyi şu yolla paylaş:
- SEO Destekli İçerik ve Halkla İlişkiler Dağıtımı. Bugün Gücünüzü Artırın.
- PlatoData.Network Dikey Üretken Yapay Zeka. Kendine güç ver. Buradan Erişin.
- PlatoAiStream. Web3 Zekası. Bilgi Genişletildi. Buradan Erişin.
- PlatoESG. karbon, temiz teknoloji, Enerji, Çevre, Güneş, Atık Yönetimi. Buradan Erişin.
- PlatoSağlık. Biyoteknoloji ve Klinik Araştırmalar Zekası. Buradan Erişin.
- Kaynak: https://semiwiki.com/eda/338432-generative-ai-for-silicon-design-article-4-hunt-for-bugs/
- :vardır
- :dır-dir
- :olumsuzluk
- $UP
- 1
- 4th
- 7
- 8
- a
- Göre
- Hesap
- doğruluk
- elde
- karşısında
- gerçek
- katma
- ekleme
- Ek
- Benimseme
- Sonra
- AI
- Türkiye
- izin vermek
- yanında
- Ayrıca
- Rağmen
- her zaman
- an
- analiz
- ve
- herhangi
- ARE
- Dizi
- göre
- AS
- Asistan
- üstlenmek
- At
- ayrıca otomasyonun
- merkezli
- BE
- müşterimiz
- olur
- önce
- başlamak
- yarar
- Berkeley
- arasında
- Ötesinde
- Bit
- her ikisi de
- sınırları
- Böcek
- böcek avı
- böcek
- fakat
- by
- CAN
- yetenekleri
- dava
- Sebeb olmak
- Kontrol
- Çekler
- satranç
- cips
- yakın
- kapatma
- kod
- karşılaştırma
- karmaşık
- koşul
- yürütülen
- ardışık
- Düşünmek
- içeren
- devam ediyor
- Ücret
- tasarruf
- olabilir
- yaratmak
- kritik
- çok önemli
- akım
- tanımlamak
- göstermek
- gösteriyor
- Dizayn
- tasarımlar
- detaylı
- Bulma
- gelişme
- DID
- yön
- yol tarifi
- tutarsızlık
- yok
- aşağı
- gereken
- her
- kenar
- etki
- başka
- son
- artırılması
- sağlamak
- sağlanması
- Tüm
- hata
- Hatalar
- gerekli
- Eter (ETH)
- Hatta
- gelişmek
- aşıyor
- beklenen
- deneme
- Uzmanlık
- dış
- daha az
- bulmak
- bulma
- akış
- takip etme
- İçin
- dört
- itibaren
- fonksiyonel
- daha fazla
- Kazanç
- üretken
- üretken yapay zeka
- gerçek
- Vermek
- gol
- Goes
- olmak
- yardım et
- Vurgulamak
- ambar
- Ne kadar
- Ancak
- HTTPS
- insan
- av
- avcılık
- i
- Kimlik
- belirlemek
- if
- uygulama
- etkileri
- gelişmiş
- geliştirme
- in
- Dahil olmak üzere
- belirtmek
- sanayi
- ilk
- yenilikler
- giriş
- örnek
- Bütünleştirme
- içine
- konu
- sorunlar
- IT
- ONUN
- sadece
- King
- Eksiklik
- manzara
- önemli
- sol
- izin
- kaldıraç
- sevmek
- LİMİT
- Uzun
- Mesele
- maksimum genişlik
- maksimum
- anlam
- olabilir
- hataları
- model
- modül
- Daha
- çoğu
- hareket
- hareket
- hamle
- my
- zorunlu olarak
- gerekli
- negatif
- asla
- of
- on
- ONE
- bir tek
- optimize
- or
- Diğer
- bizim
- dışarı
- Sonuç
- çıktı
- dışında
- Olağanüstü
- başına
- Platon
- Plato Veri Zekası
- PlatoVeri
- pozisyon
- olasılık
- mümkün
- Çivi
- potansiyel
- powered
- mevcut
- süreç
- derin
- uygun
- önerilen
- sağlanan
- itme
- yükseltilmiş
- menzil
- daha doğrusu
- Okumak
- Tavsiye
- azaltmak
- Reg
- güvenilirlik
- kalmak
- kalıntılar
- hatırlatma
- talep
- sonuç
- devrim yapmak
- krallar gibi yaşamaya
- gürbüz
- Rota
- kurallar
- koşmak
- s
- Tasarruf
- senaryo
- Bölüm
- görmek
- yarıiletken
- vermektedir
- meli
- Silikon
- simülasyon
- sofistike
- kaynaklı
- özel
- şartname
- harcanmış
- kare
- aşamaları
- böyle
- sistem
- T
- Bizi daha iyi tanımak için
- göre
- o
- The
- sonra
- teorik
- Re-Tweet
- üç
- zaman
- zamanlar
- için
- araç
- araçlar
- geçiş
- geçişler
- tetikleyebilir
- tetiklenir
- tetikleme
- Dönük
- Beklenmedik
- üzerine
- Dik
- us
- kullanım
- geçerli
- onaylama
- Değerli
- değer
- Değerler
- Doğrulama
- Karşı
- dikine
- üzerinden
- vs
- oldu
- we
- ne zaman
- hangi
- süre
- geniş
- irade
- ile
- olmadan
- Dünya
- X
- zefirnet
- sıfır