FormalPro, bir tasarımın işlevsel olarak altın referansıyla aynı olduğunu kanıtlamak için statik resmi doğrulama tekniklerini kullanır. Bu, geleneksel kapı seviyesi simülasyonundan çok daha hızlıdır - günler veya haftalar süren tasarımlar FormalPro kullanılarak saatler hatta dakikalar içinde doğrulanabilir.
tasarımın işlevsel olarak aynı olduğunu hızlı bir şekilde kanıtlayın - sentez için RTL'yi gate netlist ile karşılaştırın, düzen dönüşleri için kapıdan kapıya ağ listelerini karşılaştırın. Tüm tasarımlarınız için tek bir araç ve akış kullanın.
Milyonlarca kapı tasarımlarının hızlı doğrulanması ve statik resmi doğrulama teknikleri kullanılarak doğrulama süresinde önemli ölçüde azalma. Hataların konumunu/nedenini tanımlayan kapsamlı bir hata ayıklama aracı ve mevcut doğrulama oturumunda tasarım değişikliklerini araştırmak için benzersiz “ne yaparsa” yeteneği ile tasarımı düzeltmenin en hızlı yolu.
Yeni konular, özellikler, içerik ve teknik uzmanlar hakkındaki tartışmaya katılın.
Ayrıntılı kullanıcı uygulama notlarına, eğitim kaynaklarına ve daha fazlasına erişin.
me 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.
