DocumentCode :
1983606
Title :
Validation in a component-based design flow for multicore SoCs
Author :
Nicolescu, Gabriela ; Sungjoo Yoo ; Bouchhima, Aimen ; Jerraya, Ahmed Amine
Author_Institution :
TIMA Lab., SLS Group, Grenoble, France
fYear :
2002
fDate :
2-4 Oct. 2002
Firstpage :
162
Lastpage :
167
Abstract :
Currently, since many SoCs include heterogeneous components such as CPUs, DSPs, ASICs, memories, buses, etc., system integration becomes a major step in the design flow. To enable this integration, we use a design approach called component based-design approach. In this approach, the validation of system integration takes most of design efforts. This paper presents an automatic method of SoCs design validation. Based on a generic simulation wrapper architecture, the presented method provides automatic generation of executable models throughout different stages of SoC design flow. A case study of validating a VDSL application shows the effectiveness of the method.
Keywords :
formal verification; hardware-software codesign; logic CAD; system-on-chip; Computer-Aided Design; SoC design flow; SoCs; design validation; generic simulation wrapper architecture; heterogeneous components; system integration; validation; Application software; Design methodology; Digital signal processing; Job design; Laboratories; Laser sintering; Multicore processing; Permission; Protocols; Specification languages;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
System Synthesis, 2002. 15th International Symposium on
Conference_Location :
Kyoto, Japan
Print_ISBN :
1-58113-576-9
Type :
conf
Filename :
1227170
Link To Document :
بازگشت