HAL adalah persekitaran bersepadu untuk analisis senarai litar elektronik digitalIni adalah rangka kerja manipulasi dan manipulasi terbalik yang komprehensif untuk senarai net peringkat pintu yang memfokuskan pada kecekapan, skalabiliti, dan mudah alih. HAL dilengkapi dengan sistem pemalam penuh yang memungkinkan untuk memperkenalkan fungsi sewenang-wenang dalam kernel.
Yang menarik oleh HAL adakah ia memungkinkan untuk melihat dan menganalisis litar di GUI dan memanipulasinya menggunakan skrip python. Dalam skrip, anda boleh menggunakan fungsi "pustaka standard" yang dilampirkan yang melaksanakan operasi teori grafik, berguna untuk litar elektronik digital kejuruteraan terbalik (menggunakan fungsi-fungsi ini, anda dapat mengesan pelbagai corak reka bentuk secara heuristik dan menghilangkan kekeliruan sederhana dengan skrip pada beberapa baris) .
Perpustakaan ini juga merangkumi kelas untuk pengurusan projek di IDE, yang boleh digunakan semasa mengembangkan pemalam untuk analisis dan pemeriksaan sambungan. Penyusun disediakan untuk bahasa penerangan perkakasan VHDL dan Verilog.
Persekitaran ini dikembangkan oleh beberapa universiti di Jerman, ditulis dalam C ++, Qt, dan Python dan dikeluarkan di bawah lesen MIT.
Ciri-ciri utamanya berikut menonjol:
- Mengarahkan gambaran grafik semula jadi item senarai bersih dan hubungannya.
- Sokongan untuk perpustakaan pintu tersuai.
- Prestasi tinggi berkat kernel C ++ yang dioptimumkan
- Modulariti - Tulis pemalam C ++ anda sendiri untuk analisis dan manipulasi senarai rangkaian yang cekap (contohnya, menggunakan algoritma grafik)
- GUI yang kaya dengan ciri yang membolehkan pemeriksaan visual senarai rangkaian dan analisis interaktif
- Cangkang Python terbina dalam untuk berinteraksi secara eksplisit dengan item senarai net dan untuk berinteraksi dengan pemalam dari GUI
Mengenai HAL versi 2.0.0
Sekarang persekitaran ini terdapat dalam versi 2.0.0 di mana Penganalisis VHDL dan Verilog diperbaiki, bersama dengan sistem pembuatan CMake yang dikemas kini untuk menggunakan konfigurasi berdasarkan matlamat.
juga menonjol bahawa sokongan untuk hierarkisasi dan modularisasi ditambahkan, serta pandangan pengasingan tambahan dan sistem reka bentuk baru.
Daripada perubahan yang lain disebut dalam versi baru ini:
- Perubahan pada sistem perpustakaan pintu
- BDD digantikan dengan fungsi boolean
- Perubahan besar dalam perwakilan dalaman jenis gerbang
- Membolehkan pembezaan antara jenis LUT, sandal jepit, selak, dan jenis gerbang gabungan
- Dalam Latches dan Flip-flops anda kini dapat menentukan input berurutan khas seperti aktifkan, jam, konfigurasi dan tetapkan semula.
- Perpustakaan gerbang JSON diganti dengan fail kebebasan
- Sistem pemalam yang dipermudahkan
- Perpustakaan Igraph disertakan
- Kajian Utama GUI
Bagaimana cara memasang HAL di Ubuntu dan derivatif?
Bagi mereka yang berminat untuk memasang kerangka kejuruteraan terbalik ini untuk litar elektronik, mereka dapat melakukannya dengan mengikut arahan yang kami kongsikan di bawah.
HAL boleh dipasang dengan dua cara di Ubuntu dan derivatif, yang pertama menyokong kami dari repositori permohonan (Hanya sah untuk Ubuntu 18.04).
ini kita boleh menambahkannya ke sistem dengan bantuan terminal (Anda boleh membukanya dengan kekunci pintasan Ctrl + Alt + T) dan di dalamnya kita akan menaip perintah berikut.
Pertama kita akan menambah dari repositori dengan:
sudo add-apt-repository ppa:sebastian-wallat/hal
Kami mengemas kini pakej dan senarai repositori dengan:
sudo apt-get update
Dan kami terus memasang aplikasi di sistem kami dengan mengetik perintah berikut:
sudo apt install hal-reverse
Kaedah pemasangan yang lain adalah dengan menyusun aplikasi dalam sistem. Untuk ini kita harus memuat turun kod HAL dengan bantuan terminal.
Mula-mula kita akan menaip:
git clone https://github.com/emsec/hal.git && cd hal
Sekarang kita akan memasang pergantungan yang diperlukan:
./install_dependencies.sh
Dan kami terus menyusun kod dengan:
mkdir build && cd build cmake .. make
Setelah penyusunan selesai, kami terus melakukan pemasangan dengan:
make install
Akhirnya boleh merujuk dokumentasi dan maklumat lain mengenai HAL Dalam pautan berikut.