Yosys: ένα πλαίσιο ανοιχτού κώδικα για εργαλεία σύνθεσης Verilog

Yosys show_rtl

Κατά την τελευταία εβδομάδα Μια ανακοίνωση έγινε από τον W. Clifford που κυκλοφόρησε τη νέα έκδοση 0.8 του Yosys.

Για όσους δεν έχουν ακούσει για το Yosys μπορώ να σας πω ότι εΑυτό είναι ένα πλαίσιο για εργαλεία σύνθεσης RTL. Αυτή τη στιγμή μετράει με ευρεία συμβατότητα Verilog και παρέχει ένα βασικό σύνολο αλγορίθμων σύνθεσης για διάφορους τομείς εφαρμογών.

Πολλά πράγματα έχουν προστεθεί σε αυτήν τη νέα κυκλοφορία, αλλά οι κύριες πληροφορίες που φαίνονται στη σημείωση έκδοσης είναι ότι η ανάπτυξη του Yosys είναι πολύ ενεργή.

Ο στόχος του Yosys να γίνει το «ελεύθερο μαχαίρι Ελβετικού Στρατού» του FPGA μπορεί να θεωρηθεί σχεδόν απαραίτητος σήμερα.

Σχετικά με το Yosys Open SYnthesis Suite

yosys μπορεί να προσαρμοστεί για να εκτελέσει οποιαδήποτε εργασία σύνθεσης συνδυάζοντας υπάρχοντα περάσματα (αλγόριθμοι) χρησιμοποιώντας σενάρια σύνθεσης και προσθέτοντας επιπλέον περάσματα όπως απαιτείται κατά την επέκταση της βάσης κώδικα Yosys C ++.

Το Yosys είναι ελεύθερο λογισμικό με άδεια χρήσης βάσει της άδειας ISC (μια άδεια συμβατή με GPL που είναι παρόμοια με την άδεια MIT ή την άδεια BSD 2 ρητρών).

Στη διαδικασία ανάπτυξης FPGA / ASIC, η σύνθεση είναι το βήμα μετατροπής του προσομοιωμένου μοντέλου υλικού σε "netlist RTL" από το οποίο μπορεί να προκύψει το πραγματικό κύκλωμα.

show_coarse

Σχετικά με το Verilog

Verilog είναι μια γλώσσα μοντελοποίησης υλικού (Hardware Description Language HDL) για την περιγραφή μιας προσομοίωσης ψηφιακών κυκλωμάτων.

Αυτό το μοντέλο Verilog χρησιμεύει ως προδιαγραφή για μια «φυσική» πραγματοποίηση του μοντέλου.

Η σύνθεση HDL μπορεί να θεωρηθεί ως μετατροπή του κώδικα HDL σε "ηλεκτρονικό σχήμα" που αποτελείται από ψηφιακά στοιχεία που συνδέονται μεταξύ τους. Αυτό ονομάζεται "RTL Network List" (Log Transfer Level).

Το Yosys δεν είναι το μοναδικό δωρεάν λογισμικό για τη σύνθεση Verilog (Μπορούμε επίσης να σκεφτούμε τη χρήση του ODIN II στη σουίτα λογισμικού VTR).

Όμως, χωρίς αμφιβολία, το ελεύθερο λογισμικό είναι αυτό που συζητήθηκε πιο πρόσφατα και του οποίου η ανάπτυξη είναι η πιο ενεργή.

Στην πραγματικότητα, Η Yosys στοχεύει τώρα πολλά φθηνά FPGA CoolRunner-II, ECP5, MAX10, Cyclone IV και ειδικά το ICE40.

Το ICE40 είναι λίγο ξεχωριστό στη λίστα, καθώς για αυτό το FPGA έχει ξεκινήσει ολόκληρη η αλυσίδα ανάπτυξης.

Φυσικά, μπορούμε να κάνουμε σύνθεση Verilog αφού το FPGA είναι συμβατό με το Yosys, αλλά και τη θέση δρομολόγησης με το arachnepnr, καθώς και τη δημιουργία του αρχείου διαμόρφωσης (bitstream) με icepack / iceprog.

Είναι επίσης δυνατό να ελέγξετε τις ώρες με icetime.

show_cmos

Σχετικά με τη νέα έκδοση του Yosys

  • Σε αυτή τη νέα κυκλοφορία του Yosys, ανακοινώθηκαν οι νέες λειτουργίες, από τις οποίες μπορούν να επισημανθούν τα ακόλουθα:
  • Η γλώσσα FIRRTL που χρησιμοποιείται από το Chisel3 είναι ένα πιθανό backend για τη δημιουργία του netlist.
  • Η επίσημη υποστήριξη κινητήρα επαλήθευσης του yosys-smtb μπορεί σχεδόν να θεωρηθεί σταθερή.
  • Η λίστα των υποστηριζόμενων FPGA (και άλλων ASIC) είναι απελπιστικά μεγάλη.
  • Όπως και οι μορφές «netlist» που επιτρέπουν την επανένταξη στο ιδιόκτητο λογισμικό των ιδρυτών: BLIF, EDIF, BTOR, SMT-LIB, RTL Verilog, FIRRTL

Πώς να εγκαταστήσετε το Yosys σε Linux;

Για εκείνους που ενδιαφέρονται να δοκιμάσουν αυτό το εργαλείο, μπορούν να εκτελέσουν την εγκατάσταση στα συστήματά τους. Για να γίνει αυτό, πρέπει να ακολουθήσουν τις οδηγίες που κοινοποιούμε παρακάτω.

να όσοι είναι χρήστες του Ubuntu και παράγωγά του μπορούν να απολαύσουν μια απλή εγκατάσταση. Αυτό μπορεί να γίνει προσθέτοντας το ακόλουθο αποθετήριο στο σύστημά σας.

Πρώτα πρέπει να ανοίξουμε ένα τερματικό με Ctrl + ALT + T και σε αυτό να εκτελέσουμε την ακόλουθη εντολή:

sudo add-apt-repository ppa:saltmakrell/ppa

Αυτό έγινε τώρα, πρέπει να ενημερώσουμε τη λίστα των πακέτων και των αποθετηρίων μας με:

sudo apt-get update 

Και τέλος εγκαθιστούμε την εφαρμογή με:

sudo apt-get install yosys

Για τις υπόλοιπες διανομές Linux πρέπει να συντάξουμε το εργαλείο. Για αυτό πρέπει να κλωνοποιήσουμε τον πηγαίο κώδικα του αποθετηρίου GIT:

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

Διαμορφώστε τις ρυθμίσεις κατασκευής με:

make config-clang

vi Makefile

vi Makefile.conf

Τέλος, δημιουργήστε, δοκιμάστε και εγκαταστήστε:

make

make test

sudo make install

Για να λάβετε περισσότερες πληροφορίες σχετικά με αυτό, καθώς και να βρείτε τεκμηρίωση σχετικά με τη χρήση του Yosys, μπορείτε να επισκεφθείτε τον ακόλουθο σύνδεσμο.


Αφήστε το σχόλιό σας

Η διεύθυνση email σας δεν θα δημοσιευθεί. Τα υποχρεωτικά πεδία σημειώνονται με *

*

*

  1. Υπεύθυνος για τα δεδομένα: AB Internet Networks 2008 SL
  2. Σκοπός των δεδομένων: Έλεγχος SPAM, διαχείριση σχολίων.
  3. Νομιμοποίηση: Η συγκατάθεσή σας
  4. Κοινοποίηση των δεδομένων: Τα δεδομένα δεν θα κοινοποιούνται σε τρίτους, εκτός από νομική υποχρέωση.
  5. Αποθήκευση δεδομένων: Βάση δεδομένων που φιλοξενείται από τα δίκτυα Occentus (ΕΕ)
  6. Δικαιώματα: Ανά πάσα στιγμή μπορείτε να περιορίσετε, να ανακτήσετε και να διαγράψετε τις πληροφορίες σας.