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
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;
Conference_Titel :
Development and Application Systems (DAS), 2014 International Conference on
Conference_Location :
Suceava
DOI :
10.1109/DAAS.2014.6842445