Google açık kaynaklı donanım sentez araç seti XLS projesini geliştirmeyi sürdürüyor
Öne çıkanlar
- XLS, yüksek seviyeli kodları doğrudan sentezlenebilir Verilog ve SystemVerilog tasarımlarına dönüştürüyor.
- Rust dilinden esinlenen DSLX ve deneysel C++ arayüzleri donanım tanımı için kullanılabiliyor.
- LLVM tabanlı JIT motoru donanım tasarımlarının ana makinede yerel hızda test edilmesini sağlıyor.
Google bünyesinde geliştirilen açık kaynaklı XLS projesi, yüksek seviyeli işlevsel tanımlardan sentezlenebilir Verilog ve SystemVerilog çıktıları üreten bir donanım sentez araç seti sunuyor. Apache 2 lisansıyla yayımlanan araç, Moore Yasası'nın sonuna yaklaşılan dönemde yazılım ve donanım mühendislerinin ortak çalışma ihtiyacını karşılamayı amaçlıyor. Sistem, donanım bloklarının hem doğrudan simülatör ve ana yazılımlarda yerel hızda çalıştırılmasına hem de devre seviyesinde sentezlenmesine imkan tanıyor.
XLS ekosistemi, Rust sözdiziminden esinlenen DSLX adında veri akışı odaklı bir alana özgü dil içeriyor. C++ tabanlı mevcut kod tabanları için deneysel xlscc desteği de barındıran mimari, ara temsil (IR) optimizasyonları ve LLVM tabanlı JIT derleyicisiyle donanım davranışlarını hızlıca test etme olanağı sağlıyor. Sistem ayrıca mantıksal eşdeğerlik denetimleri ve biçimsel doğrulama için Z3 tabanlı SMT çözücülerinden ve hata ayıklama fuzzer altyapısından yararlanıyor.
Henüz deneysel aşamada bulunan proje, açık kaynaklı Yosys, ASAP7, SKY130 ve OpenROAD gibi araçlarla uçtan uca sentez ve yerleşim süreçlerini destekliyor. Linux x64 ikili paketleri, Docker dosyaları ve Google Colab ortamlarıyla denenebilen projenin tam kaynak kod derlemesi Bazel aracılığıyla yürütülüyor. Geliştiriciler, DSLX üzerinde geriye dönük uyumluluk garantisi bulunmadığını belirterek katkı sürecinin GitHub tartışmaları üzerinden koordine edilmesini öneriyor.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.