Power optimization and synthesis at behavioral and system levels using formal methods /

Bibliographic Details
Main Author: Chang, Jui-ming, 1967-
Other Authors: Pedram, Massoud
Format: Book
Language:English
Published: Boston : Kluwer, [1999]
Subjects: