HAL See on integreeritud keskkond digitaalsete elektrooniliste vooluringide loendi analüüsimisekson on terviklik pöördtehnoloogia ja manipuleerimise raamistik uksetasemel võrguloendite jaoks, mis keskenduvad tõhususele, mastaapsusele ja kaasaskantavusele. HAL kaasas pistikprogrammi süsteem täitma mis võimaldab tuumas sisse viia suvalisi funktsionaalsusi.
Huvitav autor HAL on see, et see võimaldab graafikaliideses skeemi näha ja analüüsida ning sellega manipuleerida kasutades pythoni skripte. Skriptides saate kasutada lisatud "standarditeeki" funktsioonidest, mis rakendavad graafiteooria toiminguid, mis on kasulikud digitaalsete elektrooniliste ahelate vastupidiseks muutmiseks (nende funktsioonide abil saate heuristiliselt tuvastada erinevaid kujundusmustreid ja eemaldada lihtsad hägustused skriptiga mitmel real) .
Raamatukogu see hõlmab ka projektijuhtimise tunde IDE-s, mida saab kasutada pistikprogrammide väljatöötamisel ühenduse kontrollimiseks ja analüüsimiseks. Parserid on ette nähtud riistvara kirjelduskeeltele VHDL ja Verilog.
Selle keskkonna on välja töötanud mitmed Saksa ülikoolid, kirjutatud C ++, Qt ja Python keeles ning välja antud MIT-litsentsi all.
Selle peamistest omadustest silma paistavad järgmised:
- Netlist-üksuste ja nende seoste loomulik graafiline kujutis.
- Kohandatud uksekogude tugi.
- Suur jõudlus tänu optimeeritud C ++ kernelile
- Modulaarsus - kirjutage oma C ++ pistikprogrammid võrguloendi tõhusaks analüüsimiseks ja manipuleerimiseks (näiteks graafiliste algoritmide abil)
- Funktsioonirikas GUI, mis võimaldab võrguloendi visuaalset kontrollimist ja interaktiivset analüüsi
- Sisseehitatud Pythoni kest võrguloendi üksustega uurivaks suhtlemiseks ja graafilise kasutajaliidese pistikprogrammidega suhtlemiseks
Teave HAL versiooni 2.0.0 kohta
Nüüd see keskkond on oma versioonis 2.0.0 kus Täiustati VHDL ja Verilog analüsaatoreid, koos CMake'i ehitussüsteemiga, mida värskendati eesmärgipõhiste konfiguratsioonide kasutamiseks.
ka rõhutatakse, et lisati hierarhiseerimise ja modulariseerimise tugi, samuti täiendav isolatsioonivaade ja uus kujundussüsteem.
Muudest muudatustest mainitud selles uues versioonis:
- Muudatused uste raamatukogu süsteemis
- BDD asendati boolean funktsioonidega
- Suured muutused väravatüüpide sisemises esinduses
- Võimaldab eristada LUT-sid, plätusid, riive ja kombineeritud väravatüüpe
- Lukkudes ja klappides saate nüüd määrata järjestikused sisendid nagu lubamine, kell, konfigureerimine ja lähtestamine.
- JSON-i väravaraamatud asendati vabadusfailidega
- Lihtsustatud pistikprogrammisüsteem
- Igraphi raamatukogu kaasas
- GUI peamised ülevaated
Kuidas installida HAL Ubuntu ja derivaadid?
Neile, kes on huvitatud selle elektroonilise vooluahela pöördtehnoloogia raamistiku paigaldamisest, nad saavad seda teha juhiseid järgides mida jagame allpool.
HAL saab paigaldada kahel viisil Ubuntu ja derivaadid, esimene toetab meid hoidlast taotluse (Kehtib ainult Ubuntu 18.04 jaoks).
see saame selle terminali abil süsteemi lisada (Saate selle avada kiirklahvidega Ctrl + Alt + T) ja selles kirjutame järgmised käsud.
Kõigepealt lisame hoidlast järgmistega:
sudo add-apt-repository ppa:sebastian-wallat/hal
Värskendame pakette ja hoidlate loendit järgmisega:
sudo apt-get update
Ja jätkame rakenduse installimist oma süsteemi, tippides järgmise käsu:
sudo apt install hal-reverse
Teine installimisviis on kompileerimine rakenduse süsteemis. Selleks peame terminali abil alla laadima HAL-koodi.
Kõigepealt kirjutame:
git clone https://github.com/emsec/hal.git && cd hal
nüüd installime vajalikud sõltuvused:
./install_dependencies.sh
Ja jätkame koodi koostamist järgmisega:
mkdir build && cd build cmake .. make
Kui kompileerimine on lõppenud, jätkame installimist järgmisega:
make install
Lõpuks saab tutvuda dokumentatsiooni ja muu teabega umbes HAL Järgmisel lingil.