Yosys: një kornizë me burim të hapur për mjetet e sintezës Verilog

Yosys show_rtl

Javën e kaluar Një njoftim u bë nga W. Clifford i cili lëshoi ​​versionin e ri 0.8 të Yosys.

Për ata që nuk kanë dëgjuar për Yosys mund t'ju them se eKy është një kornizë për mjetet e sintezës RTL. Aktualisht numëron me pajtueshmëri të gjerë Verilog dhe ofron një grup themelor të algoritmeve të sintezës për fusha të ndryshme të aplikimit.

Shumë gjëra janë shtuar në këtë botim të ri, por informacioni kryesor që mund të shihet në shënimin e lëshimit është se zhvillimi i Yosys është shumë aktiv.

Qëllimi i Yosys për t'u bërë "thika e lirë e Ushtrisë Zvicerane" e FPGA mund të konsiderohet pothuajse e domosdoshme sot.

Rreth Yosys Open Synthesis Suite

yosys mund të adaptohet për të kryer ndonjë punë sinteze duke kombinuar pasimet ekzistuese (algoritme) duke përdorur skripte sinteze dhe duke shtuar kalime shtesë sipas nevojës kur zgjatni bazën e kodit Yosys C ++.

Yosys është softuer i lirë i licensuar nën licencën ISC (licencë në përputhje me GPL, e cila është e ngjashme për sa i përket licencës MIT ose licencës BSD me 2 klauzola).

Në procesin e zhvillimit të FPGA / ASIC, sinteza është hapi i shndërrimit të modelit të simuluar të pajisjes në "RTL netlist" nga e cila mund të nxirret qarku aktual.

tregojnë_i trashë

Rreth Verilog

Verilog është një gjuhë modelimi e harduerit (Gjuha e përshkrimit të harduerit HDL) për përshkrimin e një simulimi të qarqeve dixhitale.

Ky model Verilog shërben si specifikim për një realizim "fizik" të përbërësit të modeluar.

Sinteza HDL mund të shihet si një shndërrim i kodit HDL në një "skemë elektronike" që përbëhet nga përbërës dixhitalë të lidhur me njëri-tjetrin. Kjo quhet "Lista e Rrjetit RTL" (Niveli i Transferimit të Regjistrit).

Yosys nuk është i vetmi program falas për sintezën e Verilog (Mund të mendojmë gjithashtu të përdorim ODIN II në kompletin e programeve VTR).

Por, pa dyshim, programi falas është ai për të cilin është folur së fundmi dhe zhvillimi i të cilit është më aktivi.

Në fakt, Yosys tani synon shumë FPGA të lira si CoolRunner-II, ECP5, MAX10, Cikloni IV dhe veçanërisht ICE40.

ICE40 është paksa i veçantë në listë, pasi për këtë FPGA është nisur i gjithë zinxhiri i zhvillimit.

Sigurisht, ne mund të bëjmë sintezën e Verilog pasi FPGA është në përputhje me Yosys, por edhe vendndodhjen e rutimit me arachnepnr, si dhe gjenerimin e skedarit të konfigurimit (bitstream) me icepack / iceprog.

Alsoshtë gjithashtu e mundur të kontrolloni kohën me kohën e akullit.

show_cmos

Rreth versionit të ri të Yosys

  • Në këtë lansim të ri të Yosys, janë njoftuar funksionalitetet e reja, nga të cilat mund të theksohen sa vijon:
  • Gjuha FIRRTL e përdorur nga Chisel3 është një mbështetje e mundshme për të gjeneruar listën neto;
  • Mbështetja zyrtare e motorit të verifikimit të yosys-smtb pothuajse mund të konsiderohet e qëndrueshme.
  • Lista e FPGA-ve të mbështetura (dhe ASIC-të e tjera) është pa shpresë e gjatë;
  • Si dhe formatet «netlist» që lejojnë ri-integrimin në softuerin pronësor të themeluesve: BLIF, EDIF, BTOR, SMT-LIB, RTL Verilog, FIRRTL

Si ta instaloni Yosys në Linux?

Për ata që janë të interesuar të jenë në gjendje të provojnë këtë mjet, ata mund të kryejnë instalimin në sistemet e tyre. Për ta bërë këtë, ata duhet të ndjekin udhëzimet që ndajmë më poshtë.

ata që janë përdorues të Ubuntu dhe derivatet e tij mund të shijojnë një instalim të thjeshtë. Kjo mund të bëhet duke shtuar depon e mëposhtme në sistemin tuaj.

Së pari ne duhet të hapim një terminal me Ctrl + ALT + T dhe në të të ekzekutojmë komandën e mëposhtme:

sudo add-apt-repository ppa:saltmakrell/ppa

Bërë këtë tani ne duhet të azhurnojmë listën tonë të paketave dhe depove me:

sudo apt-get update 

Dhe së fundmi ne instalojmë aplikacionin me:

sudo apt-get install yosys

Për pjesën tjetër të shpërndarjeve Linux duhet të përpilojmë mjetin. Për këtë ne duhet të klonojmë kodin burimor të depozitës GIT:

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

Konfiguroni cilësimet e ndërtimit me:

make config-clang

vi Makefile

vi Makefile.conf

Më në fund ndërtoni, provoni dhe instaloni:

make

make test

sudo make install

Në mënyrë që të merrni më shumë informacion në lidhje me të, si dhe të jeni në gjendje të gjeni dokumentacionin mbi përdorimin e Yosys, mundeni vizitoni lidhjen e mëposhtme.


Lini komentin tuaj

Adresa juaj e emailit nuk do të publikohet. Fusha e kërkuar janë shënuar me *

*

*

  1. Përgjegjës për të dhënat: AB Internet Networks 2008 SL
  2. Qëllimi i të dhënave: Kontrolloni SPAM, menaxhimin e komenteve.
  3. Legjitimimi: Pëlqimi juaj
  4. Komunikimi i të dhënave: Të dhënat nuk do t'u komunikohen palëve të treta përveç me detyrim ligjor.
  5. Ruajtja e të dhënave: Baza e të dhënave e organizuar nga Occentus Networks (BE)
  6. Të drejtat: Në çdo kohë mund të kufizoni, rikuperoni dhe fshini informacionin tuaj.