TU Darmstadt / ULB / TUbiblio

Automatic verification of scheduling results in high-level synthesis

Eveking, Hans and Hinrichsen, H. and Ritter, G. (1999):
Automatic verification of scheduling results in high-level synthesis.
In: DATE'99: Design, Automation and Test in Europe <1999, München>; Proceedings. - Los Alamitos: IEEE, 1999, Los Alamitos, IEEE, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 1999
Creators: Eveking, Hans and Hinrichsen, H. and Ritter, G.
Title: Automatic verification of scheduling results in high-level synthesis
Language: English
Series Name: DATE'99: Design, Automation and Test in Europe <1999, München>; Proceedings. - Los Alamitos: IEEE, 1999
Place of Publication: Los Alamitos
Publisher: IEEE
Divisions: 18 Department of Electrical Engineering and Information Technology
Date Deposited: 19 Nov 2008 16:22
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details