W zeszłym tygodniu Ogłoszenie zostało ogłoszone przez W. Clifforda, który wydał nową wersję 0.8 Yosys.
Tym, którzy nie słyszeli o Yosys, mogę powiedzieć, że eTo jest struktura dla narzędzi syntezy RTL. Obecnie się liczy z szeroką kompatybilnością Verilog i zapewnia podstawowy zestaw algorytmów syntezy dla różnych dziedzin aplikacji.
W nowej wersji dodano wiele rzeczy, ale główną informacją, którą można zobaczyć w informacji o wydaniu, jest to, że rozwój Yosys jest bardzo aktywny.
Cel Yosysa, aby stać się „darmowym szwajcarskim scyzorykiem” FPGA, można dziś uznać za niemal niezbędny.
Informacje o pakiecie Yosys Open SYnthesis Suite
yosys można dostosować do wykonywania dowolnej pracy syntezy poprzez łączenie istniejących przebiegów (algorytmy) używając skryptów syntezy i dodając dodatkowe przebiegi w razie potrzeby podczas rozszerzania bazy kodu Yosys C ++.
Yosys jest wolnym oprogramowaniem licencjonowanym na podstawie licencji ISC (zgodnej z GPL licencji, która jest podobna pod względem warunków do licencji MIT lub 2-klauzulowej licencji BSD).
W procesie tworzenia układów FPGA / ASIC synteza jest etapem konwersji symulowanego modelu sprzętu na „listę sieci RTL”, z której można wyprowadzić rzeczywisty obwód.
O Verilog
Verilog jest językiem modelowania sprzętu (Hardware Description Language HDL) do opisu symulacji obwodów cyfrowych.
Ten model Verilog służy jako specyfikacja dla „fizycznej” realizacji modelowanego komponentu.
Syntezę HDL można postrzegać jako konwersję kodu HDL do „schematu elektronicznego” składającego się z połączonych ze sobą elementów cyfrowych. Nazywa się to „listą sieci RTL” (poziomem przesyłania dziennika).
Yosys nie jest jedynym darmowym oprogramowaniem do syntezy Verilog (Możemy również pomyśleć o użyciu ODIN II w pakiecie oprogramowania VTR).
Ale bez wątpienia o wolnym oprogramowaniu mówi się ostatnio i którego rozwój jest najbardziej aktywny.
W rzeczywistości Yosys celuje teraz w wiele tanich układów FPGA, takich jak CoolRunner-II, ECP5, MAX10, Cyclone IV, a zwłaszcza ICE40.
ICE40 jest nieco wyjątkowy na liście, ponieważ dla tego FPGA został uruchomiony cały łańcuch rozwoju.
Oczywiście, możemy wykonać syntezę Verilog, ponieważ FPGA jest kompatybilny z Yosys, ale także lokalizacja routingu za pomocą arachnepnr, a także generowanie pliku konfiguracyjnego (strumień bitów) za pomocą pakietu icepack / iceprog.
Możliwe jest również sprawdzenie czasów za pomocą icetime.
O nowej wersji Yosys
- W tej nowej wersji Yosys zostały ogłoszone nowe funkcje, z których można wyróżnić następujące:
- Język FIRRTL używany przez Chisel3 jest możliwym backendem do generowania listy sieci;
- Wsparcie formalnego silnika weryfikacji yosys-smtb można prawie uznać za stabilne.
- Lista obsługiwanych układów FPGA (i innych układów ASIC) jest beznadziejnie długa;
- Oprócz formatów «netlist», które pozwalają na ponowną integrację z zastrzeżonym oprogramowaniem założycieli: BLIF, EDIF, BTOR, SMT-LIB, RTL Verilog, FIRRTL
Jak zainstalować Yosys w systemie Linux?
Dla kogo to jest chcą wypróbować to narzędzie, mogą przeprowadzić instalację w swoich systemach. Aby to zrobić, muszą postępować zgodnie z instrukcjami, które udostępniamy poniżej.
do ci, którzy są użytkownikami Ubuntu i jego pochodnymi, mogą cieszyć się prostą instalacją. Można to zrobić, dodając do systemu następujące repozytorium.
Najpierw musimy otworzyć terminal za pomocą Ctrl + ALT + T iw nim wykonać następujące polecenie:
sudo add-apt-repository ppa:saltmakrell/ppa
Zrobiono to teraz, musimy zaktualizować naszą listę pakietów i repozytoriów o:
sudo apt-get update
I na koniec instalujemy aplikację z:
sudo apt-get install yosys
W przypadku pozostałych dystrybucji Linuksa musimy skompilować narzędzie. W tym celu musimy sklonować kod źródłowy repozytorium GIT:
git clone https://github.com/cliffordwolf/yosys.git
Skonfiguruj ustawienia kompilacji za pomocą:
make config-clang vi Makefile vi Makefile.conf
Na koniec zbuduj, przetestuj i zainstaluj:
make make test sudo make install
Aby uzyskać więcej informacji na jego temat, a także znaleźć dokumentację dotyczącą korzystania z Yosys, możesz odwiedź poniższy link.