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.
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.
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.
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.
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.
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.
nesil üst düzey sentez (HLS) tasarım ve doğrulama metodolojilerini ve tekniklerini kapsayan blog.
Ayrıntılı belgelere, sürümlere, kaynaklara ve daha fazlasına erişin.
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.