Stock image for illustration purposes only - book cover, edition or condition may vary.
Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
Chang, Jui-Ming; Pedram, Massoud
€ 120.64
FREE Delivery in Ireland
Description for Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
paperback. Num Pages: 167 pages, biography. BIC Classification: TJFC; UB. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 308.
Integrated circuit densities and operating speeds continue to rise at an exponential rate. Chips, however, cannot get larger and faster without a sharp decrease in power consumption beyond the current levels. Minimization of power consumption in VLSI chips has thus become an important design objective. In fact, with the explosive growth in demand for portable electronics and the usual push toward more complex functionality and higher performance, power consumption has in many cases become the limiting factor in satisfying the market demand.
A new generation of power-conscious CAD tools ... Read more
Integrated circuit densities and operating speeds continue to rise at an exponential rate. Chips, however, cannot get larger and faster without a sharp decrease in power consumption beyond the current levels. Minimization of power consumption in VLSI chips has thus become an important design objective. In fact, with the explosive growth in demand for portable electronics and the usual push toward more complex functionality and higher performance, power consumption has in many cases become the limiting factor in satisfying the market demand.
A new generation of power-conscious CAD tools ... Read more
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag New York Inc. United States
Number of pages
167
Condition
New
Number of Pages
167
Place of Publication
New York, NY, United States
ISBN
9781461373681
SKU
V9781461373681
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods