Μια νέα τεχνική εργασία με τίτλο «Όλα τα τεχνητά, λιγότερη νοημοσύνη: GenAI μέσω του φακού της επίσημης επαλήθευσης» δημοσιεύτηκε από ερευνητές της Infineon Technologies.
Περίληψη
«Τα σύγχρονα σχέδια υλικού έχουν γίνει ολοένα και πιο αποτελεσματικά και πολύπλοκα. Ωστόσο, είναι συχνά επιρρεπείς σε Απαριθμήσεις Κοινών Αδυναμιών (CWE). Αυτή η εργασία επικεντρώνεται στην επίσημη επαλήθευση των CWE σε ένα σύνολο δεδομένων σχεδίων υλικού γραμμένου σε SystemVerilog από την Αναγεννητική Τεχνητή Νοημοσύνη (AI) που τροφοδοτείται από μοντέλα μεγάλων γλωσσών (LLM). Εφαρμόσαμε επίσημη επαλήθευση για να κατηγοριοποιήσουμε κάθε σχέδιο υλικού ως ευάλωτο ή χωρίς CWE. Αυτό το σύνολο δεδομένων δημιουργήθηκε από 4 διαφορετικά LLM και διαθέτει ένα μοναδικό σύνολο σχεδίων για καθένα από τα 10 CWE που στοχεύουμε στην εργασία μας. Έχουμε συσχετίσει τα εντοπισμένα τρωτά σημεία με αριθμούς CWE για ένα σύνολο δεδομένων 60,000 δημιουργηθέντων κωδικών SystemVerilog Register Transfer Level (RTL). Διαπιστώθηκε επίσης ότι οι περισσότεροι LLM δεν γνωρίζουν κανένα CWE υλικού. Ως εκ τούτου, συνήθως δεν λαμβάνονται υπόψη κατά τη δημιουργία του κώδικα υλικού. Η μελέτη μας αποκαλύπτει ότι περίπου το 60% των σχεδίων υλικού που δημιουργούνται από LLMs είναι επιρρεπείς σε CWE, θέτοντας πιθανούς κινδύνους για την ασφάλεια και την ασφάλεια. Το σύνολο δεδομένων θα μπορούσε να είναι ιδανικό για την εκπαίδευση LLM και αλγορίθμων Μηχανικής Μάθησης (ML) ώστε να αποφεύγουν τη δημιουργία σχεδίων υλικού επιρρεπή σε CWE».
Βρείτε το τεχνικό χαρτί εδώ. Δημοσιεύθηκε Μάρτιος 2024.
Gadde, Deepak Narayan, Aman Kumar, Thomas Nalapat, Evgenii Rezunov και Fabio Cappellini. "Όλα τα τεχνητά, λιγότερη νοημοσύνη: GenAI μέσω του φακού της επίσημης επαλήθευσης." (2024).arXiv:2403.16750v1
- SEO Powered Content & PR Distribution. Ενισχύστε σήμερα.
- PlatoData.Network Vertical Generative Ai. Ενδυναμώστε τον εαυτό σας. Πρόσβαση εδώ.
- PlatoAiStream. Web3 Intelligence. Ενισχύθηκε η γνώση. Πρόσβαση εδώ.
- PlatoESG. Ανθρακας, Cleantech, Ενέργεια, Περιβάλλον, Ηλιακός, Διαχείριση των αποβλήτων. Πρόσβαση εδώ.
- PlatoHealth. Ευφυΐα βιοτεχνολογίας και κλινικών δοκιμών. Πρόσβαση εδώ.
- πηγή: https://semiengineering.com/verifying-hardware-cwes-in-rtl-designs-generated-by-genai/
