Kayıt aktarım düzeyi - Register-transfer level

İçinde dijital devre tasarımı, kayıt aktarım düzeyi (RTL) bir tasarım soyutlamadır. senkron dijital devre dijital sinyallerin akışı açısından (veri ) arasında donanım kayıtları, ve mantıksal işlemler bu sinyaller üzerinde gerçekleştirildi.

Register-transfer-level abstraction, donanım açıklama dilleri (HDL'ler) beğenmek Verilog ve VHDL alt seviyeli temsillerin ve nihayetinde gerçek kablolamanın türetilebileceği bir devrenin yüksek seviyeli temsillerini oluşturmak için. RTL seviyesinde tasarım, modern dijital tasarımda tipik bir uygulamadır.^[1]

Yazma-aktarım seviyesi ara gösteriminin en düşük seviye olduğu yazılım derleyici tasarımından farklı olarak, RTL seviyesi devre tasarımcılarının üzerinde çalıştığı olağan girdidir ve ondan çok daha fazla seviye vardır. Aslında, devre sentezinde, giriş yazmacı transfer seviyesi gösterimi ile hedef arasında bir ara dil netlist bazen kullanılır. Netlist'in aksine, hücreler, işlevler ve çok bitli yazmaçlar gibi yapılar mevcuttur.^[2] Örnekler arasında FIRRTL ve RTLIL bulunur.

RTL açıklaması

Çıkışın, girişin her yükselen kenarında geçiş yaptığı basit bir devre örneği. İnverter, bu devrede birleşimsel mantığı oluşturur ve kayıt, durumu tutar.

Senkron bir devre iki tür elemandan oluşur: yazmaçlar (Sıralı mantık) ve kombinasyonel mantık. Kayıtlar (genellikle şu şekilde uygulanır: D parmak arası terlikler ) devrenin çalışmasını saat sinyalinin kenarlarıyla senkronize eder ve bu devrede bellek özelliklerine sahip tek unsurlardır. Kombinasyonel mantık, devredeki tüm mantıksal işlevleri yerine getirir ve tipik olarak aşağıdakilerden oluşur: mantık kapıları.

Örneğin, şekilde çok basit bir senkron devre gösterilmiştir. çevirici saatin her yükselen kenarında, clk durumunu değiştiren bir devre oluşturmak için bir yazmacın Q çıkışından yazmaç girişine D bağlanır. Bu devrede, birleşimsel mantık eviriciden oluşur.

Dijital entegre devreler tasarlarken donanım açıklama dili (HDL), tasarımlar genellikle transistör seviyesinden daha yüksek bir soyutlama seviyesinde tasarlanır (mantık aileleri ) veya mantık kapısı seviyesi. HDL'lerde tasarımcı, yazmaçları (kabaca bilgisayar programlama dillerindeki değişkenlere karşılık gelen) bildirir ve eğer-ise-else ve aritmetik işlemler gibi programlama dillerinden aşina olan yapıları kullanarak kombinasyonel mantığı açıklar. Bu seviyeye kayıt aktarım düzeyi. Terim, RTL'nin kayıtlar arasındaki sinyal akışını açıklamaya odaklandığı gerçeğini ifade eder.

Örnek olarak, yukarıda bahsedilen devre VHDL'de şu şekilde tanımlanabilir:

D <= değil Q; süreç(clk)başla    Eğer yükselen kenar(clk) sonra        Q <= D;    son Eğer;son süreç;

Bir EDA sentez için bir araç olduğundan, bu açıklama genellikle doğrudan eşdeğer bir donanım uygulama dosyasına çevrilebilir. ASIC veya bir FPGA. sentez araç ayrıca gerçekleştirir mantık optimizasyonu.

Kayıt transfer seviyesinde, bazı tip devreler tanınabilir. Bir yazmacın çıkışından girişine (veya bir dizi yazmaç çıkışından girişlerine) döngüsel bir mantık yolu varsa, devre denir durum makinesi veya olduğu söylenebilir sıralı mantık. Bir kayıttan diğerine döngü olmadan mantıksal yollar varsa, buna bir boru hattı.

Devre tasarım döngüsünde RTL

RTL, mantık tasarımı aşaması entegre devre tasarımı döngü.

Bir RTL açıklaması genellikle bir geçit düzeyinde açıklama tarafından devrenin mantık sentezi araç. Sentez sonuçları daha sonra tarafından kullanılır yerleştirme ve yönlendirme fiziksel oluşturmak için araçlar Yerleşim.

Mantık simülasyonu araçlar, doğruluğunu onaylamak için bir tasarımın RTL tanımını kullanabilir.

RTL için güç tahmin teknikleri

En doğru güç analizi araçları devre seviyesi için mevcuttur, ancak ne yazık ki, cihaz seviyesinde modellemeden ziyade anahtarla bile, devre seviyesindeki araçların ya çok yavaş olmaları ya da çok fazla bellek gerektirmeleri gibi dezavantajları vardır, dolayısıyla büyük talaş işlemeyi engellerler. Bunların çoğu benzer simülatörler BAHARAT tasarımcılar tarafından yıllardır performans analiz aracı olarak kullanılmaktadır. Bu dezavantajlar nedeniyle, kapı düzeyinde güç tahmin araçları, daha hızlı, olasılıklı tekniklerin bir dayanak kazanmaya başladığı yerlerde bir miktar kabul görmeye başladı. Ancak, özellikle ilişkili sinyallerin varlığında, doğruluk maliyetinde hızlanma elde edildiğinden, aynı zamanda ödünleşim de var. Yıllar geçtikçe, düşük güç tasarımında en büyük kazanımların devre ve kapı düzeyinde optimizasyonlardan gelemeyeceği, ancak mimari, sistem ve algoritma optimizasyonlarının güç tüketimi üzerinde en büyük etkiye sahip olduğu anlaşılmıştır. Bu nedenle, araç geliştiricilerinin güç için üst düzey analiz ve optimizasyon araçlarına yönelişinde bir kayma olmuştur.

Motivasyon

Devre veya kapı seviyesinden daha yüksek olan mimari ve algoritmik seviye gibi soyutlama seviyelerinde optimizasyonlar yapılırsa daha önemli güç azaltımlarının mümkün olduğu iyi bilinmektedir. ^[3] Bu, geliştiricilerin yeni mimari seviye güç analizi araçlarının geliştirilmesine odaklanması için gerekli motivasyonu sağlar. Bu hiçbir şekilde daha düşük seviyeli araçların önemsiz olduğu anlamına gelmez. Bunun yerine, her araç katmanı, bir sonraki düzeyin üzerine inşa edilebilecek bir temel sağlar. Daha düşük seviyedeki tahmin tekniklerinin soyutlamaları, küçük değişikliklerle daha yüksek bir seviyede kullanılabilir.

RTL veya mimari düzeyde güç tahmini yapmanın avantajları

Tasarımcılar, tasarım akışının çok erken aşamalarında optimizasyonlar ve değiş tokuşlar yapmak için tasarımın bir Kayıt-Aktarım Seviyesi (RTL) tanımını kullanır.
Bir RTL tanımında işlevsel blokların varlığı, mimari tasarımın karmaşıklığını büyük yongalar için bile çok daha yönetilebilir hale getirir çünkü RTL, geçit veya devre seviyesi tanımlarından yeterince daha büyük tanecikliliğe sahiptir.

Kapı Eşdeğerleri^[4]

Kapı eşdeğerleri kavramına dayalı bir tekniktir. Bir çip mimarisinin karmaşıklığı, yaklaşık olarak kapı eşdeğerleri açısından tanımlanabilir. kapı eşdeğeri count, belirli bir işlevi gerçekleştirmek için gerekli olan ortalama referans kapısı sayısını belirtir. Belirli bir işlev için gereken toplam güç, yaklaşık kapı eşdeğerlerinin sayısı kapı başına tüketilen ortalama güç ile çarpılarak tahmin edilir. Referans kapısı herhangi bir kapı olabilir, ör. 2 girişli NAND geçidi.

Kapı Eşdeğeri tekniği örnekleri

Sınıftan Bağımsız Güç Modellemesi: Kapı eşdeğerleri açısından tasarımın karmaşıklığı hakkındaki bilgilere dayanarak çip alanını, hızını ve güç dağılımını tahmin etmeye çalışan bir tekniktir. İşlevsellik farklı bloklar arasında bölünmüştür, ancak blokların işlevselliği konusunda hiçbir ayrım yapılmaz, yani temelde sınıftan bağımsızdır. Bu, Çip Tahmin Sistemi (CES) tarafından kullanılan tekniktir.

Adımlar:

Sayaçlar, kod çözücüler, çarpanlar, bellekler vb. Gibi işlevsel blokları tanımlayın.
Kapı Eşdeğerleri açısından bir karmaşıklık atayın. Her birim türü için GE sayısı ya doğrudan kullanıcıdan bir girdi olarak alınır ya da bir kitaplıktan beslenir.

{ displaystyle displaystyle P = sum _ {i in { text {fns}}} { textit {GE}} _ {i} (E _ { text {typ}} + C_ {L} ^ {i } V _ { text {dd}} ^ {2}) fA _ { text {int}} ^ {i}}

Nerede E_tip aktif olduğunda bir kapı eşdeğeri tarafından varsayılan ortalama harcanan enerjidir. Aktivite faktörü, A_int, saat çevrimi başına geçiş yapan kapıların ortalama yüzdesini gösterir ve işlevden işleve değişmesine izin verilir. Kapasitif yük, C_L, fan-out yüklemesinin yanı sıra kablolamanın bir kombinasyonudur. Kablo kapasitansını hesaplamak için ortalama kablo uzunluğunun bir tahmini kullanılabilir. Bu, kullanıcı tarafından sağlanır ve Kira Kuralının bir türevi kullanılarak çapraz kontrol edilir.

Varsayımlar:

Tek bir referans geçidi, farklı devre stillerini, saat stratejilerini veya yerleşim tekniklerini dikkate almayan tüm güç tahminleri için temel alınır.
Etkinlik faktörleri ile gösterilen saat döngüsü başına geçişlerin yüzdesinin, giriş modellerine bakılmaksızın sabit olduğu varsayılır.
Tipik kapı anahtarlama enerjisi, tamamen rastgele üniform ile karakterize edilir beyaz gürültü Giriş verilerinin (UWN) dağılımı. Bu, güç tahmininin devrenin boşta olmasına veya maksimum yükte olmasına bakılmaksızın aynı olduğu anlamına gelir, çünkü bu UWN modeli, farklı giriş dağılımlarının kapıların ve modüllerin güç tüketimini nasıl etkilediğini görmezden gelir.^[5]

Sınıfa Bağlı Güç Modellemesi: Bu yaklaşım, farklı fonksiyonel blok türlerine yönelik özelleştirilmiş tahmin tekniklerini hesaba kattığı için önceki yaklaşımdan biraz daha iyidir, böylece mantık, bellek, ara bağlantı ve benzeri gibi önceki teknikte olmayan modelleme doğruluğunu artırmaya çalışır. saat dolayısıyla adı. Güç tahmini, bağımsız duruma çok benzer şekilde yapılır. Temel anahtarlama enerjisi, üç girişli bir AND geçidine dayanır ve teknoloji parametrelerinden hesaplanır, örn. kullanıcı tarafından sağlanan geçit genişliği, toksisite ve metal genişliği.

{ displaystyle P _ { text {bitlines}} = { dfrac {N _ { text {col}}} {2}} cdot (L _ { text {col}} C _ { text {tel}} + N_ { text {satır}} C _ { text {hücre}}) V _ { text {dd}} V _ { text {salıncak}}}

Nerede C_tel birim uzunluk ve C başına bit hattı kablo kapasitansını gösterir_hücre bit hattında asılı tek bir hücreye bağlı yüklemeyi belirtir. Saat kapasitansı bir varsayıma dayanmaktadır. H-ağacı dağıtım ağı. Etkinlik, bir UWN modeli kullanılarak modellenmiştir. Denklemden de görülebileceği gibi, her bileşenin güç tüketimi sütun sayısı ile ilgilidir (N_col) ve satırlar (N_{kürek çekmek}) bellek dizisinde.

Dezavantajları:

Tüm yonga için genel bir etkinlik faktörü varsayıldığından devre etkinlikleri doğru bir şekilde modellenmemiştir ve bu da kullanıcı tarafından sağlandığı gibi güvenilir değildir. Aslında, faaliyet faktörleri yonga boyunca değişecektir, bu nedenle bu çok doğru değildir ve hataya meyillidir. Bu, model çip tarafından toplam güç tüketimi için doğru bir tahmin verse bile, modül bazlı güç dağıtımının oldukça yanlış olması sorununa yol açar.
Seçilen etkinlik faktörü doğru toplam gücü verir, ancak gücün mantık, saat, bellek vb. Olarak parçalanması daha az doğrudur. Bu nedenle, bu araç CES ile karşılaştırıldığında çok farklı veya geliştirilmiş değildir.

Önceden Tanımlanmış Hücre Kitaplıkları

Bu teknik, mantık, bellek ve ara bağlantı için ayrı bir güç modeline sahip olarak çeşitli fonksiyonel blokların güç tahminini daha da özelleştirir. Güç faktörü "Mantık" blokları için tek bir kapı eşdeğeri modeli yerine, çarpanlar, toplayıcılar, vb. Gibi işlevsel bloklardan oluşan tüm bir kütüphaneyi ayrı ayrı karakterize etmek için yaklaşım (PFA) yöntemi.
Çipin tamamı üzerindeki güç şu ifadeyle tahmin edilir:

{ displaystyle displaystyle P = sum _ {i { text {tüm bloklar}}} K_ {i} G_ {i} f_ {i}}

Nerede K_ben i'yi karakterize eden PFA orantılılık sabitidir_inci fonksiyonel eleman, G_ben donanım karmaşıklığının ölçüsüdür ve f_ben aktivasyon sıklığını belirtir.

Misal

G_ben Çarpanın donanım karmaşıklığını ifade etmek, giriş kelime uzunluğunun karesiyle ilgilidir, yani N² burada N kelime uzunluğu. Aktivasyon frekansı, çarpmaların f ile gösterilen algoritma tarafından gerçekleştirilme hızıdır._çoklu ve PFA sabiti, K_çoklu, önceki çarpan tasarımlarından deneysel olarak çıkarılmıştır ve 5V'de 1,2 µm teknolojisi için yaklaşık 15 fW / bit2-Hz olduğu gösterilmiştir. Yukarıdaki varsayımlar temelinde çarpan için ortaya çıkan güç modeli:

${ displaystyle displaystyle P _ { text {mult}} = K _ { text {mult}} N ^ {2} f _ { text {mult}}}$

Avantajlar:

Özelleştirme, bu blok için uygun olan karmaşıklık parametreleri açısından mümkündür. Örneğin. bir çarpan için kelime uzunluğunun karesi uygundu. Bellek için, bit cinsinden depolama kapasitesi kullanılır ve G / Ç sürücüleri için sözcük uzunluğu tek başına yeterlidir.

Zayıflık:

Girdilerin çarpan etkinliğini etkilemediğine dair örtük bir varsayım vardır, bu da PFA sabiti K'nin_çoklu sabit olarak alındığı için çarpma işlemiyle ilişkili içsel etkinliği yakalamaya yöneliktir.

16x16 çarpan için tahmin hatası (anahtar seviyesi simülasyonuna göre) denenmiştir ve girdilerin dinamik aralığı çarpanın kelime uzunluğunu tam olarak işgal etmediğinde, UWN modelinin son derece yanlış hale geldiği gözlemlenmiştir.^[6] İyi tasarımcılar kelime uzunluğu kullanımını en üst düzeye çıkarmaya çalışır. Yine de,% 50-100 aralığındaki hatalar nadir değildir. Şekil, UWN modelindeki bir kusuru açıkça göstermektedir.

Ayrıca bakınız

Güç tahmini

Referanslar

^ Frank Vahid (2010). RTL Tasarım, Verilog ve VHDL ile Dijital Tasarım (2. baskı). John Wiley and Sons. s. 247. ISBN 978-0-470-53108-2.
^ Yosys Kılavuzu (RTLIL)
^ "Entegre Devreler İçin Güç Tahmin Teknikleri"
^ "Düşük Güçlü Mimari Tasarım Metodolojileri"
^ "Etkinliği ve Güç Tüketimini Değiştirmek için Kayıt-Transfer Seviyesi Tahmin Teknikleri"
^ "Yüksek Seviye Güç Tahmini için Güç Makromodelleme"

[1] Frank Vahid (2010). RTL Tasarım, Verilog ve VHDL ile Dijital Tasarım (2. baskı). John Wiley and Sons. s. 247. ISBN 978-0-470-53108-2.

[2] Yosys Kılavuzu (RTLIL)

[3] "Entegre Devreler İçin Güç Tahmin Teknikleri"

[4] "Düşük Güçlü Mimari Tasarım Metodolojileri"

[5] "Etkinliği ve Güç Tüketimini Değiştirmek için Kayıt-Transfer Seviyesi Tahmin Teknikleri"

[6] "Yüksek Seviye Güç Tahmini için Güç Makromodelleme"

[1]

[2]

[3]

[4]

[5]

[6]

Dijital elektronik
Bileşenler	Kombinasyon mantığı Sıralı mantık Entegre devre (IC) Mantık kapısı
Teori	Dijital sinyal Boole cebri Mantık sentezi Bilgisayar biliminde mantık Bilgisayar Mimarisi Dijital sinyal Dijital sinyal işleme Devre minimizasyonu Anahtarlama devresi teorisi
Tasarım	Mantık sentezi Yer ve rota Yerleştirme Yönlendirme Kayıt aktarım düzeyi Donanım açıklama dili Üst düzey sentez Biçimsel eşdeğerlik kontrolü Senkron mantık Eşzamansız mantık Sonlu durum makinesi Hiyerarşik durum makinesi
Başvurular	Bilgisayar donanımı Donanım ivmesi Dijital ses radyo Dijital Fotoğrafçılık Dijital telefon Dijital video sinema televizyon Elektronik literatür
TASARIM SORUNLARI	Metastabilite Runt nabzı