Entwicklung, Simulation und formale Verifikation eines optimierten DSP-Kerns
type: CreativeWork
description: Diese Diplomarbeit beschäftigt sich mit der Entwicklung eines digitalen Signalprozessorkerns, der als Referenz-Design für durchzuführende Tests eines neu entwickelten Synthesewerkzeugs dienen soll. Da man mit diesem Werkzeug das Ziel verfolgt, ausgehend von Eigenschaftsbeschreibungssätzen Hardware-Beschreibungen von Modulen (so genannte Cando-Objekte) in VHDL zu erzeugen, sollte eine erfolgreiche Generierung das Austauschen von Modulen des Referenz-Designs durch entsprechende Cando-Objekte bei gleichbleibendem Verhalten ermöglichen. Bedingungen für ein Referenz-Design ist daher neben architekturellen Merkmalen nach einem derzeitigen industriellem Stand der Technik und hinreichender Komplexität zur Untersuchung des Werkzeugs hinsichtlich einer Tauglichkeit für industrielle Designs ein odularer Aufbau. Das entwickelte und vorgestellte DSP-Design kann diese geforderten Bedingungen erfüllen. Die Ausarbeitung präsentiert zunächst die entwickelte Befehlssatzarchitektur in Hinblick auf FIR- und FFT-Algorithmen als Zielapplikationen für den DSP-Kern.Weiterhin wird nach einer detaillierten Erläuterung des DSP-Aufbaus, der aus einer Hauptund einer MAC-Pipeline besteht, auf die Verikation des Designs durch Einsatz von Simulation und formaler Verikation eingegangen. Abschlieÿend erfolgt nach einer Zusammenfassung der erreichten Ziele ein Ausblick hinsichtlich weiterer Möglichkeiten zur Optimierung des DSP-Kerns in Bezug auf Geschwindigkeit und Leistung.
abstract: Diese Diplomarbeit beschäftigt sich mit der Entwicklung eines digitalen Signalprozessorkerns, der als Referenz-Design für durchzuführende Tests eines neu entwickelten Synthesewerkzeugs dienen soll. Da man mit diesem Werkzeug das Ziel verfolgt, ausgehend von Eigenschaftsbeschreibungssätzen Hardware-Beschreibungen von Modulen (so genannte Cando-Objekte) in VHDL zu erzeugen, sollte eine erfolgreiche Generierung das Austauschen von Modulen des Referenz-Designs durch entsprechende Cando-Objekte bei gleichbleibendem Verhalten ermöglichen. Bedingungen für ein Referenz-Design ist daher neben architekturellen Merkmalen nach einem derzeitigen industriellem Stand der Technik und hinreichender Komplexität zur Untersuchung des Werkzeugs hinsichtlich einer Tauglichkeit für industrielle Designs ein odularer Aufbau. Das entwickelte und vorgestellte DSP-Design kann diese geforderten Bedingungen erfüllen. Die Ausarbeitung präsentiert zunächst die entwickelte Befehlssatzarchitektur in Hinblick auf FIR- und FFT-Algorithmen als Zielapplikationen für den DSP-Kern.Weiterhin wird nach einer detaillierten Erläuterung des DSP-Aufbaus, der aus einer Hauptund einer MAC-Pipeline besteht, auf die Verikation des Designs durch Einsatz von Simulation und formaler Verikation eingegangen. Abschlieÿend erfolgt nach einer Zusammenfassung der erreichten Ziele ein Ausblick hinsichtlich weiterer Möglichkeiten zur Optimierung des DSP-Kerns in Bezug auf Geschwindigkeit und Leistung.
author: Gebhardt, Pierre
language: deu
keywords: digital signal processing core, formal verification, design, simulation, concept
date published: 2007-11-21
date modified: 2026-07-24T02:44:31Z
provider: King's College London
publisher: Networked Digital Library of Theses and Dissertations
type: WebPage
source organization: King's College London