Jiang, Jie-Hong R.Jie-Hong R.JiangVilla, TizianoTizianoVilla2011-08-102018-07-062011-08-102018-07-062010http://ntur.lib.ntu.edu.tw//handle/246246/236496en-USHardware Equivalence and Property Verificationbookhttp://ntur.lib.ntu.edu.tw/bitstream/246246/236496/-1/02.pdf