في ذلك اليوم فقط ، نُشر مقال مثير للاهتمام للغاية من قبل الباحثين السويسريين على arXiv ، والذي يعرض تفاصيل مشروع LLHD . هذا مشروع لإنشاء تمثيل وسيط متعدد المستويات للغات وصف الأجهزة ، وراثة إيديولوجية ومبادئ مشروع LLVM .
بكلمات بسيطة ، هذه لغة جديدة لوصف الأجهزة ، خالية من عيوب سابقاتها وتثبت الآن الأداء اللائق والمرونة والتوافق مع البنية التحتية الحالية. الشيء الجميل هو أن رمز الأدوات الرئيسية مكتوب بلغة Rust .
التسلسل الهرمي المقترح للأدوات (فيما يلي صور من المقالة الأصلية)
لدى المشروع كل فرصة ليصبح ما أصبح دول مجلس التعاون الخليجي وشركة LLVM ذات يوم لعالم البرمجيات المفتوحة. من الصعب تخيل مدى تأثير ذلك على تعدين الحديد.
تحت القاطع وصف للحالة الراهنة ، لمحة موجزة عن اللغة والاختلافات في النهج الجديد.
المقدمة
, NDA, . , , : HDL , , (bitstream), . Lattice iCE40 ( iCE Storm), ECP5 ( Trellis) , , Xilinx 7 ( X-Ray).
, - . , : Verilog VHDL. , , . , - : , . , Chisel, Verilog VHDL. , , Verilog, .
. , Verilog VHDL — . . .
, , , — .
HTML, , .
, ( ) , , , , .
, , — , — . , , , , «».
(Intermediate Representation, IR) . , LLVM GCC LLVM IR GIMPLE. CPS. JVM IR. .
IR , .
, , , :
: (behavioral), (structural) (netlist):
- , . , - .
- , . , (. ).
- . , , , .
, IR . LLHD . LLHD , , . LLHD .
LLVM LLHD
LLVM — , — IR LLVM. , , . LLVM . ++ Siberia JIT VM Smalltalk.
, IR . LLVM . , LLVM IR : , «» , , , .. , IR , « » , LLVM .
SSA .. , , . .
IR LLVM . IR . , , :
LLHD IR LLVM, , . , .
LLHD IR .
IR , LLVM JIT- IR .
, . .
IR LLHD
HDL LLHD : , .
0 0 1 . . , SSA. , . .
, , . , . , . 0 . . , , . , , . , .
. , . .
IR LLHD. , :
acc ( clk, 32- x en) 32- (q). d q, , . zero.
acc_ff clk. prb ; wait ( - ) ; neq and " " " "; br ; drv .
acc_comb q, x en. , , (add) qp xp.
. , . , :
LLHD
- : (CF), (DCE) peephole (IS)
- «» (ECM)
- (TCM)
- phi (TCFE)
IR :
, . .
LLHD, JIT- LLHD HDL . HDL , , LLHD Moore.
, --. JIT- LLHD 2.4 , , RISC-V .
, Moore. . , LLHD RISC-V.
, , , . , SystemVerilog, JIT- LLHD, .
:
, , . , , , .
, Rust , , LLVM . , LLHD.