Power optimization and synthesis at behavioral and system levels using formal methodsJui-ming Chang, Massoud Pedram · First published 1999Open the Tome
