Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

Name: Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Brand: Springer-Verlag New York Inc.
SKU: 9781441964809
Price: 475.49 PLN
Availability: InStock

Concurrent Action Oriented Specifications

Autor: Gaurav Singh, Sandeep Kumar Shukla

Język:

Oprawa: Twarda

Wydawca: Springer-Verlag New York Inc.

Dostępność: Dostępna u dostawcy w małych ilościach

Wysyłamy za 13-18 dni

475.49 zł

This book introduces novel techniques for generating low-power hardware from a high-level descriptio...

Informacje o książce

Autor

Gaurav Singh, Sandeep Kumar Shukla

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2010

strony

154

EAN

9781441964809

ISBN

1441964800

Enbook ID

01423991

Wydawca

Springer-Verlag New York Inc.

Waga

970

Wymiary

155 x 235 x 20

Pełny opis

This book introduces novel techniques for generating low-power hardware from a high-level description of a design in terms of Concurrent Action-Oriented Specifications (CAOS). It also describes novel techniques for formal verification of such designs. It will provide the readers with definitions of various power optimization and formal verification problems related to CAOS-based synthesis, necessary background concepts, techniques to generate hardware according to the design s power requirements, and detailed experimental results obtained by applying the techniques introduced on realistic hardware designs.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

Concurrent Action Oriented Specifications

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również