Formale Methoden in der Codeerzeugung für digitale Signalprozessoren

Leupers, Rainer; Marwedel, Peter

Full metadata record

DC Field	Value	Language
dc.contributor.author	Leupers, Rainer	de
dc.contributor.author	Marwedel, Peter	de
dc.date.accessioned	2004-12-06T12:57:05Z	-
dc.date.available	2004-12-06T12:57:05Z	-
dc.date.created	1997	de
dc.date.issued	1998-07-04	de
dc.identifier.uri	http://hdl.handle.net/2003/2750	-
dc.identifier.uri	http://dx.doi.org/10.17877/DE290R-7699	-
dc.description.abstract	Der Bereich HW/SW-Codesign für eingebettete Systeme umfaßt neben Methoden zur HW/SW-Partitionierung und Hardwaresynthese notwendigerweise auch Techniken zur Codeerzeugung für eingebettete programmierbare Prozessoren. Speziell im Falle von digitalen Signalprozessoren (DSPs) ist die Qualität verfügbarer Compiler unzureichend. Zur Vermeidung von aufwendiger Programmierung auf Assemblerebene sind daher neue DSP-spezifische Codeerzeugungstechiken notwendig. Dieser Beitrag stellt den Compiler RECORD vor, welcher für eine Klasse von DSPs Hochsprachenprogramme in Maschinencode übersetzt. Um den speziellen Anforderungen an Compiler für DSPs gerecht zu werden, werden teilweise formale Methoden eingesetzt. Wir stellen zwei solche für RECORD entwickelte Methoden vor, welche zur Analyse von Prozessormodellen sowie zur Code-Kompaktierung verwendet werden, und diskutieren deren praktische Anwendung.	de
dc.format.extent	239554 bytes	-
dc.format.extent	258114 bytes	-
dc.format.mimetype	application/pdf	-
dc.format.mimetype	application/postscript	-
dc.language.iso	de	de
dc.publisher	Universität Dortmund	de
dc.subject.ddc	004	de
dc.title	Formale Methoden in der Codeerzeugung für digitale Signalprozessoren	de
dc.type	Text	de
dc.type.publicationtype	conferenceObject	-
dcterms.accessRights	open access	-
Appears in Collections:	Entwurfsautomatisierung für Eingebettete Systeme

Files in This Item:

File	Description	Size	Format
1997-gi-itg.ps		252.06 kB	Postscript	View/Open
giitg.pdf		233.94 kB	Adobe PDF	View/Open

This item is protected by original copyright

Show simple item record

This item is protected by original copyright rightsstatements.org