Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
by:
Jui-Ming Chang ·
Massoud Pedram
Hardcover
details (
United States
).
ISBN: 978-0-7923-8560-8
ISBN-10: 0-7923-8560-8
Springer
· 1999
