Mancınık Üst Düzey Sentez ve Doğrulama

Catapult, C++ ve SystemC tabanlı Üst Düzey Sentez (HLS) için en geniş donanım tasarım çözümleri portföyüne sahiptir. Catapult'un fiziksel olarak farkında olan, Düşük Güç tahmini ve optimizasyonuna sahip çoklu VT modu ve bir dizi önde gelen Doğrulama çözümü, Catapult HLS'yi “C"den RTL"den daha fazlasına dönüştürür.

HLS & HLV yaklaşan etkinlikleri HLS ve HLV Kaynak Kitaplığı

Mancınık High-Level Synthesis Solutions

Catapult Üst Düzey Sentez çözümleri, tasarımlarınızı yükseltmek için C ++ ve SystemC dil desteği, FPGA ve ASIC bağımsızlığı, ASIC güç tahmini ve optimizasyonu ile Fiziksel olarak farkında çoklu VT alanında en son yenilikleri ve performans optimizasyonu sunar.

C++/SystemC Synthesis

Tasarım girişi olarak C++ veya SystemC'yi alan ve frekans ve hedef teknoloji için ayarlanmış ASIC, eFPGA veya FPGA uygulamalarını en iyi şekilde hedefleyen kapsamlı bir HLS akışı.

Düşük Güç Çözümleri

Erken tasarım uzay araştırması, güç tahmini ve düşük güçlü ASIC RTL için optimizasyon söz konusu olduğunda, Catapult, ürünümüzle optimize edilmiş yüksek verimli RTL üretir. PowerPro kaputun altındaki teknoloji.

“Kol”, “Karşı ağırlık” ve “Tetikleyici” gibi etiketli parçalara sahip bir mancınığın vektör grafiği.

Yapay Zeka Çözümleri

Catapult AI, hızlandırılmış tasarım araştırması, niceleme analizi ve performans, güç ve alan tahmini için HLS'yi geliştirir.

Mancınık High-Level Verification Solutions

Catapult HLV Platformunu kullanarak bilinen ve güvenilir yöntemlerle Üst Düzey Doğrulama (HLV) akışınızı hızlandırın. Üst Düzey Tasarım Kontrolü, Kod/İşlevsel Kapsam ve statik artı resmi yöntemlerden yararlanarak genel SoC doğrulama dönüş sürenizi ve maliyetlerinizi %80'e kadar azaltın.

Catapult Coverage

İfade

, dal, koşul, ifade (FEC) ve dizi erişim kapsamı desteği ve kapak grupları, kapak noktaları, kutular ve çaprazlar desteği ile SystemVerilog'dan ilham alan işlevsel kapsama dahil olmak üzere HLS duyarlı kod kapsamı.

Catapult Formal Verification Tools

HLS sürecinin başlarında hataları, belirsizlikleri ve problem tasarımı sorunlarını veya kullanıcı kısıtlama hatalarını resmi olarak bulun. Zamanlama ve arayüzlerdeki farklılıklara rağmen, Catapult Formal doğrulama ve kapsama kapatma akışını sağlar.

SLEC System

SLEC kullanarak Üst Düzey modellerinize karşı RTL'nin doğruluğunu kontrol edin. Dil, zamanlama veya soyutlama farklılıklarına rağmen spesifikasyon ve uygulamanın aynı olduğuna dair kanıt sağlamak.

Üst Düzey Doğrulama

Questa HL-SystemC

Questa HL-SYC genişletme ile üst düzey tasarım doğrulaması, akışın erken dönemlerinde doğrulamaya başlayarak sentez öncesi sorunları ortadan kaldırmaya yardımcı olur.