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
Link To Document