SpecC
Subtitle: specification language and methodology
By: Daniel D. Gajski ... [et al.].
Contributors: Gajski, Daniel D.
Publisher: Kluwer Academic Publishers
Published: 2000
Place of publication: Boston
Language: eng
Number of pages: 313
Subjects: C (Computer program language); C (Computer program language)
Other titles: Spec C :
Description: "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.
Notes: Includes bibliographical references (p. [305]-310) and index.