Ramesh Karri

Dieser Artikel untersucht, wie KI dabei helfen kann, Sicherheitsbehauptungen für Hardware zu erstellen.

Dieser Artikel untersucht, wie Sprachmodelle effektiv Verilog-Code generieren.

Überprüfung von Schwachstellen im Energiemanagement und den Einfluss von Cyberbedrohungen.

Eine neue Methode verbessert die Effizienz und Designqualität in der Logiksynthese mit Hilfe von Machine Learning.

Ein Blick auf die Risiken und Abwehrmassnahmen beim 3D-Drucken.

ASCENT verbessert die Hardware-Sicherheit gegen Seitenkanalangriffe durch Leistung während des Designs.

Untersuchung der Rolle von LLMs bei der Erkennung von Hardware-Trojanern in elektrischen Designs.

Eine neue Methode steigert die Effizienz von LLMs bei der Erstellung komplexer Hardware-Designs.

Eine neue Methode verbessert die Greiffähigkeit von Robotern mit Hilfe von Sprachbefehlen.

AutoChip nutzt EDA-Feedback, um die Verilog-Code-Generierung durch LLMs zu verbessern.

Masala-CHAI vereinfacht die SPICE-Netzlisten-Generierung für den Entwurf elektronischer Schaltungen.

Erforsche, wie Backdoor-Angriffe das Hardware-Design mit grossen Sprachmodellen bedrohen.