Title :
Proceedings. Euromicro Symposium on Digital System Design
Abstract :
The following topics are dealt with: processor and memory architectures; synthesis (HL, LS, PS); special architectures; system-on-a-chip; system-on-a-chip and validation/verification; applications of (embedded) digital systems; and specification and modeling.
Keywords :
computer architecture; embedded systems; formal specification; formal verification; hardware description languages; hardware-software codesign; memory architecture; system-on-chip; HL synthesis; LS synthesis; PS synthesis; digital systems; embedded systems; formal specification; formal verification; memory architectures; processor architecture; system-on-a-chip; Computer architecture; Hardware design languages; Memory architecture; Software requirements and specifications;
Conference_Titel :
Digital System Design, 2003. Proceedings. Euromicro Symposium on
Conference_Location :
Belek-Antalya, Turkey
Print_ISBN :
0-7695-2003-0
DOI :
10.1109/DSD.2003.1231892
