High-Level Verification Solutions

Üst Düzey tasarım için sınıfında lider ürünler ve metodoloji sunan Siemens, tasarım sürecinin birçok noktasında çözümler sunar. C ++ ve SystemC denklik kontrolü için Tasarım Kontrolü, Kod ve Fonksiyonel Kapsam ve Resmi doğrulama.

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

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.