E (doğrulama dili) - e (verification language) - Wikipedia

e
ParadigmaYön odaklı
Tarafından tasarlandıYoav Hollander
İlk ortaya çıktı1992 (1992)
Kararlı sürüm
IEEE 1647-2016 / 6 Ocak 2017; 3 yıl once (2017-01-06)
Dosya adı uzantıları.e
İnternet sitesiTWiki @ eda.org

e bir donanım doğrulama dili (HVL) son derece esnek ve yeniden kullanılabilir doğrulama uygulamak için uyarlanmıştır test tezgahları.

Tarih

e ilk olarak 1992'de İsrail'de Yoav Hollander tarafından Specman yazılım. 1995 yılında bir şirket kurdu, InSpec (daha sonra yeniden adlandırıldı Doğruluk ), yazılımı ticarileştirmek için. Ürün 1996'da tanıtıldı Tasarım Otomasyonu Konferansı.[1] Verisity, o zamandan beri Kadans Tasarım Sistemleri.

Özellikleri

Ana özellikleri e şunlardır:

  • Rastgele ve kısıtlı rastgele uyaran üretimi
  • İşlevsel kapsam metrik tanımı ve toplama
  • İddiaları yazmak için kullanılabilecek zamansal dil
  • Boyut odaklı programlama yansıtma yeteneğine sahip dil
  • Dil, DUT-nötrdür, çünkü tek bir e Bir SystemC / C ++ modelini, bir RTL modelini, bir geçit seviyesi modelini veya hatta bir donanım hızlandırma kutusunda bulunan bir DUT'u doğrulamak için testbench (UVM Acceleration kullanarak e Metodoloji)
  • Son derece yeniden kullanılabilir kod oluşturabilir, özellikle de testbenç aşağıdakilerden sonra yazıldığında Evrensel Doğrulama Metodolojisi (UVM)
    • Daha önce ... olarak bilinen e Metodolojiyi Yeniden Kullanma (eRM)
    • UVM e kütüphane ve dokümantasyon buradan indirilebilir: UVM Dünyası

Dil özellikleri

e dil bir bakış açısına yönelik programlama (AOP) yaklaşımı, nesne yönelimli programlama işlevsel doğrulamada gerekli ihtiyaçları özel olarak ele almak için yaklaşım. AOP, kullanıcıların ek işlevselliği invazif olmayan bir şekilde mevcut koda kolayca eklemesine olanak tanıyan önemli bir özelliktir. Bu, tasarımların proje yaşam döngüsü boyunca pazar taleplerini karşılamak için sürekli olarak değiştirildiği donanım dünyasında büyük bir avantaj olan kolay yeniden kullanım ve kod bakımına izin verir. AOP ayrıca, kullanıcıların işlevsellik eklemek için belirli bir yapının belirli veya tüm örneklerini genişletmelerine izin vererek, kesişen endişeleri (kodun çeşitli bölümlerini kesen özellikler) kolayca giderir. Kullanıcılar, belirli bir özellikle ilgili işlevsellik eklemek için çeşitli yapıları genişletebilir ve istenirse uzantıları tek bir dosyada paketleyerek daha organize dosya bölümleme sağlayabilir.

Yorumlar

Yürütülebilir e kod <'ve'> kod segmenti işaretleyicileri içine alınır:

Misal

İşaretçilerin dışındaki her şey bir yorumdur <'expand sys {// Bu bir yorumdur Verilog stili - Bu, VHDL stilinde bir yorumdur post_generate () de {out ("... ve işaretçilerdeki diğer her şey çalıştırılabilir koddur . "); };}; '>

Sınıflar

e ayrıca iki tür sınıf vardır:

  • Dinamik sınıflar, 'struct' anahtar kelimesi ile etiketlenir. Yapılar, yalnızca geçici olarak var olan ve çöp toplayıcı tarafından temizlenebilen verileri oluşturmak için kullanılır.
  • Statik sınıflar, 'birim' anahtar kelimesiyle etiketlenir. Kalıcı testbench yapısını oluşturmak için birimler kullanılır.

Bir sınıf, alanlar, yöntemler, bağlantı noktaları ve kısıtlamalar içerebilir. Alanlar tamsayı, gerçek, enum, dize ve hatta karmaşık nesneler türünde olabilir. Kod segmenti, e kökü 'sys' içinde somutlaştırılan 'ortam_u' adlı bir birimi gösterir. Bu environment_u sınıfı, 5 packet_s nesnesinin bir listesini içerir ve bu packet_s sınıfı iki alan ve bir yöntem içerir.

Misal

<'// This is a dynamic class with two fieldsstruct packet_s {  field0: uint (bits: 32);   // This field is called 'field0' and is a                             // 32 bit wide unsigned integer.  field1: byte;             // This field is called 'field1' and is a byte.    // This method is called once a packet_s object has been generated  post_generate() is also {     out(field0);            // Printing the value of 'field0'  };};// This is a static class with a list of five packet structunit environment_u {  my_pkt[5]: list of packet_s;};// sys is the root for every e environment and instantiates the 'test_env' objectextend sys {  test_env: environment_u is instance;};'>

Randomizasyon

İçinde e her alan varsayılan olarak rastgele hale getirilir. Alan randomizasyonu katı kısıtlamalarla, yumuşak kısıtlamalarla kontrol edilebilir veya hatta tamamen kapatılabilir. Esnek kısıtlamalar varsayılan kısıtlamalar olarak kullanılır ve bir çakışma meydana gelirse test katmanı tarafından otomatik olarak geçersiz kılınabilir. Aksi takdirde, normal bir kısıtlama gibi davranır.

Misal

<'struct my_pkt_s {  destination_address: uint (bits: 48);   // this field is randomized and is not constrained.  data_payload       : list of byte;       !parity_field      : uint (bits: 32);   // '!' prevents the parity_field from being randomized.    keep soft data_payload.size() in [64..1500];  // a soft constraint, used to provide a default randomization  keep data_payload.size() not in [128..256];   // this is a hard constraint};'>

İddialar

e zamansal ifadelerle iddiaları destekler. Geçici bir ifade, alanlar ve yöntemlerle aynı sözdizimsel düzeyde kullanılır ve bu nedenle doğası gereği bildirimseldir. Zamansal bir ifade, zamanlanmış davranışı tanımlar.

Misal

<'unit temporal_example_u {  event a;   // declaring an event 'a'  event b;   // declaring an event 'b'  event c;   // declaring an event 'c'    // This assertion expects that the next cycle after event a  // has been detected that event b followed by event c occurs.  expect @a => {@b;@c}};'>

Kapsam

e örneklenmiş olaylara göre gruplandırılan ve bu gruplar öğelerle dahili olarak yapılandırılan kapsamı destekler. Öğeler basit öğeler veya çapraz öğeler veya geçiş öğeleri gibi karmaşık öğeler olabilir.

Misal

birim kapsam_örnek_u {olay cov_event_e; // toplama kapsamı bu olaya bağlı olacaktır; cov_event_e is {item a: uint (bits: 4); // bu öğenin 0 ila 15 öğe arasında 16 kova var b: bool; // bu öğenin iki paketi vardır: TRUE ve FALSE çapraz a, b; // bu öğe a ve b trans b'nin çapraz çarpım matrisini içerir; // bu öğe, b öğesinden türetilmiştir ve // ​​her bir TRUE - FALSE kombinasyonunun geçişini sağlayan dört gruba sahiptir};};

Mesajlaşma ve Raporlama

İçinde mesajlaşma e çeşitli yöntemlerle yapılabilir.

Misal

unit message_example_u {example_message_method () is {out ("Bu kosulsuz, formatlanmamis bir çikti mesajidir."); outf ("Bu, HEX% x olarak görüntülenen koşulsuz, biçimlendirilmiş bir çıktı mesajıdır", 15); print "Bu koşulsuz bir mesajdır."; message (DÜŞÜK, "Bu, genellikle bir mesaj kaydediciye bağlı bir koşullu mesajdır.", "Ayrıca bunun gibi dizeleri birleştirebilir ve hatta bu çıktıya", ben "gibi nesneler ekleyebilirsiniz."); messagef (LOW, "Bu koşullu çıktı,% x.", 15); };};

Diğer Dillerle Arayüz

Bir e testbench muhtemelen RTL veya daha yüksek seviyeli modellerle çalıştırılacaktır. Bunu akılda tutarak, e ile arayüz oluşturabilir VHDL, Verilog, C, C ++ ve SystemVerilog.

Örnek e <-> Verilog Bağlantısı

// Bu kod bir Verilog dosyasındadır tb_top.vmodül testbench_top;  kayıt a_clk;     her zaman #5 a_clk = ~a_clk;  ilk başla    a_clk = 0;  sonson modül
Bu kod bir signal_map.e dosyasındadır <'unit signal_map_u {//' a_clk_p 'adlı bir bağlantı noktası tanımlayın a_clk_p: bit'in basit_port'unda örnektir; // Bağlantı noktasının hdl_path özelliğini, üst düzey testbençindeki 'a_clk' sinyalini gösterecek şekilde ayarlayın a_clk_p.hdl_path () == "~ / testbench_top / a_clk";}; '>

Görünüşe Yönelik Programlama Desteği e

İşlevsel doğrulama süreci, herhangi bir Test Altındaki Tasarımın (DUT) soyutlama düzeyini RTL düzeyinin ötesine yükseltmeyi gerektirir. Bu zorunluluk, nesne yönelimli dillerde kolayca bulunabilen, verileri ve modelleri kapsülleyebilen bir dili gerektirir. Bu ihtiyacı gidermek için, e Nesne yönelimli bir dil ve bunun da ötesinde, yalnızca son derece esnek ve yeniden kullanılabilir test tezgahları yazmayı kolaylaştıran değil, aynı zamanda keşfedilen RTL hatalarını yeniden yazmak veya bunlara dokunmak zorunda kalmadan düzeltme mühendislerine yardımcı olan yön odaklı mekanizmalarla zenginleştirilmiştir. zaten var olan kod tabanı.
Görünüm odaklı programlama e doğrulama mühendislerinin testbençlerini farklı açılardan yapılandırmalarına olanak tanır. Dolayısıyla bir nesne, birden çok dosyaya dağıtılabilen tüm yönlerinin toplamıdır. Aşağıdaki bölümler, e.

Alt Tipleme Mekanizması

Alt tipleme, yön odaklı özellikler olmadan nesne yönelimli dillerin başaramayacağı şeylerin başlıca örneğidir. Alt tipleme, bir doğrulama mühendisinin, bir temel sınıftan türetmek zorunda kalmadan önceden tanımlanmış / uygulanan bir sınıfa işlevsellik eklemesine olanak tanır. Aşağıdaki kod, bir temel sınıfın orijinal uygulamasını ve nasıl genişletildiğini gösterir. Uzantı gerçekleştiğinde, tüm temel sınıftaki nesneler de uzantıları içerir. İki farklı alt türde verilen kısıtlamalar genellikle bir çelişkiye neden olur, ancak her iki alt tür ayrı ayrı ele alınır ve bu nedenle her alt tür farklı bir kısıt hesaplaması verir.

Alt Tipleme Mekanizması Örneği

subtyping_example.e <'// Bu enum türü tanımı, ODD ve EVENtype alt türlerini bildirmek için kullanılır ctrl_field_type_t: [ODD, EVEN]; birim base_ex_u {// Alt tür_alanı, hesaplamanın uygulandığı belirleyici alandır subtype_field: ctrl_field_type_t; data_word: uint (bit: 32); parite_bit: bit; // ODD'subtype_field base_ex_u olduğunda ODD türünü alt tipleme {// Bu, data_word'ün indeks bit 0'ını XORs ve parity_bit == (data_word [0: 0] ^ data_word [0: 0] 'ı koruyan değeri artıran artışları sağlayan basit bir kısıtlamadır) + 1); }; // EVEN alt tür_alanı base_ex_u olduğunda ÇİFT türünün alt türlenmesi {// Bu kısıtlama yukarıdakiyle aynıdır, ancak artış yapılmaz, parity_bit == (veri_ sözcüğü [0: 0] ^ veri_ sözcüğü [0: 0]); };}; '>

Genişletme Yöntemleri

Orijinal birim tanımı dosya1.e'de verilmiştir. Bu örnekte kullanılan yön odaklı mekanizma, kodun önceden uygulanan bir yöntemden önce ve sonra nasıl yürütüleceğini gösterir.

Yöntem Uzantı Örneği

Bu kod file1.e içindedir <'unit aop_example_u {meth_ext () is {out ("Bu, orijinal yöntem uygulamasıdır."); };}; '>
Bu kod file2.e içindedir <'expand aop_example_u {meth_ext () ilktir {out ("Bu yöntem uzantısı orijinal yöntem uygulamasından önce yürütülür."); }; meth_ext () ayrıca {out ("Bu yöntem uzantısı, orijinal yöntem uygulamasından sonra çalıştırılır."); };}; '>

Referanslar

  1. ^ Samir Palnitkar: E ile tasarım doğrulaması, Prentice Hall PTR. 5 Ekim 2003. ISBN  978-0-13-141309-2

Kaynaklar