Fall 2012 EDA and HDL