fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
SpecC

SpecC

by Daniel D. Gajski, Jianwen Zhu, Rainer Dömer

C (Computer program language)SpecC (Computer program language)MicroprocessorsProgramming Languages - CComputer Bks - Languages / Programming
0.0
Open Library
Open Library

About this book

"This book presents the Spec C system-level design language (SLDL) and the corresponding Spec C design methodology.". "The Spec C 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. Spec C: Specification Language and Methodology describes the Spec C 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 Spec C methodology is demonstrated on an industrial-size example. The design community is now entering the system level of abstraction era and Spec C is the enabling element to achieve a paradigm shift in design culture needed for system/product design and manufacturing.". "Spec C: 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."--BOOK JACKET.

Themes & subjects

C (Computer program language)SpecC (Computer program language)MicroprocessorsProgramming Languages - CComputer Bks - Languages / ProgrammingC (Programming Language)

Authors

Daniel D. Gajski, Jianwen Zhu, Rainer Dömer

Pages

336

Read time

≈ 8h

Editions

5

Language

English

Publisher

Springer

ISBN

9781461545156

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

The C Programming Language

C (Computer program language) · Linguagem De Programacao (Outras)

The C Programming Language

Brian W. Kernighan

1978

C++ how to program

C++ (Computer program language) · C++ (Lenguaje de programación)

C++ how to program

Harvey M. Deitel

1992

C++

Java (Computer program language) · C++ (Computer program language)

C++

Paul J. Deitel

1996

C How to Program

Java (Computer program language) · C (Computer program language)

C How to Program

Paul J. Deitel

2007

C++

C# (Computer program language) · C++ (Computer program language)

C++

Herbert Schildt

1987

C how to program

C (Computer program language) · C[plus plus] (Computer program language)

C how to program

Harvey M. Deitel

1992

The little disturbances of man

Fiction · Social life and customs

The little disturbances of man

Grace Paley

1959

Unix System V Release 4: Programmer's Guide

UNIX System V (Computer file) · C (Computer program language)

Unix System V Release 4: Programmer's Guide

AT & T Bell Laboratories. Technical Publication Dept.

1990

Invitation to Computer Science

Computer science · Java (Computer program language)

Invitation to Computer Science

G. Michael Schneider

1995

IEEE standard for information technology

Ada (Computer program language) · Application program interfaces (Computer software)

IEEE standard for information technology

Institute of Electrical and Electronics Engineers

1991

Starting Out with C++

C plus plus (computer program language) · C++ (Computer program language)

Starting Out with C++

Tony Gaddis

2006

The C++ programming language

C++ (Computer program language) · C++ (Computer programming language)

The C++ programming language

Bjarne Stroustrup

1986

Starting out with C++

C++ (Computer program language) · C++

Starting out with C++

Tony Gaddis

2000

Classical and object-oriented software engineering

Software engineering · Object-oriented programming (Computer science)

Classical and object-oriented software engineering

Stephen R. Schach

1996

System design

SpecC (Computer program language) · Embedded computer systems

System design

Andreas Gerstlauer

2001