GeMac Doğrulamasında MDV İşleminin Uygulanması
Zhang Haibo
(Shenzhen Zhongxing Mikroelektronik Teknolojisi Co, Ltd, Shenzhen, Guangdong 518055)
Doğrulama çalışmasında, doğrulama mühendisleri genellikle önce bir doğrulama planı (doğrulama planı, vplan) ve ardından buna dayalı bir doğrulama vakası (test senaryosu) yazar. Proje ilerlemesi sürecinde, tasarım planı sürekli olarak revize edilecek ve güncellenecektir.Bir süre sonra, tasarım planı, doğrulama planı ve doğrulama kullanım durumu arasında bir uyumsuzluk olacaktır. Doğrulama planının kendisinin formalite olması kolaydır; ayrıca doğrulama mühendisinin de bulması gerekir. Sorular, regresyon kullanım durumları, doğrulama yöneticisine raporlama, çeşitli görevler. GeMac doğrulama örnekleri aracılığıyla makale, doğrulama işini daha verimli ve bilimsel bir şekilde gerçekleştirmek için regresyon merkezinin, Metrik Merkezinin ve Cadence İzleme Merkezi'nin vManager doğrulama aracının nasıl kullanılacağını tanıtmaktadır.
testcase; vplan; geMac; vManager
Geleneksel doğrulama sürecinde, genellikle önce bir doğrulama planı (doğrulama planı, vplan) yazılır ve ardından bir doğrulama vakası (test senaryosu) yazılır. Bununla birlikte, proje gereksinimleri ve spesifikasyonlarındaki değişiklikler nedeniyle, doğrulama planı ve test senaryosu oldukça farklı olacaktır Test çantası doğrulama planını gerçekten yansıtamaz ve doğrulama planı, test senaryosunun yazılmasına rehberlik etme konusundaki orijinal niyetini kaybeder. Bu durumdan kaçınmak için mühendislerin doğrulama gereksinimlerini, kapsam hedeflerini ve kapsam sonuçlarını manuel olarak yönetmesi ve izlemesi gerekir; bu da doğrulama yineleme sürecini zahmetli, zaman alıcı hale getirir ve doğrulama verimliliğini azaltır.
VManager'ın yardımıyla, yukarıdaki sorunları iyi bir şekilde çözebilen tam Metrik Güdümlü Doğrulama (MDV) süreci Şekil 1'de gösterilmektedir. MDV doğrulama yöntemi, işlevsel kapsamı, simülasyon doğruluğu kontrollerini ve doğrulama gereksinimleri (Metrikler) geçme gereksinimleri olarak kullanır ve doğrulama planını, doğrulama sürecinin kendisinin yürütülebilir bir parçası haline getirir, yani, doğrulama süreci otomasyon araçlarını geliştirmek (veya Doğrulama planını okuyun, kapsam verilerini toplayın ve doğrulama planına dayalı bir durum raporu oluşturun. Doğrulama planının, proje döngüsü boyunca doğrulama süreci için doğrulama standardı görevi görmesini sağlayın.
Şekil 1 Tam MDV süreci
1 Yürütülebilir bir doğrulama planı oluşturun
Doğrulama planının hazırlanması, tüm MDV sürecinin başlangıcıdır.MDV sürecinde, vplanner doğrulama planını yazmak için kullanılır.Şekil 2'de gösterildiği gibi, vplanlayıcıya iki kullanım durumu eklenir. Başlangıçta, temel olarak aşağıdaki iki nedene dayalı olarak eksiksiz bir doğrulama planı yazmadık: (1) Doğrulama çalışması ortaya çıktıkça doğrulama planı yinelemeli bir süreçtir ve DUT (Design Under Test) Derinleştirmek için, doğrulama planı birçok kez değiştirilecektir, bu nedenle başlangıçta, veri akışını yürütmek için iki basit kullanım senaryosu yazın ve sonraki çalışma için sağlam bir temel oluşturun; (2) Bu iki test durumunu örnek olarak alın ve nasıl yapılacağına odaklanın Derlenen vplan ile test senaryosu arasında bir ilişki kurun ve bu ilişkinin kurulması MDV sürecinin temelini oluşturur ve test senaryosunun doğrulama planını ve güncellemesini karşılıklı olarak birbirini teşvik edebilir.
Şekil 2 vplanner test senaryosu yazıyor
1.1 vsif ve simülasyon betiği
Vsif (Doğrulama Oturumu Giriş Formatı) dosyası, tüm MDV işleminin önemli bir parçasıdır. Bu dosya, vManager simülasyonu başlattığında yürütülmesi gereken kullanım durumlarını, simülasyon sırasında yürütülmesi gereken komut dosyalarını ve her kullanım durumu için en uzun simülasyon süresini açıklar. Literatürdeki yönteme göre debug_tb.vsif dosyasının içeriğinin bir kısmı Şekil 3'te gösterilmektedir.
Şekil 3 vsif dosyasının içeriğinin bir kısmı
Bu grupta geInternal_intfFormat, gruptaki kullanım senaryosunun kaç kez çalıştırılması gerektiğini, kullanılan tohumu, kullanım senaryosunun adını ve kullanım senaryosunun yürütme modunu ayarlayın ve ayrıca ihtiyaçlarınıza göre diğer bilgileri de ayarlayabilirsiniz.
1.2 vplan ve doğrulama platformu test senaryosu / kapsama modeli (ucm) arasında bir ilişki kurun
VManager'da bir vsif (Doğrulama Oturumu Giriş Formatı) dosyası başlatın.Simülasyon bittikten sonra, vplanner'da bir oturum yükleyin ve ardından Şekil 4'te gösterildiği gibi, doğrulama platformundaki test senaryosu ile vplan'daki test çantası arasında bir ilişki kurma işlemini gerçekleştirin.
Şekil 4 İlgili oturumu seçin
Ardından, Metrikler sekmesine tıklayın, ardından pencerenin sol ve sağ tarafındaki ilgili test senaryosunu seçin ve bir ilişki kurmak için haritaya tıklayın.Haritadan sonra, vplan'ı kaydetmeniz gerekir.
Önceki girişle, vplan ve test senaryosu arasındaki ilişki kurulmuştur.Bu ilişkilendirme aracılığıyla, ilgili özelliklerin kapsamını vplan'da gerçek zamanlı olarak vmanager'da görüntüleyebilirsiniz (yalnızca test senaryosu ile sınırlı değil, aynı zamanda iddia, işlev kapsamı vb. Şekil 5 sadece örnek olarak test senaryosunu alır ve iddia aşağıda da tanıtılacaktır.) Bu grafik ekran sayesinde, doğrulayıcı, vplandaki hangi özelliklerin kapsanmadığını daha sezgisel olarak anlayabilir ve çalışma yönünü ve zamanında çalışmayı ayarlayabilir Odaklanın.
Şekil 5 vplan'da kapsam
2 Çok boyutlu ölçüm analizi
Simülasyon belirli bir aşamaya ulaştığında, test senaryosu, iddia ve kapsamın üç yönünü analiz etmek, vplan'da kaç test vakasının yürütüldüğünü ve hangilerinin kaldığını; iddianın tetiklenip tetiklenmediğini, ne kadar kapsama ulaşıldığını ve kapsamda hangi test vakalarının bulunduğunu analiz etmek gerekir. En son gelişmelerin katkısı, tüm bu analizler Analiz Merkezi'nde yapılır.
2.1 Test senaryosu ve iddia analizi
Öncelikle önceki bölümde anlatılan yönteme göre ilgili kullanım senaryolarını ekleyin, ardından ilgili vsif dosyasını vManager'da başlatın, simülasyondan sonra ilgili oturumu vplan'a yükleyin, ardından vManager'da analiz edebilirsiniz, Şekil 6 test senaryosunun bir bölümünü gösterir Kapsamı:
Şekil 6 vplan analizi
Şekil 6'dan, vplan'daki 1.1.1 gmii için test senaryosu metriğinin ele alındığını görebiliriz. Tek başına test senaryosundan, şimdilik sona gelebilir. İlgili uygulama örneklerini daha sonra eklemeniz gerekirse, takip edebilirsiniz. Karşılık gelen analiz, yukarıda açıklanan yöntemle gerçekleştirilir.
Yukarıda bahsedildiği gibi, doğrulama mühendislerinin birden çok boyuttan doğrulama çalışması yapmaları gerekir.Test senaryosu yazmanın sadece bir yönüdür.İddialar da çok yararlı araçlardır.İddialar eklendikten sonra, bu iddiaların tetiklenip tetiklenmediği ve başarılı olup olmadığına dikkat edilmelidir. MDV'de iddia vplan'a da yansıtılabilir ve ilgili harita test senaryosuna benzer şekilde yapılabilir.vplan'a eklenen iddia Şekil 7'de gösterilmektedir.
Şekil 7 vplan'a iddia ekleme
Simülasyon bittikten sonra, ilgili oturumu yükleyin ve vplan'da Şekil 8'de gösterildiği gibi eşleyin.
Şekil 8 İddiayı haritalayın
Haritayı tamamladıktan sonra, Şekil 9'da gösterildiği gibi iddiayı analiz edebilirsiniz.
Şekil 9 Onay kapsamı
Yukarıdaki işlemler aracılığıyla, yazılı iddia açıkça görüntülenebilir ve avantajları aşağıdaki yönlere yansıtılır:
(1) Tüm doğrulama planına hangi iddiaların dahil edildiği açıkça gösterilebilir.
(2) İddianın ele alınıp alınmadığı vplan analizinde kolayca bulunabilir.
Regresyondaki iddiayı kaçırmayacaksınız. Bunun nedeni, iddianın simülasyon hızı üzerinde büyük bir etkiye sahip olmasıdır.Belirli bir simülasyonda, doğrulama mühendisi iddiayı "kapatır", ancak sonraki regresyonda "açmayı" unutur ve harita ve vmanager için vplan kullanır. Vplan'ın analizi bu durumu iyi bir şekilde önleyebilir.
2.2 Kapsam analizi
Doğrulama işlemi sırasında, zamanında kullanım senaryoları eklemek için uygun kilometre taşı düğümlerinde DUT kapsamına dikkat etmek gerekir.Aynı zamanda, regresyonun hangi kullanım durumlarının kapsama daha fazla katkısı olduğunu belirleyin. Ardından, gerileme olduğunda önce geri dönebilir ve kapsam için Düşük oran katkısı olan test senaryosu, nedenleri analiz edilerek iyileştirilebilir. Ek olarak, kapsam analizi sırasında, bazı özel modüllerin fazlalık olduğu veya geliştirme ile iletişimden sonra kapsanması gerekmediği bilinebilir ve kapsanması gerekmeyen bu modüller, kapsam analizi sırasında "ortadan kaldırılabilir" ve son olarak Kapsamı, Şekil 10'da gösterildiği gibi% 100 yorumlanabilir hale getirin.
Şekil 10 Kapsam analizi
Şekil 10 aracılığıyla kapsam durumunu sezgisel olarak anlayabiliriz. Aynı zamanda, GE4_MAC_TX gibi örnek adına sağ tıklayabilir ve ardından Blok Analizi, İfade Analizi, FSM Analizi vb. Gibi daha ayrıntılı bir analiz gerçekleştirebiliriz. Bu detaylar artık burada değil. Ayrıntılı olarak tartışın ve denemesi için okuyuculara bırakın. İşte test senaryosunun kapsama katkısı nasıl belirlenir, bu nedenle takip regresyonunda ilk olarak kapsama katkı sağlayan kullanım senaryoları çalıştırılabilir.
Analysis Center'da Rank Runs işlemini gerçekleştirin ve yöntem Şekil 11'de açıklanmıştır.
Şekil 11 Sıra Koşusu
Rütbe Koşusu sonuçlarında odaklanılması gereken iki sütun vardır. testRankRuns (Rank), bu sütun, kullanım senaryosunun genel kapsama katkısını gösterir; diğer sütun, bu simülasyon kullanım senaryosunun listelenen tüm simülasyonlardaki kapsama katkısını gösteren delta_testRankRuns (Sıra) 'dır. . Örneğin, geInternal_intfFormat / RVC_pcs2mac_metric'in ilk satırında, simülasyonda, diğer test durumlarına kıyasla, kapsama katkısı% 67,74'tür; delta_tessRankRuns (Rank) 0 olan satırlar, bu simülasyonda diğer birkaç kez ile karşılaştırıldığında Simülasyon, kapsama herhangi bir ek katkı sağlamaz. RVC_pcs2mac_metric'in ilk satırındaki delta_tessRankRuns (Rank) değerinin% 67.74 olduğuna ve son satırdaki delta_tessRankRuns (Rank) değerinin% 0 olduğuna dikkat etmek önemlidir. Bunun nedeni, kullanım durumunun simülasyonda birden çok kez çalıştırılabilmesidir ve her çekirdek Rastgele olabilir, o zaman aynı test senaryosu kapsama farklı şekilde katkıda bulunacaktır.
3 Proje düzeyi durum ilerleme raporu
3.1 Proje ilerleme durumu izleme
Doğrulama mühendisinin sadece günlük işi tamamlaması gerekmiyor, aynı zamanda işin ilerlemesini doğrulama yöneticisine rapor etmesi gerekiyor. VManager'da çok uygun bir Rapor işlevi sağlanmıştır.Raporun formatı da çeşitli olabilir; Öte yandan, bir doğrulama yöneticisi olarak, Her bir doğrulama mühendisinin test senaryosunun yürütülmesine, örneğin toplam test senaryosu sayısı, kaç tane geçtiği ve kaç tane başarısızlık olduğu ya da belirli bir süre içinde doğrulama çalışmasının ilerleyişine dikkat edilmesi gerekir. VManager'ın İzleme Merkezi, çeşitlendirilmiş grafiklerle doğrulama çalışmasının ilerlemesini göstermek için çok uygun bir yol sağlar.
Öncelikle, bir anlık görüntü almanız, analiz edilecek oturumları seçmeniz ve ardından Şekil 12'de gösterilen işlemleri gerçekleştirmeniz gerekir.
Şekil 12 anlık görüntü al
Takip Merkezinde oluşturulan tablonun rengini görebilirsiniz.Çubuğun rengini kendiniz belirleyebilirsiniz.Şekil 13'den bu oturumda toplam 6 kullanım durumu olduğunu ve her ikisinin de geçme ve kalmanın 3 olduğunu görebilirsiniz.
Şekil 13 Kullanım senaryosu yürütme durumu (sonuç, Başarılı, Başarısız)
Yukarıdaki yönteme göre birkaç seans daha ekleyebilirsiniz ve sonuç Şekil 14'te gösterilmektedir.
Şekil 14 Birden fazla oturum ekleyin
Şekil 14 sayesinde, bu iş günlerinde kullanım senaryolarının yürütülmesini sezgisel olarak anlayabiliriz; izleme merkezinde, izleme kapsamı da kullanılabilir.İzleme kapsamı sayesinde, doğrulama mühendisi kullanım senaryolarının yürütülmesini daha iyi ayarlayabilir, aksi takdirde kullanım senaryosu geçer Ek olarak, kapsam çok düşüktür veya sabit bir düzeyde tutulmuştur, bu durumda test çantası tasarımı yeterince makul değildir veya rastgele tohum kullanılmamaktadır.
Bu düşünceye dayanarak, izleme merkezinde kapsama alanını görüntülemeye devam ediyoruz Ana adımlar Şekil 15'te gösterilmektedir. Nihai sonuç Şekil 16'da gösterilmektedir.
Şekil 15 izleme metriği
Şekil 16 kapsam tablosu
Doğrulama mühendisi gerekli verileri oluşturmuştur ve sonuçları doğrulama yöneticisine geri gönderebilir.Veri sonuçlarının oluşturulması nispeten basittir.Rapor Oluştur'a tıklayın ve Şekil 17'de gösterildiği gibi ilgili yolu seçin. Şekil 18'de gösterildiği gibi oluşturulan nihai sonucu görüntüleyin.
Şekil 17 Rapor Oluştur
Şekil 18 Son html biçim tablosu (içeriğin parçası)
Yukarıdaki işlemler aracılığıyla, ilgilenilen içerik nihayet doğrulama yöneticisine html formatında rapor edilir.Şemada işin ilerlemesi ve kapsamın eğilimi daha sezgisel olarak gösterilir, bu da projenin riskini azaltmaya ve proje yönetim ofisini kurtarmaya yardımcı olur. gerekli zaman.
3.2 Sunucu tabanlı proje yönetimi
Önceki bölümde, doğrulama mühendisinin işin ilerlemesini doğrulama yöneticisine nasıl raporladığından bahsedilmişti.Bir doğrulama yöneticisi olarak, proje yönetimi açısından, ekipteki tüm doğrulama mühendislerinin iş ilerlemesini bilmesi gerekirken, geleneksel EDA araçları doğrulama yöneticisine izin veremez. Gerçek zamanlı, herkesin ilerlemesini, kullanım senaryosunun yürütülmesini, kullanım durumu zamanını ve diğer bilgileri bilir. Bu bilgiler yalnızca hafta sonu veya ayın sonundan sonra öğrenilebilir.
VManager, sunucuya bağlı olarak yönetilir.Sunucunun adresi ve bağlantı noktası numarasının ortam değişkeninde ayarlanması gerekir. Ayar tamamlandıktan sonra, doğrulama mühendisi sunucusunda vManager'ı başlatır. Başlatma vsif dosyası simülasyonu başlattığında, bilgiler sunucuya iletilecektir. , Doğrulama yöneticisi vManager'ı kendi sunucusunda başlatabilir ve Şekil 19'da gösterildiği gibi regresyon Merkezindeki herkesin durumunu görüntüleyebilir.
Şekil 19 Projedeki tüm görüşleri görüntüleyin
Elbette, doğrulama yöneticisi, Şekil 20'de gösterildiği gibi, izleme merkezindeki geçiş, başarısızlık, oturum süresi vb. Gibi tüm oturum durumlarını da görüntüleyebilir.
Şekil 20 Takımdaki tüm kullanım senaryolarının yürütülmesini görüntüleyin
4 özet
Cadence vManager, MDV doğrulama yönteminin bir uygulama aracı olarak proje doğrulama sürecini otomatik ve yönetilebilir hale getirir. Bu makale vplan ile oturum arasında nasıl bir ilişki kurulacağıyla başlamakta ve bir ilişki kurmanın anlamı ve sürecini ayrıntılı olarak tanıtmaktadır. Ardından okuyuculara, Kapsam analizi sırasında kapsama en fazla katkıda bulunan test senaryosunu bulmak için Rank Runs'ın nasıl kullanılacağına odaklanarak test senaryosu analizi ve iddia analizi gerçekleştirmek için vManager'ı nasıl kullanacaklarını gösterin. Son olarak, doğrulama mühendisinin ilerlemesini ve sorumlu oldukları modüllerin kapsam eğilimini daha sezgisel olarak geri bildirimde bulunmak için ilgili raporları oluşturmak için İzleme Merkezini nasıl kullandığını; doğrulama yöneticisinin, ekip oturumunun yürütülmesini ve İzleme Merkezindeki grafikleri görüntülemek için regresyon Merkezini nasıl kullandığını açıklar. Tüm ekibin oturumunun yürütülmesini şeklinde görüntüleyin.
Doğrulama kalitesinin iyileştirilmesi, MDV doğrulama yönteminin uygulanmasıyla yakından bağlantılıdır. Aracın kendisi doğrulamanın eksiksiz olduğunu garanti etmez, ancak yürütülebilir bir doğrulama planı formüle etme, otomatik regresyon doğrulama yönetimi ve simülasyon veri yönetimi, kapsam analizi ve doğrulama ilerleme görselleştirmesi gibi işlevleri, MDV doğrulama yönteminin uygulanması için güçlü bir yol sağlar. Doğrulama sürecinde büyük miktarda zaman alan yönetim çalışması için zamandan tasarruf sağlayan destek, doğrulama mühendislerinin tasarımın kendisine odaklanmak için daha fazla zamana sahip olmalarını ve doğrulama bütünlüğünü iyileştirmek için tasarımdaki işlevsel noktaların ayrıntılı analizini ve doğrulamasını gerçekleştirir.
Doğrulama planı değiştiğinde, tüm değişiklikler araç tarafından kaydedilebilir ve sonunda doğrulanabilir olduğundan emin olunabilir.Bu nedenle, yürütülebilir doğrulama planı, geleneksel doğrulama planından ziyade tüm doğrulama sürecinin anlamlı bir parçasıdır. İlk tamamlandıktan sonra nadiren kullanılır. Aynı zamanda yürütülebilir bir doğrulama planı, doğrulama sürecini şeffaf hale getirerek doğrulama ekibinin doğrulamanın öngörülebilirliğini geliştirmesine ve kaynakları daha iyi kullanmasına yardımcı olur.
Referanslar
Cadence.2_mdv_foundations_planning workshop.pdf.
Cadence.3_mdv_foundations_infrastructure_workshop.pdf.
AET üyeleri için yıl sonu avantajları!
