These are matlab programs written by Yu Hen Hu to demonstrate some algorithms used in ECE 556 Design Automations for Digital Systems. These are copy-righted materials belong to the board of regent of University of Wisconsin Systems. You are welcome to use these program for non-commercial purposes as long as the copy-right notices in the program are kept and proper acknowledgement (URL: http://homepages.cae.wisc.edu/~ece556/matlab/) is given. The author will not be responsible for technical support. However, improvement of these programs as well as correction notices will be gratefully accepted.