Yosys: isang bukas na balangkas ng mapagkukunan para sa mga tool sa pagbubuo ng Verilog

Yosys show_rtl

Noong nakaraang linggo Isang anunsyo ang ginawa ni W. Clifford na naglabas ng bagong bersyon 0.8 ng Yosys.

Para sa mga hindi pa naririnig ang tungkol kay Yosys masasabi ko sa iyo iyan eIto ay isang balangkas para sa mga tool sa pagbubuo ng RTL. Kasalukuyang binibilang na may malawak na pagiging tugma ng Verilog at nagbibigay ng isang pangunahing hanay ng mga algorithm ng synthesis para sa iba't ibang mga domain ng application.

Maraming mga bagay ang naidagdag sa bagong paglabas na ito, ngunit ang pangunahing impormasyon na maaaring makita sa tala ng paglabas ay ang pag-unlad ng Yosys na napaka-aktibo.

Ang layunin ni Yosys na maging "libreng Swiss Army kutsilyo" ng FPGA ay maaaring isaalang-alang na halos kinakailangan ngayon.

Tungkol sa Yosys Open Synthesis Suite

yosys maaaring iakma upang maisagawa ang anumang gawaing pagbubuo sa pamamagitan ng pagsasama-sama ng mga umiiral na pass (mga algorithm) gamit ang mga script ng synthesis at pagdaragdag ng mga karagdagang pass kung kinakailangan kapag pinapalawak ang Yosys C ++ codebase.

Ang Yosys ay isang libreng software na lisensyado sa ilalim ng lisensya ng ISC (isang lisensya na sumusunod sa GPL na pareho sa mga tuntunin sa lisensya ng MIT o lisensya ng 2-sugnay na BSD).

Sa proseso ng pag-unlad ng FPGA / ASIC, ang pagbubuo ay ang hakbang ng pag-convert ng simulate na modelo ng hardware sa "RTL netlist" na kung saan maaaring makuha ang aktwal na circuit.

ipakita_coarse

Tungkol sa Verilog

Verilog ay isang Wika sa Pagmomodelo ng Hardware (Paglalarawan ng Hardware na Wika HDL) para sa paglalarawan ng isang simulation ng mga digital na circuit.

Ang modelo ng Verilog na ito ay nagsisilbing isang pagtutukoy para sa isang "pisikal" na pagsasakatuparan ng naka-modelo na sangkap.

Ang pagtingin sa HDL ay maaaring matingnan bilang isang pagbabago ng HDL code sa isang "elektronikong pamamaraan" na binubuo ng mga digital na sangkap na konektado sa bawat isa. Tinawag itong "listahan ng network ng RTL" (Antas ng Paglipat ng Log).

Ang Yosys ay hindi lamang ang libreng software para sa pagbubuo ng Verilog (Maaari rin nating maiisip ang paggamit ng ODIN II sa VTR software suite).

Ngunit, nang walang pag-aalinlangan, ang libreng software ay ang napag-usapan tungkol sa pinakabago at kaninong pag-unlad ang pinaka-aktibo.

Sa katunayan, Target ngayon ng Yosys ang maraming murang FPGA tulad CoolRunner-II, ECP5, MAX10, Cyclone IV at lalo na ang ICE40.

Ang ICE40 ay medyo espesyal sa listahan, dahil para sa FPGA na ito ang buong kadena sa pag-unlad ay inilunsad.

Syempre, maaari naming gawin ang synthetic ng Verilog dahil ang FPGA ay katugma sa Yosys, kundi pati na rin ang lokasyon ng pagruruta na may arachnepnr, pati na rin ang pagbuo ng file ng pagsasaayos (bitstream) na may icepack / iceprog.

Posible ring suriin ang mga oras sa icetime.

show_cmos

Tungkol sa bagong bersyon ng Yosys

  • Sa bagong paglunsad ng Yosys na ito, ang mga bagong pag-andar ay naanunsyo na kung saan ang mga sumusunod ay maaaring ma-highlight:
  • Ang wikang FIRRTL na ginamit ng Chisel3 ay isang posibleng backend upang makabuo ng netlist;
  • Ang suporta ng pormal na verification engine ng yosys-smtb ay halos maituring na matatag.
  • Ang listahan ng mga sinusuportahang FPGA (at iba pang mga ASIC) ay walang pag-asa ang haba;
  • Pati na rin ang mga format na «netlist» na nagpapahintulot sa muling pagsasama sa pagmamay-ari ng software ng mga nagtatag: BLIF, EDIF, BTOR, SMT-LIB, RTL Verilog, FIRRTL

Paano i-install ang Yosys sa Linux?

Para sa mga taong interesado na subukan ang tool na ito, maaari nilang maisagawa ang pag-install sa kanilang mga system. Upang magawa ito, dapat nilang sundin ang mga tagubilin na ibinabahagi namin sa ibaba.

Sa ang mga gumagamit ng Ubuntu at nagmula rito ay maaaring masiyahan sa isang simpleng pag-install. Maaari itong magawa sa pamamagitan ng pagdaragdag ng sumusunod na lalagyan sa iyong system.

Una dapat naming buksan ang isang terminal na may Ctrl + ALT + T at dito isagawa ang sumusunod na utos:

sudo add-apt-repository ppa:saltmakrell/ppa

Tapos na ito ngayon dapat nating i-update ang aming listahan ng mga package at repository na may:

sudo apt-get update 

At sa wakas ay nai-install namin ang application sa:

sudo apt-get install yosys

Para sa natitirang mga pamamahagi ng Linux dapat nating ipagsama ang tool. Para sa mga ito dapat naming i-clone ang source code ng GIT repository:

git clone https://github.com/cliffordwolf/yosys.git

I-configure ang mga setting ng build gamit ang:

make config-clang

vi Makefile

vi Makefile.conf

Panghuli magtayo, subukan at i-install:

make

make test

sudo make install

Upang makakuha ng karagdagang impormasyon tungkol dito, pati na rin upang makahanap ng dokumentasyon sa paggamit ng Yosys, maaari kang bisitahin ang sumusunod na link.


Iwanan ang iyong puna

Ang iyong email address ay hindi nai-publish. Mga kinakailangang patlang ay minarkahan ng *

*

*

  1. Responsable para sa data: AB Internet Networks 2008 SL
  2. Layunin ng data: Kontrolin ang SPAM, pamamahala ng komento.
  3. Legitimation: Ang iyong pahintulot
  4. Komunikasyon ng data: Ang data ay hindi maiparating sa mga third party maliban sa ligal na obligasyon.
  5. Imbakan ng data: Ang database na naka-host ng Occentus Networks (EU)
  6. Mga Karapatan: Sa anumang oras maaari mong limitahan, mabawi at tanggalin ang iyong impormasyon.