Jui-ming Chang

1967

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