Dept. of Electr. Eng., National Taiwan Univ.Lin, Kuan- JenKuan- JenLinLin, Chen-ShangChen-ShangLin2007-04-192018-07-062007-04-192018-07-061992-11http://ntur.lib.ntu.edu.tw//handle/246246/2007041910032296application/pdf461837 bytesapplication/pdfen-US[SDGs]SDG9On the verification of state-coding in STGsjournal article10.1109/ICCAD.1992.279388http://ntur.lib.ntu.edu.tw/bitstream/246246/2007041910032296/1/00279388.pdf