國立臺灣大學電子工程學研究所江介宏2008-07-072018-07-102008-07-072018-07-102007-07-31http://ntur.lib.ntu.edu.tw//handle/246246/78793en-US國立臺灣大學電子工程學研究所自動機與有限狀態機方程解於數位電路最佳化之應用　（新制多年期第1年）report