Jui-ming Chang

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