Functional verification and simulation of FSM networks | IEEE Conference Publication | IEEE Xplore