Uyarıcı ücretsiz doğrulama

Yaygın RTL kodlama hataları nedeniyle derinden gizli sorunları bulan tam otomatik bir resmi sorun arama uygulaması olan Formal Inspection, bir test tezgahı olmadan çok çeşitli sorunları ortadan kaldırmayı mümkün kılar.

Questa One SFV içindeki Bağlantı Analizi, resmi veya özellik belirleme dilleri bilgisi gerektirmeden statik ve dinamik bağlantıyı kapsamlı bir şekilde doğrulamak için tam otomatik bir çözümdür.

Questa Increase Coverage, kod kapsamının daha hızlı kapanmasını sağlamak için, tartışılmaz bir doğrulama gerçeğini ele alan otomatik bir resmi çözümdür: ortaya çıkarılan kodun bir kısmı her zaman kalır.

Resmi VIP AMBA ve OnChip Kitaplıkları, popüler endüstri standardı arayüzleri destekleyen yeniden kullanılabilir iddia paketlerine protokol ve metodoloji uzmanlığını oluşturarak kaliteyi iyileştirir ve programları azaltır.

Questa One SFV Özellik Doğrulaması, sorunu tespit etmek için belirli uyarıcılara ihtiyaç duymadan oluşabilecek tasarım hatalarını kapsamlı bir şekilde keşfeder. Bu, doğrulanmış tasarımın tüm yasal girdi senaryolarında sorunsuz olmasını sağlar.

Questa One SFV Kayıt Analizi, CSV veya IP-XACT kayıt spesifikasyonuna göre kontrol ve durum kaydı davranışının kapsamlı bir şekilde doğrulanmasını otomatikleştirir.

Questa One SFV içindeki güvenlik analizi, yalnızca belirttiğiniz yolların güvenlik veya güvenlik açısından kritik depolama öğelerine ulaşabileceğini kapsamlı bir şekilde doğrulamak için tam otomatik bir çözümdür.

Questa One SFV RTL Eşdeğerliği, kapsamlı resmi analiz kullanarak spesifikasyon RTL ve uygulama RTL kod bloklarını otomatik olarak karşılaştırır. Resmi veya özellik belirleme dilleri bilgisi gerekmez.

Questa One SFV içindeki X-Duyarlılık Analizi, RTL düzeyindeki 'X' sorunlarını test tezgahı olmadan kapsamlı bir şekilde ortadan kaldıran otomatik bir çözümdür.

Siemens Questa Equivalent FPGA çözümü, sentez ve yer ve rota optimizasyonları gibi FPGA uygulama akışlarının işlevsel hatalar oluşturmamasını sağlar.

Gap Free doğrulama, benzeri görülmemiş düşük sorun kaçış oranlarına yol açan tüm girdiler için tüm işlevselliği kanıtlayarak dijital tasarımların kalitesini optimize eder.

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.

Questa One SFV Güven Analizi, güvenlikle ilgili güvenlik açığı endişelerini tespit etmek ve bildirmek için otomatik analiz kullanır.

RISC-V tasarımlarının ISA ve fonksiyonel ön koşullara uygunluğunu sağlayarak test tezgahı oluşturma ihtiyacını ortadan kaldırarak doğrulamayı hızlandırır.

Questa One SFV FPU analizi doğrulama iş yükünü önemli ölçüde en aza indirir ve kayan nokta uygulamalarının istenen sonuçlarla doğru bir şekilde hizalanmasını sağlar.

Arıza Koruma Analizi, hataları enjekte ederek analiz eden ve donanım güvenliği ve güvenliği açısından sonuçlarını resmi olarak kontrol eden resmi teknolojiye dayalı bir çözümdür.

Questa Post Silicon Debug uygulaması, bir SoC'nin derinliklerinde mantıktaki sorunlara hızla kök salmak ve düzeltmelerin başka hiçbir şeyi bozmayacağını kanıtlamak için resmi analiz ve özellik sentezinden yararlanır.