The standard SpecC language
The standard SpecC language
复制标题
标准 SpecC 语言
DOI：
10.1145/500001.500019
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
Hiroshi Nakamura
中科院分区：
文献类型：
--
作者：
M. Fujita;Hiroshi Nakamura
本文介绍了Specc语言，一个基于C的系统级别描述语言及其联盟Specc Technology Open Consortium（STOC）。当前，Specc语言版本1.0已公开可用。 SPECC技术涵盖了基于SPECC的设计“方法”以及Specc语言本身。作者描述了SPECC语言以及基于SPECC的设计方法。 STOC下的SpecC语言规范工作组（LSWG）正在讨论Specc版本2.0。我们还总结了LSWG的讨论，以2.0版为目标。我们计划在2002年初正式发布2.0版。主要目标是精确并精确地定义Specc语言的正式语义，尤其是关于与并行和并发语句以及事件控制机制有关的语义。这些是Specc 1.0版本没有提供清晰简洁的语义的问题。通过SPECC 2.0版给出的这些澄清，可以始终如一且易于开发SPECC的多种支持工具。
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.