Skip to main content
Bu sayfa, otomatik çeviri yardımıyla görüntülenmektedir. İngilizce olarak görüntülenmesini ister misiniz?
C++/SystemC/RTL Resmi

SLEC System

Sır@@

alı Mantık Eşdeğerlik Denetimi kullanarak C++ veya SystemC'de elle yazılmış RTL ve Üst Düzey modellerinin doğruluğunu resmi olarak doğrulayın. Dil, zamanlama ve arayüzlerdeki farklılıklara rağmen, SLEC-System, C ++ ve RTL arasındaki denkliği kanıtlayan C++/SystemC ile manuel RTL'yi doğrular.

TEMEL ÖZELLİKLERİ

C++/SystemC/RTL'nin Resmi Doğrulaması

Tasarımcılar üst düzey açıklamaları RTL'ye taşıdıklarında veya RTL'ye güç optimizasyonları yaptıklarında, sonucun işlevsel olarak orijinaline eşdeğer olup olmadığını bilmeleri gerekir. SLEC motorları manuel, Üst Düzey Sentez (Mancapult tarafından üretilen) ve güç optimize edilmiş RTL denklik kontrolü için çözümler sunar.

Sınıfının en iyisi motorlarla eşleştirilen bu güçlü doğrulama yaklaşımı, hata avlama, sınırlı kontrol ve tam koruma stratejileri sağlar. SLEC, tipik simülasyon tabanlı doğrulamayı tamamlamak üzere tasarlanmıştır ve yanlışlıkları anlamak için Siemens EDA Visualizer gibi hata ayıklama araçlarıyla entegre edilmiştir.

SLEC system comprehensive formal verification flow depicting solutions

Elle kodlanmış RTL'de karmaşık uygulamaları içeren en zorlu manuel resmi doğrulama zorlukları için. SLEC-System, çift hassasiyetli kayan nokta çarpımı, çoklu ekleme ve RTL'de kapsamlı bir şekilde simüle edilemeyen diğer problemler kadar zorlu tasarım bloklarının resmi kanıtlanmasını sağlayan yetenekler sunar.

SLEC-System Sequential Formal Verification flow

Talep üzerine mancınık eğitimi

Catapult Üst Düzey Sentez (HLS) isteğe bağlı eğitim kütüphanesi, mühendisleri HLS ve üst düzey doğrulamayla tanıştırmak için modüllerle bir dizi öğrenme yolu içerir.

Üst Düzey Sentez ve Doğrulama Grubu

Siemens EDA HLS ve HLV araçlarını kullanarak tasarım ve doğrulamanın daha ince noktalarını tartışacak bir grup. Yeni konular, özellikler, içerik ve teknik uzmanlar hakkındaki tartışmaya katılın.

HLSLIB'ler

Bit hassasiyetinde donanım ve yazılım tasarımı için standart C ++ ile uygulanan ücretsiz ve açık bir kütüphane kümesi. Hem araştırmayı hem de tasarımı hızlandırmak için kullanılabilecek HLS için bilgi alışverişi ve IP alışverişi için açık bir topluluktur.

HLS Tasarım ve Doğrulama Blogu

Yeni

nesil üst düzey sentez (HLS) tasarım ve doğrulama metodolojilerini ve tekniklerini kapsayan blog.

Mancınık Desteği

Ayrıntılı belgelere, sürümlere, kaynaklara ve daha fazlasına erişin.

EDA danışmanlığı

Geliştir@@

me ve tasarım deneyimi ve metodoloji uzmanlığının benzersiz bir karışımıyla karmaşık teknoloji ve kurumsal zorlukları ele alarak maksimum iş etkisine ulaşmanıza yardımcı olur.