Parsing SystemVerilog 2012

Transkript

1 Parsing Julian Nagel Lehrstuhl für Rechnerarchitektur Universität Heidelberg

2 1 2 3 Inhaltsverzeichnis 4 5 6

3 Viele Ideen dazu wie effektiv Hardware entwickelt werden kann, aber keine IDE welche diese Vorstellungen abdeckt. Grafische Blockbeschreibungen und Darstellung von Hardware Erweiterbarkeit für zukünftige Tools für das Hardwaredesign (FSM Designer) Komfortable IDE-Funktionen aus der Software Entwicklung (Tab-Vervollständigung, Refactoring, Jump to Instances)

4 Diplomarbeit Konzeption und Prototypen-Implementation einer Software zum effizienten Entwurf von Hardware mit Hilfe einer hierarchischen Methodik von Benjamin Bruno Erste Software, die gewünschte Features anreißt Weitere Entwicklung des Hardware-Designers verlangt Umgang mit Code Parsen und Evaluation von

5 Interpretation von Quellcode [1] Übertragen in strukturiertes at Vokabeln () Grammatiken () Ausgabe: Syntaxbaumes Wie kann man mit folgendem Quellcode arbeiten? module t e s t ( ) ; endmodule

6 Lexikalische Analyse t logische Einheiten Erkennt & markiert Vokabular einer Sprache Ausgabe: Token Token Zerlegung nach regulären Grammatiken

7 module t e s t ( ) ; endmodule Ausgabe : Quellcode module testmodule ( parens open ) parens close Token module keyword module identifier ; semicolon endmodule endmodule keyword

8 Syntaktische Analyse der Token Platziert Token in Parse-Tree Erzeugt Strukturbeschreibungen Keine Analyse der Semantik ist ein Zwischenschritt

9 module t e s t ( ) ; endmodule

10 IDE für Java [2] Open Source Community Edition Von JetBrains entwickelt Seit Januar 2001 Breite Plugin-Unterstützung Einfache Erweiterbarkeit um weitere Sprachen möglich bietet viele komfortable Funktionen

11 Für Code in Java 1.8 Entwicklung mithilfe weiterer Plugins - - PSIViewer - Debugging Grammatik

12 Unterstützung von AST als Grundgerüst für weitere Entwicklungen bietet komfortablen -Editor Verwaltung von AST und Verilog Datei

13 Framework: [3] Generiert -Code in Java Erzeugt Token für

14 Implementation von zwei Token Als Regex Als Keyword

15 Framework: [4] Liest Grammatik in ein Generiert -Code in Java Besitzt eigenen, nicht so mächtig wie Bietet zusätzliche Abstraktion durch BNF verbesserte Lesbarkeit erleichtertes Debugging effiziente Entwicklung

16 IEEE als Grundlage [5] SVeN: IEEE-Spezifikation im Textformat [6] Überführung in BNF mit AWK SED Dennoch weitere Anpassungen nötig

17 verlangt spezielle BNF Linksrekursivität nicht unterstützt Ersetzen durch

18 Regel darf nicht leer sein Ersetzen durch

19 Fertigstellen der entwicklung 1 Kleine Anpassungen des s 2 Compiler Direktiven implementieren (z.b. im Perl Plugin für Intellij umgesetzt) 3 Bugs beheben

20 Zukünftige Funktionen als Evaluation Auflösen von user defined types Auflösen von Instanzen Auflösen von Blöcken Verilog Analyse- und Debug-Funktionen Beschreiben statt programmieren

21 Dankeschön! Fragen?

22 I Sven Naumann, Hagen Langer Parsing Teubner Verlag, ( ) ( ) ( ) ( ) ( )