HAL, digitaalisten elektronisten piirien käänteinen suunnittelu

hal_näyttökuva

HAL Se on integroitu ympäristö digitaalisten elektronisten piirien luettelon analysointia vartenon on kattava käänteinen suunnittelu- ja manipulointikehys ovitason verkkolistoille, jotka keskittyvät tehokkuuteen, skaalautuvuuteen ja siirrettävyyteen. HAL mukana tulee laajennusjärjestelmä completo mikä sallii mielivaltaisten toimintojen tuomisen ytimeen.

Mielenkiintoista kirjoittanut HAL on, että sen avulla voidaan nähdä ja analysoida piiriä graafisessa käyttöliittymässä ja manipuloida sitä käyttämällä python-komentosarjoja. Skripteissä voit käyttää oheista "vakiokirjastoa" funktioista, jotka toteuttavat kaavioteorian operaatiot, hyödyllisiä digitaalisten elektronisten piirien käänteisessä suunnittelussa (näitä toimintoja käyttämällä voit havaita heuristisesti erilaiset suunnittelumallit ja poistaa yksinkertaiset hämmennykset komentosarjalla useilla riveillä) .

Kirjasto se sisältää myös projektihallinnan luokat IDE: ssä, joita voidaan käyttää kehitettäessä laajennuksia yhteyden analysointiin ja tarkastamiseen. Parserit tarjotaan VHDL- ja Verilog-laitteistokuvauskielille.

Tämän ympäristön ovat kehittäneet useat saksalaiset yliopistot, kirjoitettu kielillä C ++, Qt ja Python ja julkaistu MIT-lisenssillä.

Sen pääominaisuuksista seuraavat erottuu:

  • Suunniteltu luonnollinen graafinen esitys netlist-kohteista ja niiden yhteyksistä.
  • Tuki mukautetuille ovikirjastoille.
  • Korkea suorituskyky optimoidun C ++ -ydimen ansiosta
  • Modulaarisuus - Kirjoita omat C ++ -laajennuksesi tehokasta verkkoluetteloiden analysointia ja manipulointia varten (esimerkiksi graafisten algoritmien avulla)
  • Monipuolinen käyttöliittymä, joka mahdollistaa verkkoluettelon visuaalisen tarkastamisen ja interaktiivisen analyysin
  • Sisäänrakennettu Python-kuori kokeelliseen vuorovaikutukseen netlist-kohteiden kanssa ja vuorovaikutukseen graafisen käyttöliittymän laajennusten kanssa

Tietoja HAL-versiosta 2.0.0

Nyt tämä ympäristö on versiossa 2.0.0 missä VHDL- ja Verilog-analysaattoreita parannettiin, yhdessä CMake-rakennusjärjestelmän kanssa, joka päivitettiin käyttämään tavoitepohjaisia ​​kokoonpanoja.

myös on korostettu, että hierarkisoinnin ja modulaation tuki lisättiin, samoin kuin ylimääräinen eristysnäkymä ja uusi suunnittelujärjestelmä.

Muista muutoksista mainittu tässä uudessa versiossa:

  • Muutokset ovikirjastojärjestelmään
  • BDD korvattu loogisilla toiminnoilla
  • Suurimmat muutokset porttityyppien sisäisessä esityksessä
  • Mahdollistaa erottelun LUT: iden, kiikun, salpojen ja yhdistelmäporttityyppien välillä
  • Salpa- ja kiikaritiedoissa voit nyt määrittää erityisiä peräkkäisiä tuloja, kuten aktivointi, kello, konfigurointi ja nollaus.
  • JSON-porttikirjastot korvataan vapauden tiedostoilla
  • Yksinkertaistettu laajennusjärjestelmä
  • Mukana Igraph-kirjasto
  • GUI-pääkatsaus

Kuinka asentaa HAL Ubuntuun ja johdannaisiin?

Niille, jotka ovat kiinnostuneita asentamaan tämän käänteisen tekniikan kehyksen sähköisille piireille, he voivat tehdä sen noudattamalla ohjeita jonka jaamme alla.

HAL voidaan asentaa kahdella tavalla Ubuntussa ja johdannaisissa, ensimmäinen tukee meitä arkistosta hakemuksen (Voimassa vain Ubuntu 18.04: ssä).

tämä voimme lisätä sen järjestelmään päätelaitteen avulla (Voit avata sen pikanäppäimillä Ctrl + Alt + T) ja siinä kirjoitamme seuraavat komennot.

Ensin lisätään arkistosta:

sudo add-apt-repository ppa:sebastian-wallat/hal

Päivitämme paketit ja arkistoluettelon:

sudo apt-get update

Asennamme sovelluksen järjestelmäämme kirjoittamalla seuraavan komennon:

sudo apt install hal-reverse

Toinen asennustapa on kääntäminen sovelluksesta järjestelmässä. Tätä varten meidän on ladattava HAL-koodi päätelaitteen avulla.

Ensin kirjoitamme:

git clone https://github.com/emsec/hal.git && cd hal

Nyt asennamme tarvittavat riippuvuudet:

./install_dependencies.sh

Ja jatkamme koodin laatimista:

mkdir build && cd build

cmake ..

make

Kun kokoaminen on valmis, suoritamme asennuksen seuraavilla tavoilla:

make install

Vihdoin voi tutustua asiakirjoihin ja muihin tietoihin noin HAL Seuraavassa linkissä.


Jätä kommentti

Sähköpostiosoitettasi ei julkaista. Pakolliset kentät on merkitty *

*

*

  1. Vastuussa tiedoista: Miguel Ángel Gatón
  2. Tietojen tarkoitus: Roskapostin hallinta, kommenttien hallinta.
  3. Laillistaminen: Suostumuksesi
  4. Tietojen välittäminen: Tietoja ei luovuteta kolmansille osapuolille muutoin kuin lain nojalla.
  5. Tietojen varastointi: Occentus Networks (EU) isännöi tietokantaa
  6. Oikeudet: Voit milloin tahansa rajoittaa, palauttaa ja poistaa tietojasi.