Enlarge

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

Jui-ming Chang

Publication Data

Title Power optimization and synthesis at behavioral and system levels using formal methods
Author Jui-ming Chang
Contributor Massoud Pedram
Publisher Kluwer
Publication date 1999
Publication location Boston
Language English

Topics

Low voltage integrated circuits :: Computer-aided design
008431393

Catalogue Data

OBNB ID GB9950654
ISBN 10 0792385608
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 621.3815

ISBD

P1053 xxiii,167p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Power optimization and synthesis at behavioral and system levels using formal methods by Jui-ming Chang. ISBN 0792385608. Published by Kluwer in 1999. Publication and catalogue information, links to buy online and reader comments.