2021 Retrospektif. Doğrulamada Yenilik

Geçen yıl oluşturduğumuz gibi, bu blogun Ocak sayısını geçen yıl gözden geçirdiğimiz makalelere bakmak için kullanacağız. Jim Hogan'ı ve onun içgörülerinin faydasını geçen yılın başlarında kaybettik, ancak Raúl Camposano'da (Jim'in başka bir arkadaşı) yeni ve aynı zamanda iyi bilinen bir uzman kazandık. Paul (GM, Verification at Cadence), Raúl (Silicon Catalyst, girişimci, eski Synopsys CTO'su) ve ben bu seriye 2022 ve sonrasında devam etmeye hazırız. Her zaman olduğu gibi, geri bildirim hoş geldiniz.

2021 Seçimleri

Bunlar, Ocak'tan Aralık'a kadar sıralanmış bloglardır. Hepsi iyi hit aldı. En sıcak olanı retrospektifti, bana başkalarının en ilginç bulduklarını bilmek istediğinizi düşündürdü 😀. Bu yıl “Geniş Kapsama Delikleri Bulma” ve “Çevik ve Doğrulama” öne çıkarken, bunu “Yan Kanal Analizi” ve “Silikon Sonrası Doğrulama Enstrümanı” izledi. Nerede yeni fikirler aradığınıza dair oldukça iyi göstergeler.

2020 Retrospektif

Büyük Kapsama Delikleri Bulma

Öykünmede Derleme Süresini Azaltma

Çevik ve Doğrulama, Doğrulama

SoC Güvenliğini Doğrulamak için Fuzzing

Sinir Ağları ve CR Testi

Silikon Sonrası Doğrulama Enstrümantasyon

RTL'de Yan Kanal Analizi

ISA benzeri bir Hızlandırıcı Soyutlama

RTL'de Bellek Tutarlılığı Kontrolleri

Öğrenmeye Dayalı Güç Modelleme

Ölçeklenebilir Concolic Testi

Paul'ün görüşü

Bu blogdan gerçekten keyif alıyorum; 2 yıl geçtiğine inanamıyorum. Bernard'ın her ay yeni ve ilginç bir şey bulması bana inanılmaz geliyor. Bu blogu başlattığımızdaki niyetimiz sadece ilginç araştırmaları paylaşmak ve takdir etmekti, ancak pratikte makaleler Cadence'in doğrulamadaki yol haritasını doğrudan etkiledi. Ki bence en büyük takdir gösterisi.

2021 bloglarımızda gördüğüm en büyük tema soyutlamaydı. Son 30 yıldır olduğu gibi, bu da verimliliği artırmanın en büyük kaldıracı olmaya devam ediyor. Yine de, muhtemelen bunu hak etmeliyim alana özgü soyutlama. Tarihsel olarak, soyutlamalar uygulamadan bağımsız olmuştur - çokgenden ağ listesine ve RTL'ye. Şimdi soyutlamalar genellikle parçalanıyor – Eylül blogunda hızlandırıcı doğrulaması için ISA'dan ILA'ya. Ekim blogunda bellek tutarlılığı doğrulaması için yüksek seviyeli davranış aksiyomlarını SystemVerilog'a eşleme. Nisan blogunda çevik CPU doğrulaması için Verilog'dan Chisel'e. Mayıs blogunda güvenlik doğrulaması için simülasyon setlerini genelleyen iddialar. Ve sonra elbette, bazı soyutlamalar etki alanından bağımsız olmaya devam etti: Kasım blogunda sistem düzeyinde güç modelleme için kapı düzeyinden C++'a. Şubat blogunda metin etiketleme kapsamı.

Parlamaya devam eden diğer tema, inovasyonun farklı beceri ve bakış açılarının kesişme noktalarında nasıl ortaya çıktığıdır. Kapsam boşluklarını bulmak için belge sınıflandırma algoritmalarından yararlanmaya ilişkin Şubat blogu bu yıl harika bir örnek. 1980'lerin ilk ML yöntemleri yeniden keşfedildi ve Haziran blogunda CPU doğrulaması için yeniden uygulandı. Mart blogunda öykünmede FPGA derleme sürelerini optimize etmek için kullanılan oyun teorisi. Bernard'ın birkaç ay içinde "işlevsel doğrulama"dan güç, güvenlik ve elektrik hataları gibi konulara yönelerek bu ilkeyi bu yıl kendi kağıt seçimimize dahil ettiğini görmek harika. İki farklı etki alanı arasında kendi nokta bağlantımızı yapmamıza yardımcı oluyor.

Bu yıl tekrar doğrulama yoluyla rastgele yürüyüşümüze devam etmek için sabırsızlanıyoruz!

Raúl'un görüşü

Haziran'dan Aralık'a kadar herhangi bir alana odaklanmadan Doğrulama'da birçok ilginç konuya değindik. En popüler ikisi, ters çevrilmiş Flopları (donanım hataları) Algılamak için Gömülü Mantık ve RTL Düzeyinde Güç Tarafı Kanal Sızıntısını Değerlendirme idi. Başka bir RTL Düzeyinde kağıt, bellek tutarlılığıyla ilgiliydi. Daha da yüksek bir düzeyde, doğrulama için Talimat Düzeyinde Soyutlamalara baktık. Ayrıca, biri daha iyi sözde rastgele testler oluşturmak, diğeri ise IP'nin doğru güç modelleri oluşturmak için ML/NN hakkında zorunlu makalelerimiz vardı. Son olarak, etkinleştirilmesi zor şubelere ulaşmak için Aralık ayında yaptığımız Concolic Testing seçimimiz, artan test kapsamıyla da ilgileniyor.

Bu blogda odaklandığımız alanlardan biri pazarlanabilirlik; metodoloji makaleleri, temel makaleler, mevcut yaklaşımların uzantıları ve çok küçük nişler farklı nedenlerle uygun değildir. Bunun elbette teknik değerlerle çok az ilgisi var. Sunulan araştırmalardan bazıları, örneğin EDA'daki farklı görevleri geliştirmek için ML/NN kullanımı gibi, benimsenmeye hazırdır. Birkaçı metodoloji etrafındadır, örneğin bir öykünme altyapısı; bazıları daha üst düzey soyutlamalar gibi daha temeldir. Diğerleri ilginç nişlerdir, örneğin yan kanal sızıntısı. Ama hepsi araştırmaya değer ve makaleleri okumak iyi harcanan bir zamandı!

Benim görüşüm

Üçümüz, makaleleri seçerken (eğer varsa) hangi ilkeyi izlediğim konusunda hararetli bir tartışma gerçekleştirdik. Kesinlikle büyük bir forumda yayınlandı. Paul'ün dediği gibi, konular arasında rastgele bir gezinti oldu. Seçimlerimize rehberlik edecek okuyuculardan öneriler almak istiyorum. Hitlere bakılırsa, çoğunuz var ama belli ki fikirlerinizi paylaşmaktan çekiniyorsunuz. Belki bana özel bir e-posta daha kolay olurdu - info@findthestory.net.

• Özellikle sürekli karşılaştığınız zorlu teknik sorunlarla ilgileniyorum.
• Yapabiliyorsanız (gerekli değil), konuyla ilgili bir makaleye referans sağlayın. Bu herhangi bir forumda yayınlanabilir.
• Çözülmüş problemlerle ilgilenmiyorum – doğrulama akışınızda bir şeyin işe yaraması için bazı satıcı araçlarını nasıl kullandığınız. Örneğinizin, uygulamanızın ötesinde genelleştirilebilecek, temelde yararlı bir yetenek sergilediğini düşünmüyorsanız.

Bu arada, çok güncel olmaya devam ettiğini duyduğumuz temalarla zenginleştirilmiş rastgele yürüyüşümüze devam edeceğiz - tutarlılık kontrolü, güvenlik, soyutlama

Bu gönderiyi şu yolla paylaş: Kaynak: https://semiwiki.com/eda/306830-2021-retrospective-innovation-in-verification/