2023 Retrospektif. Doğrulamada Yenilik - Semiwiki

Plato tarafından yeniden yayınlandı

İzleyiciler: 0

Ocak ayında her zamanki gibi geçen yıl incelediğimiz makalelere bir göz atarak başlıyoruz. Paul Cunningham (GM, Cadence'de Doğrulama), Raúl Camposano (Silikon Katalizörü, girişimci, eski Synopsys CTO'su ve şimdi Silvaco CTO'su) ve ben araştırma fikirleri serimize devam ediyoruz. Her zaman olduğu gibi geri bildirimlerinizi bekliyoruz. Fikirleri ve daha geniş konuları tartışmak ve geri bildirimlerinizi almak için bu yıl canlı bir seri başlatmayı planlıyoruz. Takip edilecek detaylar!

2023 Retrospektif

2023 Seçimleri

Bunlar, yıl boyunca yayınladığımız blogların popülerliğe göre sıralanmış halidir. Geçen yıla göre anlamlı bir artışla blog başına ortalama 12.7 bin etkileşim elde ettik; bunu, doğrulama aşamasındaki güncel araştırma incelemelerimizden keyif almaya devam ettiğinizin bir göstergesi olarak kabul ediyoruz. Liderin, neredeyse 17 bin sözleşmede otomatik kod incelemesine yüksek lisans (LLM) uygulaması sürpriz olmadı. Yakın bir saniye, model soyutlamalarını geliştirmek için ML'yi kullanıyor. Aslında 4'teki en iyi 2023 blogun tamamı AI/ML uygulamalarıyla ilgiliydi. Petri ağları, hızla gelişen DRAM protokollerini doğrulamak için bu yıl yeniden ortaya çıktı. Simülasyonda spekülasyon için özel donanım kullanılması ve anormallikleri bulma yöntemi, listeyi tamamlıyor. 2022 retrospektifi her zamanki gibi başarılı oldu ancak yıl boyunca diğer gazetelere olan ilginin gölgesinde kaldı. 2024'te daha fazla AI/ML uygulamasına bakacağımız kesin!

Paul'ün görüşü

Bir yıl daha uçup gidiyor ve Kasım 49'da blogu açtığımızdan bu yana 2019 makale okunuyor! O zamanlar bunun, doğrulama topluluğumuzu bir araya getirmenin ve dünyanın her yerindeki akademik kurumlarda doğrulama araştırmalarına yapılan sürekli yatırıma olan minnettarlığımızı göstermenin harika bir yolu olacağını düşünüyorduk.

Tahmin etmediğim şey, tüm bu makaleleri okumanın Cadence'de yeni yatırımlara ve yeniliklere nasıl ilham vereceğiydi. Bu blogu yazmak bana, mühendislikte yönetici düzeyinde bile, temel düzeydeki araştırmalarla bağlantıda kalmanın ve düzenli olarak makale okumanın iş açısından iyi olduğunu öğretti. Bu yüzden teşekkürler okuyucular ve teşekkürler Bernard!

Geçen yılki ilk 3 makalemizin tamamının doğrulamada yapay zeka kullanımına ilişkin makaleler olması ve bir tanesinin de kod incelemeyi otomatikleştirmek için yapay zeka üzerine olması şaşırtıcı değil (Link), karışık sinyalli cihazların yüksek seviyeli SimuLink modellerinde hataların daha hızlı bulunmasına yardımcı olmak için yapay zeka üzerinde bir tane (Link) ve bir test hatasının temel nedeninin hangi kaynak kodu satırı olduğunu otomatik olarak belirlemek için yapay zekanın kullanılmasıyla ilgili bir tanesi (Link). Burada hem akademide hem de ticari dünyada araştırmalara yatırım yapmaya kesinlikle devam etmemiz gerekiyor. Her nasılsa, önümüzdeki on yılda doğrulama verimliliğinde bir sonraki 10 katını bulmamız gerekiyor ve bu büyük ihtimalle yapay zekadan gelecek.

Bununla birlikte, 2024'teki kişisel haykırışım yapay zeka ile ilgili değil. Mantıksal simülasyondaki iki makale için: biri olay kuyruğunun spekülatif yürütülmesini kullanan paralelleştirme simülasyonu hakkında (Link) ve diğeri akıllı karma işlevlerini kullanarak kısıtlı rastgele testlerde rastgele girdilerin dağıtım kalitesinin iyileştirilmesine ilişkindir (Link). Ben bunlara "motor düzeyinde" yenilikler adını veriyorum; bunlar EDA araçlarının içindeki yapı taşlarını temelde daha iyi hale getiriyor. Burada da araştırma ve inovasyona devam etmemiz gerekiyor. Bu iki makale oldukça yenilikçiydi ancak yapay zeka ile hiçbir ilgisi yoktu. Yapay zeka ile ilgili olmayan inovasyonlara da yatırım yapmaya devam etmeyi unutmayalım.

Raúl'un görüşü

Bu retrospektifi tatil günlerinde yazmak kaçınılmaz olarak insanoğlunun sanata dönüştürülebilecek ihtiyaçlarından biri olan yemek yemeyle çatışıyor. Restoranları incelemek, inceleme makaleleriyle belki de ★★★ olağanüstü, özel bir yolculuğa değer, ★★ mükemmel, dolambaçlı yoldan gitmeye değer, ★ yüksek kalite, durmaya değer ve 😋 makul fiyatlarla son derece iyi gibi derecelendirmeleri haklı çıkarmak için yeterince ortaktır. Paul zaten şunu belirtti: Eylül ayı incelemesi bir “Michelin yıldızı konusu”. Tercihlerinizi (görüntüleme sayısı) ölçüt olarak kullanarak bu doğrultuda devam edeceğim sevgili okuyucular.

Geçen yılın blogu büyük ölçüde harika algoritmalar hakkındaydı, bu yılınki ise AI / ML ve Yazılım (SW). İlk üç ★★★ makalenin tamamı SW'nin AI/ML kullanılarak doğrulanmasıyla ilgiliydi. En çok puan alan blog (Temmuz) üretken yapay zeka ile kod incelemesi hakkındaydı, ikincisi (Kasım) vekil yapay zeka modellerini kullanarak Siber-Fiziksel Sistemler için SW'nin test edilmesi ve doğrulanmasıyla ilgilendi ve üçüncüsü (Mayıs) AI sınıflandırıcılarla Java geliştirmedeki hataları tespit etmek ve düzeltmekle ilgiliydi. Bu üç makaleden ikisi eğitim için GitHub'un büyük veri kümelerini kullanıyor. Bu tür veriler donanım (HW) tasarımı için kamuya açık değildir; Bu, en azından bu sonuçların HW için kopyalanıp kopyalanamayacağı/tekrarlanabileceği sorusunu gündeme getirecek kadar tartışmasız SW'den yeterince farklıdır. Yine de SW topluluğunun doğrulama konusunda neler yaptığına bakmak kesinlikle bir ilham kaynağıdır.

★★ ile sıralanan sonraki üç makale, AI/ML'nin, çok harika bir algoritmanın ve Petri-Net'lerin eklektik bir koleksiyonudur. Hepsi EDA'da doğrulamayla ilgilidir. Eylül ayı makale, İngilizceyi System Verilog Assertions'a (SVA) çevirmek için bir LLM (GPT-4) ve bir model denetleyici (JasperGold) kullanmanın bir önizlemesiydi. Sıradaki (Haziran) kısıtlı rastgele doğrulama için çözüm uzayının nasıl örnekleneceğine değindi muntazam (kısıtlamaları karşılamak) – zor bir problem için harika bir algoritma, 2014'ten kalma. Bu gruptaki son katkı (Nisan) JEDEC DDR spesifikasyonlarının doğrulanması için genişletilmiş Petri Nets; hem JEDEC spesifikasyonları hem de Petri Nets konusunda eğiticidir ve bir zamanlama ihlalini ortaya çıkarır.

★ ile sıralanan 7-9 numaralı makaleler analog tasarım doğrulaması, CPU doğrulaması ve paralel yazılım yürütmeyle ilgilidir. İçinde Ekim Solid-State Circuits Society'nin IEEE açık dergisine davet edilen bir makaleyi inceledik; analog tasarım ve doğrulama konusunda iyi bir eğitim olmasının yanı sıra, ana katkı, Spice simülasyonunu 4 kat hızlandırmak için analog devre modellerini fonksiyonel modellerle değiştirmekten ibarettir . Şubat ayının gazetesi CPU doğrulamasında rastgele talimat oluşturucularını geliştirmek için DNN'lerin kullanılmasıyla ilgiliydi ve "2 kat kadar simülasyon sayısı” basit bir örnekle (IBM Northstar, 5 talimat). Mart uygulamak için bize bir HW hızlandırıcının eksiksiz tasarımını getirdi Mekansal Olarak Konumlandırılmış Sıralı Görevler (SLOT) yürütme modeli paralellik ve spekülasyondan yararlanmak ve görevleri çalışma zamanında dinamik olarak üreten uygulamalar için.

Bu da bizi iki 😋 alıcıyla bırakıyor. İçinde Ağustos Silikon sonrası hata tespiti için k-means kümelenmesine (2013) öncülük eden 2013 tarihli bir makaleyi inceledik. Ve Aralık çok önemli bir konuya, IFT (Bilgi Akışı Takibi) kullanarak güvenlik doğrulamaya ve bunun kapı seviyesinden RTL'ye uzantısına baktık. Okuyucularımızın muhtemelen başlangıçta açıklanan ikilemle karşı karşıya olması nedeniyle Aralık ayının katkısının en az ilgiyi alması şaşırtıcı değil.

Derecelendirmeler bazen keyfi olabilir; tüm bu katkılar yıldız değerindedir ve en son teknolojiyi geliştirmektedir. Akademide ve endüstride gerçekten zorlu sorunlarla mücadele eden aktif, uluslararası bir araştırma topluluğuna minnettar olabiliriz. Kişisel tercihlerime göre tahmin edebilirsiniz…

Bu gönderiyi şu yolla paylaş: