HL merkezli uygulamalar, mevcut RTL akışları ve UVM ilkeleriyle uyumludur ve aşağıdakileri hedefleyen eklentidir:
Catapult Design Checker, tasarımınızın simülasyona dayalı doğrulanması ihtiyacını azaltan çoklu basmalı statik ve resmi kontrol modları sağlar. Kodlama sorunları, tasarım kaynağı belirsizlikleri, QoR endişeleri ve potansiyel HLS C++/SystemC - RTL uyumsuzluklarının kaynakları hızla yakalanır ve kaynak ve neden hakkında geri bildirim sağlanır.
Catapult Formal Assert, Catapult HLS ile entegre resmi bir doğrulama uygulamasıdır. C-Source ile yazılan iddialar, hızlı yanıt, yapılandırılabilir zaman aşımları ve çözme stratejileri ve sağlam bir hata ayıklama ortamı sağlayan güçlü resmi çözücülerle değerlendirilecektir. İddia etmek, varsaymak ve kaplamak desteklenmektedir. Karşı örnekler, bir C seviyesi test tezgahı ve varsayılan gdb ayarlarının yanı sıra SEDA'nın Visualizer grafik dalga formu hata ayıklayıcısı oluşturur.
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.
