The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry ...

New to eBooks.com?

Learn more

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications by Gaurav Singh
Add to cart
US$ 149.00
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.
Springer; July 2010
172 pages; ISBN 9781441964816
Read online, or download in secure PDF format
Title: Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Author: Gaurav Singh; Sandeep Kumar Shukla
 
Buy, download and read Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications (eBook) by Gaurav Singh; Sandeep Kumar Shukla today!