aksiyom yapmak 2017'den bu yana yarı iletken endüstrisinde resmi doğrulamanın benimsenmesine öncülük etmiştir. Resmi doğrulamada 63 patenti bulunan ileri görüşlü CEO Dr. Ashish Darbari ve 40 yıllık deneyime sahip endüstri emektarı Neil Dunlop'un liderliğinde, Axiomise yirmi müşteriye yardımcı olmuştur. RISC-V işlemcilerinin uçtan uca doğrulanması için eğitim programları, danışmanlık ve hizmetleri ve satıcıdan bağımsız resmi doğrulama uygulaması aracılığıyla son teknoloji ürünü resmi doğrulama metodolojisine erişim sağlayarak son altı yılını tamamladı.
Bize biraz kendinizden ve şirketinizden bahsedin.
Axiomise, karmaşık SoC'lerde resmi yöntemlerin dağıtımına yönelik formalISA gibi RISC-V doğrulaması için danışmanlık ve hizmetler, eğitim ve uygulamaya özel uygulamalar sağlar. Herhangi bir ticari resmi doğrulama aracıyla kullanılabilecek soyutlama odaklı metodolojilerimiz ve altı boyutlu kapsam çözümlerimiz sayesinde uzmanlarımız, RISC-V, Arm veya x86 işlemciler de dahil olmak üzere çok çeşitli tasarımlarda en zorlu resmi doğrulama sorunlarının üstesinden gelebilir. GPU'lar veya video blokları, Wi-Fi, 5G ve AI/ML dahil ağ blokları.
Firmanın İş Geliştirme Direktörüyüm ve ekibe geçen yıl Şubat ayında katıldım.
Şirketiniz için 2023'ün en heyecan verici zirvesi neydi?
Geçen yılın en önemli olaylarından biri Silikon Vadisi'ndeki bazı büyük isimler için süper karmaşık projelerde çalışmaktı. AMD'den dikkat çeken açıklama.
Milyardan fazla kapıya sahip tasarımlarda %100 dönüşüm elde etmiş olmaktan ve dünyanın farklı yerlerinden inanılmaz yetenekli ekiplerle çalışmış olmaktan gurur duyuyoruz.
Ekibimize kattığımız en parlak tasarımlardan ve insanlardan bazılarıyla müşterilerimizin projelerine büyük katkı sağladık. Ayrıca, müşterilerimizin ekiplerini eğitmeyi başardık. kişiye özel eğitim programları Bu da yine sadece endüstride benzersiz olmakla kalmıyor, aynı zamanda geniş çapta en iyisi olarak kabul ediliyor. Ayrıca, özellikle ilk tasarımdan projelerinin imzalanmasına kadar çalışarak "hata yokluğunun kapsamlı kanıtlarını" oluştururken, tasarımlarında uyguladığımız biçimsel yöntemlerimiz aracılığıyla biçimselin gücüne doğrudan katkıda bulunduk.
Farklı bir kayda göre, son 18 ay boyunca çalışan sayımız 1'den 15'e çıktı ve ekibimiz aşırı çeşitliliğe ve 50/50 erkek/kadın oranına sahip olmaktan gurur duyuyor. Çeşitliliğin herhangi bir ekipte ve çevresindeki toplulukta yaratıcılığı teşvik ettiğine inanıyoruz!
Şirketinizin 2023'te karşılaştığı en büyük zorluk neydi?
Harry Foster'ın, giderek artan sayıda simülasyon döngüsünü ve UVM'nin astronomik büyümesinin ASIC/IC'yi engelleyemediğini ortaya koyan Wilson Araştırma Raporuna göre, doğrulama ve doğrulamayla ilgili hikaye, endüstrinin en iyi uygulamaların benimsenmesinde iyileştirmeler gösterme çabası nedeniyle ilham verici değil. IC/ASIC projelerinin %76'sı programları kaçırmaya devam ederken, re-spin %66 gibi şaşırtıcı bir oranla devam ediyor.
Geniş endüstri deneyimimiz bize, bu istatistikleri iyileştirmenin en iyi yolunun sola kaydırmak olduğunu ve bunun, DV akışının gerçek potansiyelini anlayarak resmi yöntemleri erkenden benimseyerek yapılabileceğini söylüyor. Resmi uygulamaların kullanımı son on yılda kesinlikle artmış olsa da, resmi uygulamaların kullanımı hâlâ oldukça uç noktalarda. Bunun en zorlu zorluk olduğunu düşünüyoruz.
Geçen yıl ekibimizi %50'den fazla ve müşterilerimizi de daha büyük bir oranda büyüttüğümüzü göz önünde bulundurursak bile, bizim için en büyük zorluk, endüstrinin resmi kabul etme hızına karşı sabırlı olmaktı ve zamanla birçok firmanın bu durumu anlaması gerekiyordu. Resmi etkin ve verimli bir şekilde dağıtmak için en iyi uygulamalar!
Şirketinizin bu en büyük zorluğun üstesinden gelme çalışmaları nasıl?
Yarı iletken topluluğunun, resmi doğrulamanın sadece hoş bir şey değil, bir zorunluluk olduğunu anlamasını sağlamayı amaçlıyoruz; ve UVM ve simülasyonun birçok silikon tasarımının çeşitli alanlarındaki resmi yöntemleri tamamlayıcı nitelikte olduğu. Bunu elbette müşteri tasarımları üzerinde uygulamalı proje çalışmalarının yanı sıra formalISA uygulamamızı ve eğitim programlarımızı dağıtarak yapıyoruz.
Sizce 2024'ün en büyük büyüme alanı ne olacak ve neden?
Ağ oluşturma (5G/6G), RISC-V ve AI/ML için hızlandırıcı çiplerden her şeyin, yalnızca mükemmel metodolojiye dayanan resmi yöntemlerin sağlayabileceği sıkı bir doğrulamaya ihtiyacı olacaktır. Büyüme fırsatlarını en çok burada görüyoruz.
Şirketinizin bu büyümeyi karşılama konusundaki çalışmaları nasıl?
CEO'muz ve CTO'muzun liderliğinde Axiomise'de 60 yılı aşkın birleşik resmi doğrulama deneyimine dayanan uzmanlığımızdan yararlanarak sektöre özel resmi doğrulama hizmetleri sağlıyoruz. Kapsamlı soyutlama odaklı metodolojiler geliştirmek için bir projede canlı olarak yenilik yapabilme hızımızın sektörde eşi benzeri yoktur. Bu, müşterilerimizden giderek daha fazla duymaya başladığımız bir şey. Herkes için mümkün olmayan en zor sorunları çözebiliriz.
2023 yılında hangi konferanslara katıldınız ve trafik nasıldı?
Ekibimiz Axiomise olarak bazı üst düzey uluslararası konferans ve zirvelere katılmış ve sponsor olmuştur.
Aşağıdaki sektör etkinliklerine katılırken ve ağ oluştururken yoğun ve verimli bir yıl geçirdik: Barselona'daki ilk RISC-V Zirvesi Avrupa olan ChipEx, DVCon Hindistan, RISC-V Kuzey Amerika ve DVCon Avrupa.
Katılımcıların ve organizatörlerin trafiği ve katılımı harikaydı! Dünyanın her yerinden yarı iletken endüstrisinde çalışan birçok profesyonelle tanışmaktan ve onlardan bilgi almaktan keyif aldık!
2024 yılında konferanslara katılacak mısınız? Aynı mı yoksa daha fazla mı?
Bu yıl daha fazla konferansa katılacağız ve sponsor olacağız.
Onaylanmış bir sponsoruz DVCon ABD 4 – 6 Mart 2024 tarihlerinde gerçekleşecek ve gelecek ay Kaliforniya'daki yarı iletken endüstrisini birbirine bağlamayı sabırsızlıkla bekliyoruz.
Ayrıca Oku:
RISC-V Summit Buzz – Axiomise, Yeni Nesil formalISA® ile RISC-V Tasarımlarını Hızlandırıyor
Axiomise'de Beş Yıllık Resmi Bir Kutlama
#59DAC'de Aksiyom, Resmi Güncelleme
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/semiconductor-services/axiomise/341983-2024-outlook-with-laura-long-of-axiomise/
