HAL yra integruota aplinka, skirta analizuoti skaitmeninių elektroninių grandinių sąrašąyra yra išsami atvirkštinės inžinerijos ir manipuliavimo sistema durų lygio tinklams, kuriuose pagrindinis dėmesys skiriamas efektyvumui, masteliui ir perkeliamumui. HAL ateina su papildinių sistema užbaigti kuris leidžia įvesti savavališkas branduolio funkcijas.
Įdomu pateikė HAL yra tai, kad tai leidžia pamatyti ir analizuoti grandinę GUI ir ja manipuliuoti naudojant pitono scenarijus. Scenarijuose galite naudoti pridedamą funkcijų, įgyvendinančių grafų teorijos operacijas, „standartinę biblioteką“, naudingą atvirkštinėms inžinerinėms skaitmeninėms elektroninėms grandinėms (naudodamiesi šiomis funkcijomis, galite euristiškai aptikti įvairius dizaino modelius ir pašalinti paprastus kliūtis scenarijumi keliose eilutėse) .
Biblioteka ji taip pat apima projekto valdymo klases IDE, kuriuos galima naudoti kuriant papildinius, skirtus ryšio analizei ir tikrinimui. Analizatoriai pateikiami VHDL ir „Verilog“ aparatūros aprašymo kalbomis.
Šią aplinką kuria keli Vokietijos universitetai, parašyta C ++, Qt ir Python ir išleista pagal MIT licenciją.
Iš savo pagrindinių savybių išsiskiria:
- Tikslinis natūralus netlistinių elementų ir jų ryšių grafinis vaizdavimas.
- Parama individualioms durų bibliotekoms.
- Aukštas našumas optimizuoto C ++ branduolio dėka
- Moduliškumas - parašykite savo „C ++“ papildinius, kad galėtumėte efektyviai analizuoti tinklus ir manipuliuoti jais (pvz., Naudodami grafikos algoritmus)
- Daug funkcijų turinti GUI, leidžianti vizualiai patikrinti tinklo sąrašą ir atlikti interaktyvią analizę
- Integruotas „Python“ apvalkalas, skirtas tiriamajam sąveikai su „netlist“ elementais ir sąveikai su papildiniais iš GUI
Apie HAL 2.0.0 versiją
Dabar ši aplinka yra 2.0.0 versijoje kuriame Patobulinti VHDL ir Verilog analizatoriai, kartu su „CMake“ sukūrimo sistema, kuri buvo atnaujinta, kad būtų naudojamos tikslinėmis konfigūracijomis.
taip pat pabrėžiama, kad buvo pridėta parama hierarchizacijai ir moduliavimui, taip pat papildomą izoliacijos vaizdą ir naują dizaino sistemą.
Iš kitų pokyčių paminėta šioje naujojoje versijoje:
- Durų bibliotekos sistemos pakeitimai
- BDD pakeista loginėmis funkcijomis
- Pagrindiniai vartų tipų vidinio atvaizdavimo pokyčiai
- Leidžia diferencijuoti LUT, šlepetes, skląsčius ir kombinuotus vartų tipus
- Dabar skląsčiuose ir „Flip-flops“ galite nurodyti specialius nuoseklius įėjimus, tokius kaip įjungimas, laikrodis, konfigūravimas ir atstatymas.
- JSON vartų bibliotekos pakeistos laisvės failais
- Supaprastinta įskiepių sistema
- Įtraukta Igraph biblioteka
- Pagrindinė GUI apžvalga
Kaip įdiegti HAL „Ubuntu“ ir jo dariniuose?
Tiems, kurie nori įdiegti šią atvirkštinę elektroninių grandinių inžinerijos sistemą, jie gali tai padaryti vykdydami instrukcijas kad mes dalinamės žemiau.
HAL gali būti montuojami dviem būdais Ubuntu ir dariniuose, pirmasis mus palaiko iš saugyklos paraiškos (Galioja tik „Ubuntu“ 18.04).
tai mes galime jį įtraukti į sistemą terminalo pagalba (Jį galite atidaryti naudodami sparčiuosius klavišus „Ctrl“ + „Alt“ + T) ir jame rašysime šias komandas.
Pirmiausia mes pridėsime iš saugyklos su:
sudo add-apt-repository ppa:sebastian-wallat/hal
Atnaujiname saugyklų paketus ir sąrašą:
sudo apt-get update
Ir mes toliau diegiame programą savo sistemoje, įvesdami šią komandą:
sudo apt install hal-reverse
Kitas diegimo būdas yra kompiliavimas taikymo sistemoje. Tam mes turime atsisiųsti HAL kodą naudodami terminalą.
Pirmiausia rašysime:
git clone https://github.com/emsec/hal.git && cd hal
Dabar mes ketiname įdiegti reikalingas priklausomybes:
./install_dependencies.sh
Mes toliau rengiame kodą naudodami:
mkdir build && cd build cmake .. make
Kai kompiliacija bus baigta, mes atliksime diegimą:
make install
Pagaliau gali susipažinti su dokumentais ir kita informacija apie HAL Šioje nuorodoje.