Reklam
Corporate

Resmi Doğrulama Uzmanı Oski NVIDIA’ya Katılıyor


Resmi doğrulama yöntemlerinde uzmanlaşmış bir şirket olan Oski Technology’nin NVIDIA’ya katılacağını duyurmaktan heyecan duyuyoruz.

Modern işlemciler, milyarlarca mikroskobik yolla birbirine bağlanan on milyarlarca transistör, küçük açma/kapama anahtarları içerir. Tek bir transistördeki bir hata, bir çipin doğru şekilde çalışmasını engelleyebilir ve düzeltilmesi maliyetli revizyonlar gerektirebilir.

Bugün, doğrulama mühendisleri, hataların silikona dönüşmemesini sağlamak için çok farklı iki yönteme güveniyor: simülasyon ve resmi doğrulama.

İlk yaklaşım, dikkatle tasarlanmış testlerde köşe durumları uygulayan, hataları arayan milyonlarca simülasyona dayanır.

Oski’nin uzmanlık alanı olan resmi doğrulama, belirli bir özelliğin tüm olası girdiler için doğru davrandığını kanıtlamak için simülasyonlar yerine tasarımın matematiksel analizini kullanan güçlü bir alternatiftir.

Simülasyon, sayıların düzgün bir şekilde eklenip eklenmediğini test etmek için bir tasarıma 1’leri ve 0’ları enjekte ederken, Oski’nin yaklaşımı resmi olarak “c = a + b” olduğunu doğrular.

Resmi Doğrulamada Öncü Rol

Oski, yarı iletken endüstrisinde, resmi doğrulama alanındaki öncü çalışmalarıyla tanınmaktadır. Kurucusu Vigyan Singhal, Jasper Design Automation’ı da kurdu. Jasper’ın yazılımı, resmi doğrulama kanıtları için mevcut en güçlü yazılım araçlarından biri olmaya devam ediyor. Ancak, güçlü araçların başarılı bir şekilde kullanılması için büyük uzmanlık gerekir.

2005 yılında Vigyan, derin bilgisayar bilimini resmi doğrulamaya uygulama misyonuyla Oski’ye başladı. Oski o zamandan beri alanında iyi tanınan bir lider haline geldi ve 10 yılı aşkın bir süredir NVIDIA’nın değerli bir ortağı oldu.

Yükselen Bir Teknoloji Merkezinde Bir Ofis

Oski’nin San Jose, Budapeşte ve Gurgaon’da ofisleri bulunmaktadır. Çalışanlarının çoğu, Yeni Delhi’nin 20 mil güneydoğusunda, bir milyondan fazla insanın yaşadığı Gurgaon’da çalışıyor. Kısa süre önce yeniden adlandırılan Gurugram, ülkenin en büyük ikinci teknoloji merkezi ve aynı zamanda gelişmekte olan bir finans ve bankacılık merkezi.

Hindistan zaten NVIDIA’nın ABD dışındaki en büyük çalışan grubuna ev sahipliği yapıyor ve yeni Gurugram ofisi NVIDIA’nın Hindistan’daki dördüncü mühendislik ofisi olacak.

Yenilik Çıtasını Yükseltmek

NVIDIA’nın ürünleri karmaşıklık ve kapsam açısından büyüdükçe, oyun ve veri merkezi bilgi işlemden ağ iletişimi ve otonom araçlara kadar tüm pazarları kapsarken, mükemmel ilk silikonu tasarlamanın önemi hiç bu kadar yüksek olmamıştı. Güvenliğin en yüksek hedef olduğu yeni otonom makine uygulamaları, doğrulamayı hayati hale getiriyor.

Bu satın almayla, bu hedefe ulaşmak için resmi doğrulama stratejilerine olan yatırımımızı ve bağlılığımızı önemli ölçüde artırma fırsatına sahibiz.

Güçlü doğrulama yöntemleri doğrudan daha hızlı inovasyonu mümkün kılıyor ve önümüzdeki yıllarda daha da şaşırtıcı ürünler sunmak için Oski ekibiyle güçlerimizi birleştireceğimiz için çok heyecanlıyız.


Source link

Başa dön tuşu

Reklam Engelleyici Algılandı

Lütfen reklam engelleyiciyi devre dışı bırakarak bizi desteklemeyi düşünün