Questa One Sim Xact, GLS'nin kurulumunu kolaylaştıran ve daha iyi ve daha eksiksiz bir imza doğrulaması sağlayan yenilikçi bir resmi analiz ve akış otomasyonudur.
Questa One Sim Xact, sinir bozucu yanlış X'leri, sıfır gecikmeli yarış koşullarını ve kütüphane modelleme hatalarını otomatik olarak ortadan kaldırırken, teşhis edilmesi zor bağlantı sorunlarını izole ederek çok daha hızlı geçit düzeyinde simülasyon başlatmayı sağlar. Ayrıca, gelişmiş gerçek X kök neden izleme araçlarını destekler.
Formal olarak geliştirilmiş mantık simülasyonu dinamik olarak X-karamsarlık analizini gerçekleştirir, veri aralıklarında X yayılımını ve kapılı saat mantığını analiz eder ve anında onarır.
Sıfır gecikmeli GLS, özellikle kapılı saat ve gecikme hatlarına sahip tasarımlarda yarış koşullarını gösterebilir. “Sözde SDF” jeneratörü, hücre kitaplıklarını değiştirmeye gerek kalmadan yarış durumu sorunlarını verimli bir şekilde çözer.
Kuvvet/serbest bırakma yayılımı analizi, kuvvetlerin ne zaman optimize edildiğini ve artık herhangi bir fanout mantığını yönlendirmediğini doğrular. Bağlantı analizi, X kaynakları oluşturan tahrikli girdilere sahip modülleri bulur.
Questa One Sim Xact, kapı seviyesi simülasyonu hızlı ve kolay bir şekilde başlatmak için gelişmiş bir metodoloji sunar. Patentli teknolojisi, bir flip-flop'un D-girişlerindeki X değerlerinin X-karamsarlığı nedeniyle yanlış mı yoksa gerçek mi olduğunu belirlemek için kombinatoryal analiz kullanarak bir simülasyonu etkili bir şekilde analiz edebilir. Kapı seviyesi simülasyonunun doğru sonuçları üretmesini sağlayan yanlış X'leri otomatik olarak ortadan kaldırır.
Siemens EDA, Questa One Sim ve tüm ürünlerimiz için birinci sınıf müşteri desteği sunar.
Doğrulama Akademisi, bir kuruluşun işlevsel doğrulama süreci yeteneklerini olgunlaştırmak için gerekli becerileri sağlayarak üst düzey değer önerileri ile düşük seviyeli ayrıntılar arasında metodolojik bir köprü sağlar.
Gelişmiş fonksiyonel doğrulama teknolojilerinin anlaşılmasına ve bunların en etkili şekilde nasıl uygulanacağına yardımcı olmak için kavramlar, değerler, standartlar, metodolojiler ve örnekler hakkında içgörüler ve güncellemeler için blogumuzu ziyaret edin.
