HAL Είναι ένα ολοκληρωμένο περιβάλλον για την ανάλυση της λίστας ψηφιακών ηλεκτρονικών κυκλωμάτωνείναι είναι ένα ολοκληρωμένο πλαίσιο αντίστροφης μηχανικής και χειραγώγησης για netlists επιπέδου πόρτας που εστιάζει στην αποτελεσματικότητα, την επεκτασιμότητα και τη φορητότητα. HAL έρχεται με ένα σύστημα προσθηκών πλήρης που επιτρέπει την εισαγωγή αυθαίρετων λειτουργιών στον πυρήνα
Το ενδιαφέρον από την HAL είναι ότι επιτρέπει να δείτε και να αναλύσετε το κύκλωμα στο GUI και να το χειριστείτε χρησιμοποιώντας σενάρια python. Σε δέσμες ενεργειών, μπορείτε να χρησιμοποιήσετε τη συνημμένη "τυπική βιβλιοθήκη" συναρτήσεων που εφαρμόζουν λειτουργίες θεωρίας γραφημάτων, χρήσιμες για ψηφιακά ηλεκτρονικά κυκλώματα αντίστροφης μηχανικής (χρησιμοποιώντας αυτές τις λειτουργίες, μπορείτε να ανιχνεύσετε ευρετικά διάφορα μοτίβα σχεδίασης και να αφαιρέσετε απλές συσπάσεις με σενάριο σε πολλές γραμμές) .
Βιβλιοθήκη περιλαμβάνει επίσης μαθήματα διαχείρισης έργων στο IDE, που μπορούν να χρησιμοποιηθούν κατά την ανάπτυξη προσθηκών για έλεγχο και ανάλυση σύνδεσης. Παρέχονται αναλυτές για τις γλώσσες περιγραφής υλικού VHDL και Verilog.
Αυτό το περιβάλλον αναπτύχθηκε από πολλά γερμανικά πανεπιστήμια, γράφτηκε σε C ++, Qt και Python και κυκλοφόρησε με άδεια MIT
Από τα κύρια χαρακτηριστικά του ξεχωρίζουν τα ακόλουθα:
- Κατευθύνεται η φυσική γραφική αναπαράσταση των στοιχείων netlist και των συνδέσεών τους.
- Υποστήριξη για προσαρμοσμένες βιβλιοθήκες θυρών.
- Υψηλή απόδοση χάρη στον βελτιστοποιημένο πυρήνα C ++
- Modularity - Γράψτε τα δικά σας πρόσθετα C ++ για αποτελεσματική ανάλυση και χειρισμό λιστών δικτύου (για παράδειγμα, χρησιμοποιώντας αλγόριθμους γραφικών)
- Ένα πλούσιο σε χαρακτηριστικά GUI που επιτρέπει οπτική επιθεώρηση της λίστας δικτύου και διαδραστική ανάλυση
- Ένα ενσωματωμένο κέλυφος Python για διερευνητική αλληλεπίδραση με στοιχεία netlist και για αλληλεπίδραση με προσθήκες από το GUI
Σχετικά με την έκδοση HAL 2.0.0
Τώρα αυτό το περιβάλλον είναι στην έκδοση 2.0.0 στο οποίο Οι αναλυτές VHDL και Verilog βελτιώθηκαν, μαζί με το σύστημα δημιουργίας CMake που ενημερώθηκε για χρήση διαμορφώσεων βάσει στόχων.
επίσης τονίζεται ότι προστέθηκε υποστήριξη για ιεραρχία και διαμόρφωση, καθώς και μια πρόσθετη προβολή απομόνωσης και ένα νέο σύστημα σχεδίασης.
Από τις άλλες αλλαγές αναφέρεται σε αυτήν τη νέα έκδοση:
- Αλλαγές στο σύστημα βιβλιοθήκης θυρών
- Το BDD αντικαταστάθηκε με boolean συναρτήσεις
- Σημαντικές αλλαγές στην εσωτερική αναπαράσταση των τύπων πύλης
- Επιτρέπει τη διαφοροποίηση μεταξύ LUT, flip-flops, latches και συνδυαστικών τύπων πύλης
- Στα Latches and Flip-flops μπορείτε πλέον να καθορίσετε ειδικές διαδοχικές εισόδους όπως ενεργοποίηση, ρολόι, ρύθμιση παραμέτρων και επαναφορά.
- Οι βιβλιοθήκες πύλης JSON αντικαταστάθηκαν με αρχεία ελευθερίας
- Απλοποιημένο σύστημα προσθηκών
- Περιλαμβάνεται βιβλιοθήκη Igraph
- Σημαντική αναθεώρηση GUI
Πώς να εγκαταστήσετε το HAL στο Ubuntu και σε παράγωγα;
Για όσους ενδιαφέρονται να εγκαταστήσουν αυτό το πλαίσιο αντίστροφης μηχανικής για ηλεκτρονικά κυκλώματα, μπορούν να το κάνουν ακολουθώντας τις οδηγίες που μοιραζόμαστε παρακάτω.
HAL μπορεί να εγκατασταθεί με δύο τρόπους στο Ubuntu και παράγωγα, ο πρώτος μας υποστηρίζει από το αποθετήριο της αίτησης (Ισχύει μόνο για το Ubuntu 18.04).
αυτό μπορούμε να το προσθέσουμε στο σύστημα με τη βοήθεια ενός τερματικού (Μπορείτε να το ανοίξετε με τα πλήκτρα συντόμευσης Ctrl + Alt + T) και σε αυτό θα πληκτρολογήσουμε τις ακόλουθες εντολές.
Πρώτα θα προσθέσουμε από το αποθετήριο με:
sudo add-apt-repository ppa:sebastian-wallat/hal
Ενημερώνουμε τα πακέτα και τη λίστα των αποθετηρίων με:
sudo apt-get update
Και προχωράμε στην εγκατάσταση της εφαρμογής στο σύστημά μας πληκτρολογώντας την ακόλουθη εντολή:
sudo apt install hal-reverse
Η άλλη μέθοδος εγκατάστασης είναι με τη σύνταξη της εφαρμογής στο σύστημα. Για αυτό πρέπει να κατεβάσουμε τον κωδικό HAL με τη βοήθεια ενός τερματικού.
Πρώτα πρόκειται να πληκτρολογήσουμε:
git clone https://github.com/emsec/hal.git && cd hal
Τώρα πρόκειται να εγκαταστήσουμε τις απαραίτητες εξαρτήσεις:
./install_dependencies.sh
Και προχωράμε στη σύνταξη του κώδικα με:
mkdir build && cd build cmake .. make
Μόλις ολοκληρωθεί η σύνταξη, προχωράμε στην εκτέλεση της εγκατάστασης με:
make install
Τελικά μπορεί να συμβουλευτεί την τεκμηρίωση και άλλες πληροφορίες για HAL Στον ακόλουθο σύνδεσμο.