HAL yindawo edidiyelwe yokuhlaziywa kohlu lwamasekethe edijithali kagesi, lokhu luhlaka oluphelele lokuguqula ubunjiniyela nolokukhohlisa izinhla zezinhlu ezisezingeni lomnyango ezigxile ekusebenzeni kahle, ekwenziweni kahle, nasekuthwalweni. HAL iza nohlelo lwe-plugin ukuqedela okuvumela ukwethula ukusebenza okungqubuzanayo ku-kernel.
Okuthakazelisayo by NGUBO MEDIA ukuthi ivumela ukubona nokuhlaziya isekethe ku-GUI nokuyisebenzisa kusetshenziswa imibhalo ye-python. Emibhalweni, ungasebenzisa "umtapo wezincwadi ojwayelekile" onamathiselwe wokusebenzisa imisebenzi yegrafu theory, esebenziseka ekubuyiseleni emuva amasekethe wedijithali wedijithali (usebenzisa le misebenzi, ungathola ngokwendalo amaphethini wokuklama ahlukahlukene futhi ususe okungaqondakali okulula ngombhalo olayini abaningi) .
Umtapo Wezincwadi kufaka phakathi amakilasi okuphathwa kwephrojekthi ku-IDE, engasetshenziswa lapho kwakhiwa ama-plug-ins wokuhlaziya nokuhlola ukuxhumana. Ama-Parsers ahlinzekelwe izilimi ezichaza i-VHDL neVerilog.
Le ndawo ithuthukiswa amanyuvesi amaningana aseJalimane, Ibhalwe nge-C ++, Qt, nePython futhi ikhishwe ngaphansi kwelayisense ye-MIT.
Izici zayo eziyinhloko okulandelayo kugqame:
- Kuqondiswe ukumelwa okucacile kwemvelo kwezinto ze-netlist nokuxhumeka kwazo.
- Ukusekelwa kwemitapo yolwazi yangokwezifiso.
- Ukusebenza okuphezulu kubonga okwenziwe kahle kwe-C ++ kernel
- Modularity - Bhala ama-plugins akho e-C ++ wokuhlaziywa kohlu lwenethiwekhi nokukhohlisa (ngokwesibonelo, usebenzisa ama-graphing algorithms)
- I-GUI enothile enika amandla ukuhlolwa okubonakalayo kohlu lwenethiwekhi nokuhlaziywa okusebenzisana
- Igobolondo le-Python elakhelwe ngaphakathi lokuhlanganyela ngokuhlola nezinto ze-netlist nokusebenzisana nama-plugins avela ku-GUI
Mayelana ne-HAL version 2.0.0
Okwamanje le ndawo ekunguqulo yayo engu-2.0.0 lapho Abahlaziyi be-VHDL neVerilog bathuthukisiwe, kanye nohlelo lwe-CMake build olwabuyekezwa ukuze lusebenzise ukucushwa okususelwa kumagoli.
Futhi kuqokonyiswa ukuthi ukungezwa kokuhlelwa kabusha kwamandla nokwenza modularization kungezwe, kanye nombono owengeziwe wokuhlukaniswa nohlelo olusha lokuklama.
Kwezinye izinguquko okushiwo kule nguqulo entsha:
- Izinguquko ohlelweni lomtapo wolwazi
- I-BDD ithathelwe indawo yimisebenzi ye-boolean
- Izinguquko ezinkulu ekubonakalisweni kwangaphakathi kwezinhlobo zamasango
- Ivumela umehluko phakathi kwama-LUTs, ama-flip-flops, ama-latches nezinhlobo zesango elihlanganayo
- KumaLatches nakuFlip-flops manje ungacacisa okokufaka okulandelanayo okukhethekile njengokunika amandla, iwashi, ukumisa nokusetha kabusha.
- Imitapo yolwazi yamasango kaJSON ithathelwe indawo ngamafayela enkululeko
- Uhlelo olwenziwe lula lwe-plugin
- Umtapo wezincwadi we-Igraph ufakiwe
- Ukubuyekezwa Okukhulu kwe-GUI
Ungayifaka kanjani i-HAL ku-Ubuntu nakwezinye izinto?
Okwalabo abanentshisekelo yokufaka lolu hlaka lobunjiniyela olubuyela emuva kumasekethe kagesi, bangakwenza ngokulandela imiyalo ukuthi sabelana ngezansi.
HAL ingafakwa ngezindlela ezimbili ku-Ubuntu nakwezinye izinto, owokuqala uyasisekela endaweni yokugcina izinto wohlelo (Kuvumeleke kuphela ku-Ubuntu 18.04).
Este singayifaka ohlelweni ngosizo lwe-terminal (Ungayivula ngezinkinobho zesinqamuleli Ctrl + Alt + T) futhi kuyo sizothayipha imiyalo elandelayo.
Okokuqala sizokwengeza kusuka endaweni yokugcina nge:
sudo add-apt-repository ppa:sebastian-wallat/hal
Sibuyekeza amaphakheji nohlu lwamakhosombe nge:
sudo apt-get update
Futhi siqhubeka ukufaka uhlelo kusistimu yethu ngokuthayipha umyalo olandelayo:
sudo apt install hal-reverse
Enye indlela yokufaka ngokuhlanganisa wohlelo ohlelweni. Ngalokhu kufanele silande ikhodi ye-HAL ngosizo lwesiginali.
Okokuqala sizothayipha:
git clone https://github.com/emsec/hal.git && cd hal
Manje sizofaka ukuncika okudingekayo:
./install_dependencies.sh
Futhi siqhubeka nokuhlanganisa ikhodi nge:
mkdir build && cd build cmake .. make
Lapho ukuhlanganiswa sekuqediwe, siyaqhubeka nokwenza ukufakwa nge:
make install
Okokugcina ungaxhumana nemibhalo nolunye ulwazi mayelana ne-HAL Kulesi sixhumanisi esilandelayo.