A New Extended Finite State Machine (EFSM) Model for RTL Design Verification

R.C.-Y. HuangK.-T. ChengCHUNG-YANG HUANG2018-09-102018-09-101998-11http://scholars.lib.ntu.edu.tw/handle/123456789/342752A New Extended Finite State Machine (EFSM) Model for RTL Design Verificationconference paper