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 Görselleştirici 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.
Yeni 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.
Geliştirme 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.