• 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