𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

SPECC: Specification Language and Methodology

✍ Scribed by Daniel D. Gajski, Jianwen Zhu, Rainer Dâmer, Andreas Gerstlauer, Shuqing Zhao (auth.)


Publisher
Springer US
Year
2000
Tongue
English
Leaves
325
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


For the near future, the recent predictions and roadmaps of silicon semiconductor technology all agree that the number of transistors on a chip will keep growing exponentially according to Moore's Law, pushing technology towards the system-on-a-chip (SOC) era. However, we are increasingly experiencing a productivity gap where the chip complexity that can be handled by current design teams falls short of the possibilities offered by technological advances. Together with growing time-to-market pressures, this drives the need for innovative measures to increase design productivity by orders of magnitude.
It is commonly agreed that the solutions for achieving such a leap in design productivity lie in a shift of the focus of the design process to higher levels of abstraction on the one hand and in the massive reuse of predesigned, complex system components (intellectual property, IP) on the other hand. In order to be successful, both concepts eventually require the adoption of new languages and methodologies for system design, backed-up by the availability of a corresponding set of system-level design automation tools.
This book presents the SpecC system-level design language (SLDL) and the corresponding SpecC design methodology.
The SpecC language is intended for specification and design of SOCs or embedded systems including software and hardware, whether using fixed platforms, integrating systems from different IPs, or synthesizing the system blocks from programming or hardware description languages. SpecC Specification Language and Methodology describes the SpecC methodology that leads designers from an executable specification to an RTL implementation through a well-defined sequence of steps. Each model is described and guidelines are given for generating these models from executable specifications. Finally, the SpecC methodology is demonstrated on an industrial-size example. The design community is now entering the system level of abstraction era and SpecC is the enabling element to achieve a paradigm shift in design culture needed for system/product design and manufacturing.
SpecC Specification Language and Methodology will be of interest to researchers, designers, and managers dealing with system-level design, design flows and methodologies as well as students learning system specification, modeling and design.

✦ Table of Contents


Front Matter....Pages i-xvii
Introduction....Pages 1-12
Essential Issues in System Level Design....Pages 13-53
The Specc Language....Pages 55-68
The Specc Methodology....Pages 69-104
System Level Design With Specc....Pages 105-173
Conclusions....Pages 175-176
Back Matter....Pages 177-313

✦ Subjects


Electronics and Microelectronics, Instrumentation; Computer-Aided Engineering (CAD, CAE) and Design; Computer Hardware; Industrial Chemistry/Chemical Engineering


πŸ“œ SIMILAR VOLUMES


SPECC: Specification Language and Method
✍ Daniel D. Gajski, Jianwen Zhu, Rainer DΓΆmer, Andreas Gerstlauer, Shuqing Zhao (a πŸ“‚ Library πŸ“… 2000 πŸ› Springer US 🌐 English

<p>For the near future, the recent predictions and roadmaps of silicon semiconductor technology all agree that the number of transistors on a chip will keep growing exponentially according to Moore's Law, pushing technology towards the system-on-a-chip (SOC) era. However, we are increasingly experie

Language and Species
✍ Derek Bickerton πŸ“‚ Library πŸ“… 1990 πŸ› University Of Chicago Press 🌐 English

Language and Species presents the most detailed and well-documented scenario to date of the origins of language. Drawing on "living linguistic fossils" such as "ape talk," the "two-word" stage of small children, and pidgin languages, and on recent discoveries in paleoanthropology, Bickerton shows ho

Organ and Species Specificity in Chemica
✍ Jerry M. Rice, Charles H. Frith (auth.), Robert Langenbach, Stephen Nesnow, Jerr πŸ“‚ Library πŸ“… 1983 πŸ› Springer US 🌐 English

<p>The Symposium on Organ and Species Specificity in Chemical Carcinogenesis was held March 1981 in Raleigh, North Carolina. Dr. James Miller concluded this Symposium with these remarks: "Without a doubt all of us would agree this has been a very successful symposium in illustrating a very wide rang

Species, Species Concepts and Primate Ev
✍ Niles Eldredge (auth.), William H. Kimbel, Lawrence B. Martin (eds.) πŸ“‚ Library πŸ“… 1993 πŸ› Springer US 🌐 English

<p>A world of categones devmd of spirit waits for life to return. Saul Bellow, Humboldt's Gift The stock-in-trade of communicating hypotheses about the historical path of evolution is a graphical representation called a phylogenetic tree. In most such graphics, pairs of branches diverge from other b

Species and Speciation in the Fossil Rec
✍ Warren D. Allmon (editor); Margaret M. Yacobucci (editor) πŸ“‚ Library πŸ“… 2016 πŸ› University of Chicago Press 🌐 English

<div>Although the species is one of the fundamental units of biological classification, there is remarkably little consensus among biologists about what defines a species, even within distinct sub-disciplines. The literature of paleobiology, in particular, is littered with qualifiers and cautions ab