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:	Low voltage integrated circuits > Computer-aided design. Integrated circuits > Very large scale integration > Computer-aided design.

Remote Storage