Zephyrnet Logosu

Doğrulama Metodolojileri Ne Kadar Olgun?

Tarih:

Yarı İletken Mühendisliği, donanım ve yazılım doğrulama arasındaki farkları ve çip endüstrisinin karşı karşıya olduğu değişiklikler ve zorlukları tartışmak için bir araya geldi. Imperas Yazılımı; OpenHW'deki doğrulama görev grubu mühendislik direktörü Mike Thompson; Paul Graykowski, teknik pazarlama müdürü arter IP'si; Shantanu Ganguly, ürün pazarlamadan sorumlu başkan yardımcısı Ritim; ve ürün yönetimi direktörü Mark Olen Siemens EDA. Aşağıda bu konuşmadan alıntılar var. Bu tartışmanın 1. kısmı okuyun.

Imperas Yazılımı; OpenHW'deki doğrulama görev grubu mühendislik direktörü Mike Thompson; Paul Graykowski, teknik pazarlama müdürü arter IP'si; Shantanu Ganguly, ürün pazarlamadan sorumlu başkan yardımcısı Ritim; ve ürün yönetimi direktörü Mark Olen Siemens EDA. Aşağıdakiler o konuşmadan alıntılardır. Bu tartışmanın 1. kısmı burada.” genişlik=”624″ yükseklik=”256″ data-recalc-dims=”1″ data-lazy-srcset=”https://i0.wp.com/semiengineering.com/wp-content/uploads/Fig01-1. jpg?w=624&ssl=1 624w, https://i0.wp.com/semiengineering.com/wp-content/uploads/Fig01-1.jpg?resize=300%2C123&ssl=1 300w, https://i0. wp.com/semiengineering.com/wp-content/uploads/Fig01-1.jpg?resize=600%2C246&ssl=1 600w” data-lazy-sizes=”(max-width: 624px) 100vw, 624px” srcset=” data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7″>

görüntüImperas Yazılımı; OpenHW'deki doğrulama görev grubu mühendislik direktörü Mike Thompson; Paul Graykowski, teknik pazarlama müdürü arter IP'si; Shantanu Ganguly, ürün pazarlamadan sorumlu başkan yardımcısı Ritim; ve ürün yönetimi direktörü Mark Olen Siemens EDA. Aşağıda bu konuşmadan alıntılar var. Bu tartışmanın 1. kısmı burada.” genişlik=”624″ yükseklik=”256″ srcset=”https://i0.wp.com/semiengineering.com/wp-content/uploads/Fig01-1.jpg?w=624&ssl=1 624w, https:// i0.wp.com/semiengineering.com/wp-content/uploads/Fig01-1.jpg?resize=300%2C123&ssl=1 300w, https://i0.wp.com/semiengineering.com/wp-content/uploads /Fig01-1.jpg?resize=600%2C246&ssl=1 600w” size=”(max-width: 624px) 100vw, 624px” data-recalc-dims=”1″>

SE: Silikon geliştirme pazarına yeni girenler görüyoruz. İlk silikon başarısındaki düşüşün bununla ilgisi olabilir mi?

ganguli: Biri yazılım dünyasından geliyorsa, doğası gereği bir donanım modeli yapmanın pahalı olduğunu anlamaz. Bir yazılım programı oluşturuyorsam, derler ve bağlantı kurarım. Dakikalar sürer.

Graykowski: Dünyama hoşgeldin.

ganguli: Yazılım mühendisliği geçmişine sahip birinin anlamadığı iki temel şey vardır. İlk olarak, zamanlamayı çalıştırabileceğiniz bir modeliniz olduğu noktaya kadar sentez kullanarak fiziksel bir yapı yaparken, bu dakikalar değil günler veya haftalar meselesidir. Üretim maliyeti, harcanan zaman, yeniden döndürmenin maliyeti, insanlar bunu anlamıyor. Ve sonra ikinci parça lojistik. FTP donanımı yapamazsınız. Bir yazılım ürünü oluşturabilir ve web sitesine koyabilirim ve insanlar bunu indirebilir ve hataları düzeltebileceklerini düşünebilir, ancak bu şekilde çalışmaz. Bu son derece sıkıcıdır ve gecikmeler günler, haftalar, aylardır. Bu farklı bir paradigma. Bu yüzden insanlar doğrulamaya çok fazla para harcıyorlar, bu yüzden bu döngülerden geçmiyorlar.

lapidler: Açık kaynak hakkında düşündüğümüzde, sadece RISC-V topluluğundan biraz daha geniştir. RISC-V'de özel talimatlar ekleme özgürlüğü nedeniyle, daha fazla sistem insanının kendi işlemcisini tasarladığını görüyorsunuz. Sistem ve yazılım dünyasından donanıma geliyorlar ve saflar. Köşeleri kesmeye çalışıyorlar ve düşünüyorlar ki, Üç Büyüklerin aletlerine ihtiyacım yok. Açık kaynaklı araçları kullanacağım. Onlarda yara izi yok. Acıyı geçmediler.

Thompson: Bu konuda çok kendini beğenmiş olmamalıyız çünkü hepimiz oradaydık - ama çok uzun zaman önce.

ganguli: Kendi talimatlarınızı ekleyebilmenin ve çekirdeği yeniden oluşturabilmenin sonuçları vardır. Bazıları, bu yeni şeyleri anlayan bir derleyici edinebileceğiniz derleyici gibi kapsanmıştır. Hata ayıklamaya ne dersiniz? Peki ya protokoller? Birbiri ardına rastlayabileceğimiz birçok başka sonuç var. Bu çok acı verici olabilir.

Graykowski: Blok seviyesinden sistem seviyesine gelen bazı ilginç şeyler gördüm. Akışlarını ve metodolojilerini geliştirmek isteyen birçok insan var. Çok uzun zaman önce değil, sadece SoC'leri metin düzenleme yoluyla bir araya getiriyorduk, ki bu çok hataya açık. Bu çok fazla sorun getiriyor ve sadece sıkıcı ve acı verici. Görmeye başladığımız şeylerden biri, paylaşabileceğiniz bir modele sahip donanım ve yazılım, bir şey değişirse bunun herkese yayıldığı merkezi bir veritabanı. Bağlantısı kesilmiş bir donanım ekibiniz ve yazılım ekibiniz varsa ve arada bir duvardan bir model fırlatıyorlarsa, bunları nasıl senkronize tutabilirsiniz? Belki yeni bir IP alırsın, takarsın ve tüm sistemi değiştirir ve her şey ters gider. Bu sistemleri kurmak, bir araya getirmek ve genel süreci yönetmek için daha resmi yollar bulmak çok önemlidir. Pek çok insan bu tür bir metodolojiyi benimsemeye ve bunu bir araya getirmeye başlıyor. Bu, mutlaka hataları ortadan kaldıracağını söylemez, ancak bu süreci düzene sokabilir ve otomatikleştirebilirseniz, daha az hata yayılır.

Olen: Bu gerçekten iyi bir nokta ve farklı etki alanları bir yana, donanım geliştirme içinde bile oluyor. Tasarımdan doğrulamaya kadar, bu sorunun çözülmesine yardımcı olacak birçok farklı yatırım alanı vardır. Gerçekten her şeyin en iyisine sahibiz diyebileceğini düşünen var mı? Müşteriler resmi araçlarını bir yerden veya simülasyonu başka bir yerden alabilirler. "Standartlardan yanayım" pozisyonuna atlamaktan nefret ediyorum, ancak bazı standartlarımız olduğunda, ister UPF, ister UVM veya diğerleri olsun, onlara gerçekten bağlı kalarak iyi bir iş çıkarmıyoruz. Heterojen simülasyon çalıştırmak isteyen müşterilerimiz var, ancak bunu yapmak muhtemelen olması gerekenden çok daha zor. Neden bir satıcının simülatöründen ve başka bir satıcının resmi aracından, onaylama aracından kapsama verilerimi alıp hepsini tek bir ortama getiremiyorum? Bu verileri analiz edebilmek ve karar alabilmek kolay olmalıdır.

Graykowski: Bunu söylediğini duyduğuma çok sevindim.

ganguli: İnsanlar yapabilir ve bazı müşterilerin bunun bir kısmını yaptığını görüyorum.

lapidler: Büyük bir acıyla. EDA araçlarının bir tüketicisi olarak, bunun gerçekten önemli olduğunu söyleyebilirim.

ganguli: Kapsam verilerini dışa aktarmak ve entegre etmek için bir standart var ve şirketlerin birden çok kaynaktan kapsama verisi aldığını gördüm.

Thompson: Ve bahse girerim o takımın katil bir Python kodlayıcısı ya da bunu gerçekleştiren takımı vardır. Kutunun dışında olmadı.

Olen: Ve muhtemelen çok sofistike bir ekip içeriyordu.

ganguli: Bunlar, bunu yapmak için çok çaba harcayan uzman kişilerdir. Bu kolay değil.

Graykowski: Müteahhit olarak yaptım. Ve biz de tam olarak bunu yaptık. Üç Büyük'ten birine karşı şirket içi bir kapsama aracıydı. En iyi standart değildi ama evet, bunu yapmanın bir yolu vardı. Ve bu verileri ilişkilendirdiğimi ve bir araya getirdiğimi hatırlıyorum. Ama benim için tam zamanlı bir işti.

Thompson: Yani bu tam zamanlı bir iş. Zaten tüm bu parayı EDA araçlarına harcıyorum. Nasıl oluyor da, gerçekten yetenekli bir adam olan seni, bu işi yapmak için işe almam gerekirken, sadece açabilmem gerekiyor.

ganguli: Standartlara uygunlukla ilgili önceki bir nokta ilginçtir. Bu deneyimi birden fazla şirkette yaşadıktan sonra sorun LRM uyumluluğu değildir. Sorun, belirli bir ürün tarafından tolere edilen LRM'den [Dil Referans Kılavuzu] yapılan gezilerdir. Zorluk budur. Herkes LRM uyumludur. Ama aynı zamanda, diğer şirketin sahip olmadığı, birinin tasarımının her yerinde sahip olduğu başka bir şeye sahibiz.

Thompson: OpenHW'de, beş ticari SystemVerilog simülatörü kullanarak sürekli entegrasyon regresyonları çalıştırıyoruz. Bu, test tezgahlarımızın ve RTL'mizin en düşük ortak payda uygulamasını kullanmamız gerektiği anlamına gelir, çünkü haklısınız. Bir LRM'miz var, ancak bu biraz İncil'e benziyor. Okuyan herkes ondan farklı şeyler anlıyor.

SE: Gelen yeni müşteriler hakkında konuştuk. Ayrıca yeni tasarım stilleri de görüyoruz. AI tamamen yeni bir alandır. Doğrulama araçları veya metodolojileri için daha önce görmediğimiz yeni talepler mi geliyor ve bunlar geçmişten farklı yönlerde araçlar mı olacak?

Graykowski: Bir ara bağlantı şirketi olarak, büyük oyuncuların artık çok kalıplı ara bağlantılar yaptığını görüyoruz. Bu kesinlikle yeni doğrulama zorlukları getirecek. Bu sadece işlevsellik değil. Zamanlamanın özellikleri ve bu kalıplardan geçen tüm sinyal bütünlüğü hakkında endişelenmeniz gerekir. Bu özel kalıbın bu tarafındaki saat ayarının buna düzgün bir şekilde bağlı olduğundan emin olmak için her şey senkronize edilir ve istenen tüm performansı elde edersiniz. Gittikçe daha büyük sistemlere girerken, bu perspektiften gelen çok fazla ihtiyaç olacak.

ganguli: İki zorluk görüyorum. Yüzeysel olarak, çoklu kalıplar var ve bu, doğrulama açısından çok basit. Bu, yüksek hızlı ara bağlantı devresiyle birbirine bağlı birden çok yongacıkta bulunan bir grup mantıktır. Bir doğrulama modeli olarak, aynı kalıp olmaları veya bir otobüs olmaları umurumda değil. Meydan okuma açısından, ilki nispeten basittir. Artık, aralarındaki bağlantı çok daha hızlı olduğu için, diğer IP'lerin belleğine çok daha derin erişim yapabilen IP'lere sahip olacaksınız. Esasen, bir PCIe zincirinden sarkan veya bir USB'den sarkan bir çevre biriminiz olacak. Artık durum böyle değil. Çok daha yüksek bir bant genişliği veri yolundan bahsediyor ve sadece yerel belleğe erişmek yerine, şimdi CPU seviye 3 önbelleğine erişiyorlar. Doğrulamada ortaya çıkacak olan silikon performansı için insanların yapacağı bu optimizasyon sınıfı çok ilginç bir meydan okuma olacak. Daha ilginç olan bir başkası, birden fazla şirketten birden fazla kalıbı tek bir pakette toplayacak olan insanları içerir. Bu kalıplar ayrı ayrı test edilse bile, 15$, 20$ veya 30$'lık bir pakete koymadan önce bir pakete giren bir alt tabaka üzerindeki değeri nasıl araştırabilirim. Bu çok daha büyük bir meydan okuma.

Thompson: Delikten geçişler için DFT yeni bir şey, yeni bir fikir. Bundan çok daha fazlasını görmemiz gerekecek. Ve küçük girişimlere bakarsanız, yeni fikirler ortaya atıyorlar ama kimse onlardan bahsetmiyor. 3D paketleme alanında çalışan bir şirkete bakıyordum ama hiçbir yerde doğrulamadan bahsetmiyorlar. Bir trenin geldiğini görebiliyorum.

lapidler: İlk flip chipimi 35 yıl önce yaptım. Savunma sanayinde sahip olduğumuz şeylerden biri çok titiz bir tasarım metodolojisi, spesifikasyonlar ve bu spesifikasyonların doğrulanmasıydı. Silikon endüstrisi her zaman savunma endüstrisinden daha hızlı geri dönüşlerle ilgili olmuştur. Savunma sanayiindeki tüm bürokrasiye burunlarını bükük bakıyorlar. Çok küçük istisnalar dışında, işler orada çalışır. Biraz daha uzun sürebilir ve daha fazla insan gerektirebilir, ancak farklı satıcılardan gelen şeylerin birlikte çalıştığından emin olmak için izledikleri çok titiz bir metodoloji vardır.

Thompson: Ama Apple'ın Noel adında bir saati var. Savunma sanayinde bu yok.

spot_img

En Son İstihbarat

spot_img