एलएलएचडी प्रोजेक्ट - यूनिवर्सल हार्डवेयर विवरण भाषा

दूसरे दिन, स्विस शोधकर्ताओं द्वारा एक बहुत ही दिलचस्प लेख arXiv पर प्रकाशित किया गया था, जिसमें LLHD परियोजना का विवरण प्रस्तुत किया गया है । यह हार्डवेयर विवरण भाषाओं के लिए एक बहु-स्तरीय मध्यवर्ती प्रतिनिधित्व बनाने के लिए एक परियोजना है, जो एलएलवीएम परियोजना की विचारधारा और सिद्धांतों को विरासत में मिला है ।

सरल शब्दों में, यह उपकरण का वर्णन करने के लिए एक नई भाषा है, जो अपने पूर्ववर्तियों की कमियों से रहित है और अब मौजूदा बुनियादी ढांचे के साथ अच्छे प्रदर्शन, लचीलेपन और संगतता का प्रदर्शन कर रहा है। अच्छी बात यह है कि मुख्य उपकरणों के लिए कोड रस्ट में लिखा गया है ।

औजारों का प्रस्तावित पदानुक्रम (इसके बाद मूल लेख से चित्र)

इस परियोजना के पास एक बार ओपन सॉफ्टवेयर की दुनिया के लिए जीसीसी और एलएलवीएम बनने का हर मौका है । यह कल्पना करना मुश्किल है कि यह लोहे के खनन के आसपास कितना फर्क कर सकता है।

कटर के तहत मामलों की वर्तमान स्थिति, भाषा का एक संक्षिप्त अवलोकन और नए दृष्टिकोण के अंतर का वर्णन है।

परिचय

, 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 . , , :

• Inlinine Expansion —  ;
• Dead Code Elimination —  IR
• Loop Invariant Code Motion —  ,
• Loop Unrolling — 
• Constant Folding Constant Propagation — «» ,
• Loop Autovectorization — 

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, .

:

• LLHD
• IR LLHD , ,
• , HDL
• -
• ,

, , . , , , .

, Rust , , LLVM . , LLHD.