• DocumentCode
    164327
  • Title

    CSLC: The infrastructure compiler for SoC design

  • Author

    Haba, Cristian-Gyozo ; Pappas, Derek

  • Author_Institution
    Electr. Eng., Gheorghe Asachi Tech. Univ. of Iasi, Iasi, Romania
  • fYear
    2014
  • fDate
    15-17 May 2014
  • Firstpage
    149
  • Lastpage
    154
  • Abstract
    The paper presents a new high level design tool and methodology that are used to accelerate the design process. The high level design tool named CSLC starts with a description of interfaces, hierarchies and connections generating a design and verification infrastructure composed of interconnect, hierarchy, test benches, a high level simulation model, verification vectors and documentation. Design specification is based on Chip Specification Language (CSL) and brings significant reduction in setup and maintenance of complex designs. The fundamental idea that CSL is based on is that there is a single source for all derived design, verification, and high level simulation objects.
  • Keywords
    formal specification; formal verification; integrated circuit design; program compilers; specification languages; system-on-chip; CSLC; SoC design; chip specification language; design specification; high level design tool; high level simulation model; infrastructure compiler; test benches; verification infrastructure; verification vectors; Complexity theory; Design methodology; Graphical user interfaces; Hardware design languages; Libraries; Vectors; Wires; high level design; high level simulator; interconnect; testbench generation; verification vectors;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Development and Application Systems (DAS), 2014 International Conference on
  • Conference_Location
    Suceava
  • Type

    conf

  • DOI
    10.1109/DAAS.2014.6842445
  • Filename
    6842445