Skip to search formSkip to main contentSkip to account menu

SpecC

Known as: Spec-C 
SpecC is a System Description Language (SDL), or System-level Design Language (SLDL), and is an extension of the ANSI C programming language. It is… 
Wikipedia (opens in a new tab)

Related topics

Related topics

11 relations
ANSI CC++Concurrency (computer science)Daniel Gajski

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
The structure and electrochemical properties of metal complexes with dihydroquercetin
The structures of zinc (2), copper(II) (3), and calcium (4) complexes with trans-2R,3R-dihydroquercetin (1) have been elucidated… 
2008
2008
Code and Data Structure Partitioning for Parallel and Flexible MPSoC Specification Using Designer-Controlled Recoding
MultiProcessor systems-on-chip (MPSoCs) are increasingly being used to build efficient and cost-effective embedded systems that… 
Highly Cited
2003
Highly Cited
2003
RTOS modeling for system level design
System level synthesis is widely seen as the solution for closing the productivity gap in system design. High level system models… 
2003
2003
RTOS scheduling in transaction level models
Raising the level of abstraction in system design promises to enable faster exploration of the design space at early stages… 
2002
2002
The formal execution semantics of SpecC
We present a rigorous but transparent semantics definition of the SpecC language that covers the execution of SpecC behaviors and… 
Highly Cited
2001
Highly Cited
2001
The Syntax And Semantics Of Focus-Sensitive ParticlesIn German
We propose a comprehensive account of both the distribution and the interpretation of German focus particles such as nur, auch… 
Highly Cited
2000
Highly Cited
2000
SPECC: Specification Language and Methodology
List of Figures. List of Tables. Preface. Acknowledgments. 1. Introduction. 2. Essential Issues in System Level Design. 3. The… 
2000
2000
SpecC System-Level Design Methodology Applied to the Design of a GSM Vocoder
| In this paper we describe the steps and transformations of the SpecC system-level design methodology applied to the example of… 
1999
1999
IP-Centric Methodology and Design with the SpecC Language
In this paper, we demonstrate the application of the specify-explore-refine (SER) paradigm for an IP-centric codesign of embedded… 
1998
1998
The SpecC Language Reference Manual
This Language Reference Manual de nes the syntax and the semantics of the SpecC language The SpecC language is an extension of… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)