The following text field will produce suggestions that follow it as you type.

Specc: Specification Language And Methodology by Daniel D Gajski, Hardcover | Indigo Chapters

Compare Specc: Specification Language And Methodology by Daniel D Gajski, Hardcover | Indigo Chapters

Daniel D Gajski

$220.95

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. | Specc: Specification Language And Methodology by Daniel D Gajski, Hardcover | Indigo Chapters

Compare more products to Daniel D Gajski

Software Quality by Daniel Galin, Hardcover | Indigo Chapters
Loading Inventory...

Software Quality by Daniel Galin, Hardcover | Indigo Chapters

Coles

Current price: $164.95
Machine Design Elements And Assemblies by Michael Spektor, Hardcover | Indigo Chapters
Loading Inventory...

Machine Design Elements And Assemblies by Michael Spektor, Hardcover | Indigo Chapters

Coles

Current price: $233.95
Protocol Specification Testing And Verification Xv by Piotr Dembinski, Hardcover | Indigo Chapters
Loading Inventory...

Protocol Specification Testing And Verification Xv by Piotr Dembinski, Hardcover | Indigo Chapters

Coles

Current price: $285.95
Standard Method Of Specifying For Minor Works by L. Gardiner, Hardcover | Indigo Chapters
Loading Inventory...

Standard Method Of Specifying For Minor Works by L. Gardiner, Hardcover | Indigo Chapters

Coles

Current price: $280.00
They Knew by James Gustave Speth, Paperback | Indigo Chapters
Loading Inventory...

They Knew by James Gustave Speth, Paperback | Indigo Chapters

Coles

Current price: $25.95
Felicitous Underspecification by Jeffrey C. King, Hardcover | Indigo Chapters
Loading Inventory...

Felicitous Underspecification by Jeffrey C. King, Hardcover | Indigo Chapters

Coles

Current price: $70.61
Language Management by Bernard Spolsky, Hardcover | Indigo Chapters
Loading Inventory...

Language Management by Bernard Spolsky, Hardcover | Indigo Chapters

Coles

Current price: $144.95
From Specification to Embedded Systems Application by Achim Rettberg, Hardcover | Indigo Chapters
Loading Inventory...

From Specification to Embedded Systems Application by Achim Rettberg, Hardcover | Indigo Chapters

Coles

Current price: $160.95
Language Management by Bernard Spolsky, Paperback | Indigo Chapters
Loading Inventory...

Language Management by Bernard Spolsky, Paperback | Indigo Chapters

Coles

Current price: $81.95
Synthesis Gas by James G. Speight, Hardcover | Indigo Chapters
Loading Inventory...

Synthesis Gas by James G. Speight, Hardcover | Indigo Chapters

Coles

Current price: $328.95
Specifying Software by R. D. Tennent, Paperback | Indigo Chapters
Loading Inventory...

Specifying Software by R. D. Tennent, Paperback | Indigo Chapters

Coles

Current price: $68.95
Formal Description Techniques and Protocol Specification Testing and Verification by Atsushi Togashi, Hardcover | Indigo Chapters
Loading Inventory...

Formal Description Techniques and Protocol Specification Testing and Verification by Atsushi Togashi, Hardcover | Indigo Chapters

Coles

Current price: $285.95
Mapping Scientific Method by Gita Chadha, Hardcover | Indigo Chapters
Loading Inventory...

Mapping Scientific Method by Gita Chadha, Hardcover | Indigo Chapters

Coles

Current price: $251.95
The Designer's Guide To Spice And Spectre by Ken Kundert, Hardcover | Indigo Chapters
Loading Inventory...

The Designer's Guide To Spice And Spectre by Ken Kundert, Hardcover | Indigo Chapters

Coles

Current price: $364.95
Specification and Development of Interactive Systems by Manfred Broy, Hardcover | Indigo Chapters
Loading Inventory...

Specification and Development of Interactive Systems by Manfred Broy, Hardcover | Indigo Chapters

Coles

Current price: $71.50
Powered by Adeptmind