HAL là một môi trường tích hợp để phân tích danh sách các mạch điện tử kỹ thuật sốĐiều này là một khung thao tác và kỹ thuật đảo ngược toàn diện cho danh sách mạng cấp cửa tập trung vào hiệu quả, khả năng mở rộng và tính di động. HAL đi kèm với một hệ thống plugin hoàn thành cho phép giới thiệu các chức năng tùy ý trong hạt nhân.
Thú vị bởi HAL là nó cho phép xem và phân tích mạch trong GUI và thao tác với nó bằng cách sử dụng tập lệnh python. Trong các tập lệnh, bạn có thể sử dụng "thư viện tiêu chuẩn" đính kèm của các hàm thực hiện các phép toán lý thuyết đồ thị, hữu ích cho các mạch điện tử kỹ thuật số ngược (sử dụng các hàm này, bạn có thể phát hiện theo kinh nghiệm các mẫu thiết kế khác nhau và loại bỏ các xáo trộn đơn giản với một tập lệnh trên nhiều dòng) .
Thư viện nó cũng bao gồm các lớp quản lý dự án trong IDE, có thể được sử dụng khi phát triển các trình cắm thêm để phân tích và kiểm tra kết nối. Bộ phân tích cú pháp được cung cấp cho các ngôn ngữ mô tả phần cứng VHDL và Verilog.
Môi trường này được phát triển bởi một số trường đại học Đức, được viết bằng C ++, Qt và Python và được phát hành theo giấy phép MIT.
Đặc điểm chính của nó nổi bật sau:
- Biểu diễn đồ họa tự nhiên được hướng dẫn của các mục netlist và các kết nối của chúng.
- Hỗ trợ cho các thư viện cửa tùy chỉnh.
- Hiệu suất cao nhờ nhân C ++ được tối ưu hóa
- Mô-đun - Viết các plugin C ++ của riêng bạn để phân tích và thao tác danh sách mạng hiệu quả (ví dụ: sử dụng thuật toán vẽ đồ thị)
- GUI nhiều tính năng cho phép kiểm tra trực quan danh sách mạng và phân tích tương tác
- Một trình bao Python tích hợp để tương tác khám phá với các mục trong danh sách mạng và để tương tác với các plugin từ GUI
Giới thiệu về phiên bản HAL 2.0.0
Bây giờ môi trường này ở phiên bản 2.0.0 của nó trong đó Các bộ phân tích VHDL và Verilog đã được cải thiện, cùng với hệ thống xây dựng CMake đã được cập nhật để sử dụng các cấu hình dựa trên mục tiêu.
cũng nó được nhấn mạnh rằng hỗ trợ phân cấp và mô-đun hóa đã được thêm vào, cũng như một khung nhìn cách ly bổ sung và một hệ thống thiết kế mới.
Những thay đổi khác được đề cập trong phiên bản mới này:
- Những thay đổi đối với hệ thống thư viện cửa
- BDD được thay thế bằng các hàm boolean
- Những thay đổi lớn trong biểu diễn bên trong của các loại cổng
- Cho phép phân biệt giữa các LUT, flip-flops, chốt và các loại cổng kết hợp
- Trong Latches và Flip-flops, giờ đây bạn có thể chỉ định các đầu vào tuần tự đặc biệt như kích hoạt, đồng hồ, cấu hình và đặt lại.
- Các thư viện cổng JSON được thay thế bằng các tệp tự do
- Hệ thống plugin đơn giản hóa
- Thư viện Igraph bao gồm
- Đánh giá chính về GUI
Làm thế nào để cài đặt HAL trên Ubuntu và các dẫn xuất?
Đối với những người quan tâm đến việc cài đặt khung kỹ thuật đảo ngược này cho các mạch điện tử, họ có thể làm điều đó bằng cách làm theo hướng dẫn mà chúng tôi chia sẻ dưới đây.
HAL có thể được cài đặt theo hai cách trong Ubuntu và các dẫn xuất, người đầu tiên đang hỗ trợ chúng tôi từ kho lưu trữ của ứng dụng (Chỉ hợp lệ cho Ubuntu 18.04).
điều này chúng ta có thể thêm nó vào hệ thống với sự trợ giúp của thiết bị đầu cuối (Bạn có thể mở nó bằng phím tắt Ctrl + Alt + T) và trong đó chúng ta sẽ nhập các lệnh sau.
Đầu tiên, chúng tôi sẽ thêm từ kho lưu trữ với:
sudo add-apt-repository ppa:sebastian-wallat/hal
Chúng tôi cập nhật các gói và danh sách các kho với:
sudo apt-get update
Và chúng ta tiến hành cài đặt ứng dụng trên hệ thống của mình bằng cách gõ lệnh sau:
sudo apt install hal-reverse
Phương pháp cài đặt khác là biên dịch của ứng dụng trong hệ thống. Đối với điều này, chúng tôi phải tải xuống mã HAL với sự trợ giúp của thiết bị đầu cuối.
Đầu tiên chúng ta sẽ nhập:
git clone https://github.com/emsec/hal.git && cd hal
Bây giờ chúng tôi sẽ cài đặt các phụ thuộc cần thiết:
./install_dependencies.sh
Và chúng tôi tiến hành biên dịch mã với:
mkdir build && cd build cmake .. make
Sau khi biên dịch xong, chúng ta tiến hành cài đặt với:
make install
Cuối cùng có thể tham khảo tài liệu và thông tin khác về HAL Trong liên kết sau đây.