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: 106.16 EUR
Availability: InStock

Concurrent Action Oriented Specifications

Autor: Gaurav Singh, Sandeep Kumar Shukla

Jazyk:

Väzba: Pevná

Vydavateľ: Springer-Verlag New York Inc.

Dostupnosť: Skladom u dodávateľa v malom množstve

Odosielame za 13-18 dní

106.16 €

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

Informácie o knihe

Autor

Gaurav Singh, Sandeep Kumar Shukla

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2010

Stránok

154

EAN

9781441964809

ISBN

1441964800

Enbook ID

01423991

Vydavateľ

Springer-Verlag New York Inc.

Hmotnosť

970

Rozmery

155 x 235 x 20

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

Concurrent Action Oriented Specifications

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež