The standard SpecC language

Author

Fujita, Masahiro ; Nakamura, Hiroshi

Author_Institution

Dept. of Electron. Eng., Tokyo Univ., Japan

fYear

2001

fDate

6/23/1905 12:00:00 AM

Firstpage

81

Lastpage

86

Abstract

The paper introduces SpecC language, a system level description language based on C, and its consortium, SpecC Technology Open Consortium (STOC). Currently, SpecC language version 1.0 is publicly available. SpecC technology covers SpecC-based design "methodology" as well as the SpecC language itself. The authors describe the SpecC language as well as the SpecC-based design methodology. The SpecC language specification working group (LSWG) under STOC is discussing SpecC version 2.0. We also give a summary of the discussions being made by LSWG, targeting version 2.0. We plan to formally release version 2.0 in the beginning of 2002. The main goal is to precisely and exactly define the formal semantics of the SpecC language, especially regarding the semantics relating to parallel and concurrent statements and event control mechanisms. These are the issues on which SpecC version 1.0 does not give clear and concise semantics. With these clarifications given by SpecC version 2.0, varieties of support tools for SpecC can consistently and easily be developed.

Keywords

C language; hardware description languages; high level synthesis; programming language semantics; software standards; C language; LSWG; STOC; SpecC Technology Open Consortium; SpecC language specification working group; SpecC language version 1; SpecC version 2; SpecC-based design methodology; concurrent statements; event control mechanisms; formal semantics; formal verification; hardware description language; high-level synthesis; standard SpecC language; system level description language; Costs; Design methodology; Hardware design languages; High level synthesis; Large scale integration; Permission; Process design; Software performance; System-level design; System-on-a-chip;

fLanguage

English

Publisher

ieee

Conference_Titel

System Synthesis, 2001. Proceedings. The 14th International Symposium on

Print_ISBN

1-58113-418-5

Type

conf

DOI

10.1109/ISSS.2001.156536

Filename

957917