SpecC


SpecC is a System Description Language, or System-level Design Language, and is an extension of the ANSI C programming language. It is used to aid the design and specification of digital embedded systems, providing improved productivity whilst retaining the ability to change a design at functional and specification level, unlike HDLs like Verilog and VHDL. An architectural model can be created which allows other tools to directly map the design onto silicon or FPGA. The main aim is for the reuse, exchange and integration of IP at various levels of abstraction.
The language and design methodology were created by Rainer Dömer and Daniel Gajski at the Centre for Embedded Computer Systems at University of California, Irvine in 2001.
Similar projects and design methodologies include SystemC, an SDL based on C++. Although this rival language has seen much more widespread industry usage, SpecC retains simplicity whilst also providing the vital features of any SDL, such as concurrency, synchronisation, state transitions, and composite data types.