Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
by Jui-Ming Chang, Massoud Pedram Paperback 2012
- Author: Jui-Ming Chang, Massoud Pedram
- ISBN 13: 9781461373681
- ISBN 10: 1461373689
- Publication Year: 2012
- Language: English
Specifications
| Index-10 | 1461373689 |
|---|---|
| Index-13 | 9781461373681 |
| Language | English |