HAL Ini adalah lingkungan terintegrasi untuk analisis daftar sirkuit elektronik digitaladalah adalah kerangka rekayasa dan manipulasi terbalik yang komprehensif untuk daftar net tingkat pintu yang berfokus pada efisiensi, skalabilitas, dan portabilitas. HAL dilengkapi dengan sistem plugin menyelesaikan yang memungkinkan untuk memperkenalkan fungsionalitas sewenang-wenang di kernel.
Menarik oleh HAL adalah memungkinkan untuk melihat dan menganalisis sirkuit di GUI dan memanipulasinya menggunakan skrip python. Dalam skrip, Anda dapat menggunakan fungsi "pustaka standar" terlampir yang mengimplementasikan operasi teori grafik, berguna untuk rekayasa balik sirkuit elektronik digital (dengan menggunakan fungsi ini, Anda dapat mendeteksi berbagai pola desain secara heuristik dan menghapus kebingungan sederhana dengan skrip pada beberapa baris) .
Perpustakaan itu juga mencakup kelas untuk manajemen proyek di IDE, yang dapat digunakan saat mengembangkan plug-in untuk analisis dan inspeksi koneksi. Pengurai disediakan untuk bahasa deskripsi perangkat keras VHDL dan Verilog.
Lingkungan ini dikembangkan oleh beberapa universitas Jerman, ditulis dalam C ++, Qt, dan Python dan dirilis di bawah lisensi MIT.
Karakteristik utamanya yang menonjol berikut ini:
- Representasi grafis natural yang diarahkan dari item netlist dan koneksinya.
- Dukungan untuk perpustakaan pintu khusus.
- Kinerja tinggi berkat kernel C ++ yang dioptimalkan
- Modularitas - Tulis plugin C ++ Anda sendiri untuk analisis dan manipulasi daftar jaringan yang efisien (misalnya, menggunakan algoritme grafik)
- GUI kaya fitur yang memungkinkan inspeksi visual dari daftar jaringan dan analisis interaktif
- Shell Python bawaan untuk berinteraksi secara eksploratif dengan item netlist dan untuk berinteraksi dengan plugin dari GUI
Tentang HAL versi 2.0.0
Sekarang lingkungan ini ada dalam versi 2.0.0-nya di mana VHDL dan Verilog analyzer ditingkatkan, bersama dengan sistem build CMake yang telah diperbarui untuk menggunakan konfigurasi berbasis tujuan.
juga disorot bahwa dukungan untuk hierarki dan modularisasi telah ditambahkan, serta tampilan isolasi tambahan dan sistem desain baru.
Dari perubahan lainnya disebutkan dalam versi baru ini:
- Perubahan pada sistem perpustakaan pintu
- BDD diganti dengan fungsi boolean
- Perubahan besar dalam representasi internal tipe gerbang
- Memungkinkan diferensiasi antara jenis LUT, sandal jepit, kait, dan gerbang kombinasional
- Di Latches dan Flip-flop Anda sekarang dapat menentukan input berurutan khusus seperti aktifkan, jam, konfigurasi, dan reset.
- Perpustakaan gerbang JSON diganti dengan file kebebasan
- Sistem plugin yang disederhanakan
- Perpustakaan Igraph disertakan
- Ulasan Utama GUI
Bagaimana cara menginstal HAL di Ubuntu dan turunannya?
Bagi yang tertarik memasang kerangka rekayasa terbalik ini untuk rangkaian elektronik, mereka dapat melakukannya dengan mengikuti instruksi yang kami bagikan di bawah ini.
HAL dapat dipasang dengan dua cara di Ubuntu dan turunannya, yang pertama mendukung kami dari repositori dari aplikasi (Hanya valid untuk Ubuntu 18.04).
ini kita dapat menambahkannya ke sistem dengan bantuan terminal (Anda dapat membukanya dengan tombol pintas Ctrl + Alt + T) dan di dalamnya kita akan mengetikkan perintah berikut.
Pertama kita akan menambahkan dari repositori dengan:
sudo add-apt-repository ppa:sebastian-wallat/hal
Kami memperbarui paket dan daftar repositori dengan:
sudo apt-get update
Dan kami melanjutkan untuk menginstal aplikasi di sistem kami dengan mengetik perintah berikut:
sudo apt install hal-reverse
Metode instalasi lainnya adalah dengan kompilasi dari aplikasi dalam sistem. Untuk ini kita harus mengunduh kode HAL dengan bantuan terminal.
Pertama kita akan mengetik:
git clone https://github.com/emsec/hal.git && cd hal
sekarang kami akan menginstal dependensi yang diperlukan:
./install_dependencies.sh
Dan kami melanjutkan untuk mengkompilasi kode dengan:
mkdir build && cd build cmake .. make
Setelah kompilasi selesai, kami melanjutkan untuk melakukan instalasi dengan:
make install
Akhirnya dapat berkonsultasi dengan dokumentasi dan informasi lainnya tentang HAL Di tautan berikut.