EFSM Model Construction Method for RTL Digital Circuit - Li, Xiaochen; Zhao, Ruilian; Shang, Ying (International Conference on Dependable Systems and Their Applications (Online), 2022)
Keywords: Analytical models; Behavioral sciences; digital circuit; extended finite state machine; model-based testing; Process control; register transfer level; Registers; Software; Software reliability; Timing; timing sequence