SPECC: Specification Language and Methodology

ISBN-10: 1461545153
ISBN-13: 9781461545156
Category: Technology & Engineering
Pages: 326
Language: English
Published: 2012-12-06
Publisher: Springer Science & Business Media
Authors: Daniel D. Gajski, Rainer Domer, Andreas Gerstlauer

Description

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.

Get the book

Similar books

Animal Sciences: The Biology, Care, and Production of Domestic Animals, Fourth Edition
By John R. Campbell, M. Douglas Kenealy, Karen L. Campbell
Timberlake claimed in 1980 that a fundamental problem with Singer's work is the lack of an adequate definition of suffering ...
Resilient Agriculture: Cultivating Food Systems for a Changing Climate
By Laura Lengnick
3. D. Layne. 2013. Tree Fruit: Protecting Your Investment. American/Western Fruit Grower, September/October. 4. R. Snyder and J. Melu-Abreu. 2005. Frost ...
Biodesign: The Process of Innovating Medical Technologies
By Stefanos Zenios, Josh Makower, Paul Yock
At that time, these were in the low $10s of millions. ... be a good partner going forward, even though it takes longer to get the deal done," offered Chess.
Advanced Signal Processing: A Concise Guide
By Amir-Homayoon Najmi, Todd Moon
[ 59 ] S. Kotz , T. J. Kozubowski , and K. Podgorski , The Laplace ... valued signal processing : The proper way to deal with impropriety , ” IEEE Trans .
Resources for Technical Communication
By Pearson Education, Pearson Education Staff, David P Pearson Education
Some documents are annotated; some are left without annotations to provide more flexibility for instructors. This booklet can be packaged at no additional cost with any Longman title in technical communication.
Chemistry: An Introduction to General, Organic, and Biological Chemistry; Chemistry Study Pack Version 2.0 CD-ROM; The Chemistry of Life CD-ROM;...
By Karen C. Timberlake
Chemistry: An Introduction to General, Organic, and Biological Chemistry; Chemistry Study Pack Version 2.0 CD-ROM; The Chemistry of Life CD-ROM;...
Poultry Science: Fifth Edition
By Colin G. Scanes, Karen D. Christensen
The emission rates for ammonia (Casey et al., 2006): • Layers: 116 g NH3 per AU (AU or animal unit or 500 kg). • Broilers: 135 g NH3 per AU (AU or animal unit or 500 kg). Emission rates in different reports vary from less than either 10 ...
Solid State Materials Chemistry
By Patrick M. Woodward, Pavel Karen, John S. O. Evans
[45] B.F. Hoskins, R. Robson, “Design and construction of a new class of scaffolding-like materials comprising infinite polymeric frameworks of 3D-linked molecular rods. A reappraisal of the zinc cyanide and cadmium cyanide structures ...
Abbreviations Dictionary
By Dean A. Stahl, Karen Landen
... Tallest Mountain Mount Robson—12,972 feet or 3,954 meters—in the Canadian Rockies Canada's Westernmost City Dawson, Yukon Canada's Westernmost Point in Yukon Territory just east of Alaska's Demarcation Point Canary Islands' Largest ...
Agriculture: A Very Short Introduction
By Paul Brassley, Richard Soffe
ACCOUNTING Christopher Nobes ADVERTISING Winston Fletcher AFRICAN AMERICAN RELIGION Eddie S. Glaude Jr AFRICAN HISTORY ... Hugh Bowden ALGEBRA Peter M. Higgins AMERICAN HISTORY Paul S. Boyer AMERICAN IMMIGRATION David A. Gerber AMERICAN ...