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