Büyük çip tasarım projelerinde mantık doğrulama çabası, tasarım çabasından daha fazla olabilir ve proje süresinin %70'ine kadar sürebilir. 2022 Wilson Araştırma Grubu bulgular. Ne yazık ki, ilk silikon başarı oranı son 31 yılda yüzde 24'den sadece yüzde 8'e düştü, bu da kusurları düzeltmek için başka bir dönüşe neden oldu, şirketlerin pazara sunma zaman kaybetmesine ve kesinlikle gelir planlarına zarar vermesine neden oldu. Daha iyi doğrulama, kesinlikle ilk silikon başarısını artıracaktır, ancak bunu söylemek yapmaktan daha kolaydır.

Wilson Araştırma Grubu çalışmasından bazı diğer ayıltıcı rakamlar:

• ASIC – %24 ilk seferde başarı, %36 zamanında bitirme
• FPGA – %16 sıfır hatadan kaçış, %30 zamanında bitirme

Tasarım doğrulamanın birçok zor işi vardır: hata ayıklama, testler oluşturma ve ardından motorları çalıştırma, test tezgahı geliştirme ve test planlama. İdeal olarak ekibiniz geri dönüş sürelerini en aza indirmek, en az kişi ve bilgi işlem kaynağıyla doğrulama kapanışına ulaşmak, güvenlik uyumluluğunu karşılamak ve proje zamanlamasını karşılarken tasarım kalitesinin doğrulamayı durduracak kadar yüksek olduğunu bilmek istiyor.

Kısa bir süre önce Siemens EDA'daki tasarım doğrulama uzmanı Darron May'den yeni duyurulan bir şey hakkında bir güncelleme aldım. Questa Doğrulama IQ'su. Yaklaşımları tamamen, AI/ML tarafından desteklenen izlenebilirlik, işbirliği ve analitiği kullanma etrafında şekillenen veriye dayalı doğrulama ile ilgilidir. Geleneksel analitik, yalnızca mantık davranışını tanımlama ve teşhis etme konusunda sınırlı üretkenlik ve içgörü sağlarken, AI/ML kullanan büyük veriye dayalı analitik, doğrulama için tahmine dayalı ve kuralcı eylemler sunar. Yazılım ve donanım ekipleri, CI (Sürekli Entegrasyon), Çevik yöntemleri, ALM (Uygulama Yaşam Döngüsü Yönetimi), bulut tabanlı tasarım ve AI/ML tekniklerini uygulama. Güvenlik açısından kritik sektörlerin, ISO 26262 ve DO-254 gibi endüstri standartlarında tanımlandığı gibi, gereksinimler, uygulama ve doğrulama arasında izlenebilirliğe ihtiyacı vardır.

İşte Quest Verification IQ'nun çeşitli doğrulama motorlarından gelen tüm verileri bir ALM aracıyla birlikte veri odaklı bir akışa nasıl bağladığının büyük resmi.

Kapsama verileri mantık simülasyonundan toplanır (Bu), Öykünme ve Prototipleme (veloce), AM (Senfoni), Resmi (Tek Döndürme), Statik ve FuSa. Makine öğrenimi özelliği, kalıpları tahmin etmek ve tüm boşlukları ortaya çıkarmak, temel nedenleri işaret etmek ve ardından kapsamı iyileştirmek için eylem önermek için tüm bu verileri analiz eder. Gösterilen ALM kutuplaşma Siemens'ten, başka bir ALM kullanabilseniz de, tıpkı en sevdiğiniz doğrulama motorlarını kullanabildiğiniz gibi.

Questa Verification IQ, tüm gereksinimleri planlamak ve izlemek için yaşam döngüsü yönetimini kullanarak güvenlik açısından kritik bir akış oluşturabilmeniz için bir süreç kılavuzu içeren tarayıcı tabanlı bir çerçevedir. Regresyon gezgini, ekibinizin testler oluşturmasını ve yürütmesini, sonuçları izlemesini ve eksiksiz bir doğrulama geçmişine sahip olmasını sağlar. Kapsam analizcisi ile kod, işlevsel bloklar ve test planları için kapsamınızın ne kadar eksiksiz olduğunu bilirsiniz. Son olarak, sunulan veri analitiği, size proje panolarını kullanan ve çapraz analitik sağlayan bir metrik platform sağlar.

Web tabanlı çerçeve, herhangi bir boyuttaki elektronik projesi için ölçeklenir ve herhangi bir yazılım yüklemeniz veya işletim sisteminizi güncel tutma konusunda endişelenmeniz gerekmez. Ayrıca genel, özel veya hibrit bulut kurulumlarını da destekler. AI/ML uygulandığında, doğrulama kapatma süreci hızlanırken, kök neden analizinin iyileştirilecek noktaları belirlemeye yardımcı olması nedeniyle hata ayıklama çabası hızlanır.

Darron May'e birkaç açıklayıcı soru sordum.

S: Questa Verification IQ'yu herhangi bir EDA satıcı aracı ve ALM ile karıştırıp eşleştirebilir miyim?

A: Questa Verification IQ, standartlara dayalı bir yaklaşım aracılığıyla ALM araçlarını ve motorlarını destekler. Yaşam Döngüsü İşbirliği için Açık Hizmetler (OSLC) kullanan ALM araçlarıyla arayüz oluşturur, böylece Doors next veya Siemens Polarion ve Teamcenter gibi standardı destekleyen herhangi bir araç kullanılabilir. Herhangi bir motor, Questa Verification IQ tarafından başlatılabilir ve yine Birleşik Kapsam Birlikte Çalışabilirlik Standardı (UCIS) aracılığıyla kapsama desteğine sahibiz.

S: Bu yaklaşım, Synopsys DesignDash ile karşılaştırıldığında nasıldır?

A: Synopsys DesignDash, tasarım verileri için makine öğrenimine odaklanırken, Questa Verification IQ, doğrulama kapanışını hızlandırmak, geri dönüş sürelerini azaltmak ve maksimum süreç verimliliği sağlamak için makine öğrenimi de dahil olmak üzere analitiği kullanan veriye dayalı doğrulamaya odaklanır. Questa Verification IQ, verilere merkezi erişime sahip tarayıcı tabanlı bir çerçevede ekip tabanlı işbirliğine dayalı doğrulama yönetimi için gereken uygulamaları sağlar.

S: Bu yaklaşım Cadence Verisium ile nasıl karşılaştırılır?

A: Cadence Verisium yalnızca Makine Öğrenimi destekli Doğrulamaya odaklanır. Buna karşılık Siemens Questa Verification IQ, Analitik, İşbirliği ve İzlenebilirlik tarafından desteklenen eksiksiz veri odaklı doğrulama çözümü sağlar. Doğrulama Yönetimi, İşbirliği etrafında oluşturulmuş uygulamalara sahip tarayıcı tabanlı bir araçta sağlanır. Coverage Analyzer, makine öğrenimi tarafından desteklenen analitik gezinmeyi kullanan, endüstrinin ilk işbirliğine dayalı kapsam kapatma aracını sunar. Question Verification IQ, OSLC kullanarak Siemens Polarion ile arabirim oluşturur ve UI içeriği değişikliği olmaksızın Uygulama Yaşam Döngüsü Yönetimi ile sıkı bir dijital iş parçacığı izlenebilirliği sağlayarak ALM'nin gücünü donanım doğrulamaya getirir.

Özet

Daha akıllıca çalışarak karmaşık bir görevi kolaylaştıran ve mühendislerin daha fazla manuel çaba harcamasını gerektirmeyen yeni EDA araçlarından her zaman etkilenmişimdir. Arm ve Nordic Semiconductor gibi tanıdık şirketlerden Questa Verification IQ'nun erken onaylanmasıyla, Siemens EDA, doğrulama ekiplerinin bakmayı düşünmesi için ilgi çekici bir şey eklemiş gibi görünüyor.

İlgili Bloglar

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.
• Plato blok zinciri. Web3 Metaverse Zekası. Bilgi Güçlendirildi. Buradan Erişin.
• Kaynak: https://semiwiki.com/eda/324031-achieving-faster-design-verification-closure/