30
Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Embed Size (px)

Citation preview

Page 1: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification

Seminar WS04/05

Andreas Schibilla (ii4900)

Page 2: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 2

Inhaltsübersicht

1. Einführung und Übersicht

2. Text Based Entry

3. ACTgen Core Builder- Arbeiten mit Macros

6. Synthese

4. Schematic Based Entry

5. Stimulus mit WaveFormer Lite

7. Anmerkungen und Schlusswort

Libero Design Creation/Verification

Page 3: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 3

Design Flow in Libero

Page 4: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 4

Text Based Entry

• Editor-Auswahl und Optionen

• Neue HDL-Datei erstellen (öffnen, importieren)

• Merkmale des integrierten Editors (Tabs, Edit-Fkt., Comment)

• Syntax Checker

Page 5: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 5

Inhaltsübersicht

1. Einführung und Übersicht

2. Text Based Entry

3. ACTgen Core Builder- Arbeiten mit Macros

6. Synthese

4. Schematic Based Entry

5. Stimulus mit WaveFormer Lite

7. Anmerkungen und Schlusswort

Libero Design Creation/Verification

Page 6: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 6

ACTGen Core Builder

• fertige Makros für komplexe Design-Elemente erzeugen (wie z.B. Zähler, Multiplexer, Puffer, Register...)

• individuelle Konfiguration und Verwaltung mit Hilfe einer grafischen Oberfläche

• Übernahme der Makros in Text-based oder Schematic-Designs

Page 7: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 7

Programmoberfläche

Core Catalog

Variety View Fenster

Configured Core View Fenster

Log Fenster

Page 8: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 8

ACTGen Core Builder

Beispiel: Einen Zähler einbinden

1. VHDL-Design anlegen

2. ACTgen Core Builder starten

3. Zähler konfigurieren

4. Zähler generieren

5. Zähler mittels PortMap einbinden

Page 9: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 9

Beispiel: Zähler

my_cnt.vhd:- VHDL-Beschreibung des

Cores- enthält Entity und

Architecture des Zählers

my_cnt.gen:- speichert Makro-

Parameter

my_cnt.log:- enthält Details/Parameter

in reinem Textformat

Page 10: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 10

Inhaltsübersicht

1. Einführung und Übersicht

2. Text Based Entry

3. ACTgen Core Builder- Arbeiten mit Macros

6. Synthese

4. Schematic Based Entry

5. Stimulus mit WaveFormer Lite

7. Anmerkungen und Schlusswort

Libero Design Creation/Verification

Page 11: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 11

Schematic Based Entry

Page 12: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 12

Ein Beispielentwurf

• 3-Bit Zähler mit Logik verknüpfen

Beispiel-Design

DATA 0,1,2

CLOCK

ENABLE

SLOAD

OUT

INV_OUT

Page 13: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 13

Schematic Beispielablauf

1. Neue Schematic-Datei erzeugen2. Komponenten hinzufügen (kopieren)3. Komponenten miteinander verbinden4. I/O definieren5. Kommentare und Grafikelemente6. Zähler erzeugen und einbinden7. Objekte manipulieren8. BUS einzeichnen9. Speichern und Testen

Page 14: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 14

Besonderheiten in ViewDraw

• Multi-Paging

• Fubes („Blackbox“)

• Eigene Symbole erzeugen und einbinden

Page 15: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 15

Inhaltsübersicht

1. Einführung und Übersicht

2. Text Based Entry

3. ACTgen Core Builder- Arbeiten mit Macros

6. Synthese

4. Schematic Based Entry

5. Stimulus mit WaveFormer Lite

7. Anmerkungen und Schlusswort

Libero Design Creation/Verification

Page 16: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 16

Design Flow in Libero

Page 17: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 17

Stimulus - WaveFormer Lite

Toolbar

Diagramm Fenster

Parameter Fenster

Report Fenster

Page 18: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 18

Stimulus - WaveFormer Lite

• Wichtige Optionen:z.B.:

- Display Time Unit

- Base Time Unit

Page 19: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 19

Signale & Clock hinzufügen

Frequenz

Offset

Flanken-verhalten

Ausdruck für Verlauf

Export

Typ undAnzeige

Page 20: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 20

Signalverlauf zeichnen

Page 21: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 21

BUS hinzufügen

• Virtueller BUS

• Group BUS

• Simulierte BUSSE

Page 22: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 22

Testbench erzeugen

• Export Timing Diagrams As

„VHDL w/ Top Level Test Bench (*.vhd)“

Page 23: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 23

Funktionale Simulation

• Testbench auswählen

• Auswertung in ModelSim

Page 24: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 24

Simulations Optionen

Zeit-intervalle

Simulations-dauer

Testbench Entity

Page 25: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 25

Inhaltsübersicht

1. Einführung und Übersicht

2. Text Based Entry

3. ACTgen Core Builder- Arbeiten mit Macros

6. Synthese

4. Schematic Based Entry

5. Stimulus mit WaveFormer Lite

7. Anmerkungen und Schlusswort

Libero Design Creation/Verification

Page 26: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 26

Synthese

• Synplify von Synplicity• LeonardoSpectrum von

Mentor Graphics• Precision RTL von

Mentor Graphics

Page 27: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 27

Design Flow in Libero

Page 28: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 28

Die Oberfläche von Synplify

Page 29: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 29

Inhaltsübersicht

1. Einführung und Übersicht

2. Text Based Entry

3. ACTgen Core Builder- Arbeiten mit Macros

6. Synthese

4. Schematic Based Entry

5. Stimulus mit WaveFormer Lite

7. Anmerkungen und Schlusswort

Libero Design Creation/Verification

Page 30: Libero: Design Creation / Verification Seminar WS04/05 Andreas Schibilla (ii4900)

Libero: Design Creation / Verification – Andreas Schibilla (ii4900) – Folie 30

Schlusswort

• Mögliche Fehlerquellen:

- Fehler in exportierter Testbench- falsche Simulations-Testbench gewählt- ModelSim zeigt keine Output-Signale an- ViewDraw startet nicht aus Libero heraus

• Im Vergleich zu Quartus / PeakVHDL:

- individuelle Tools einsetzbar- Schematic Eingabe möglich