Using statecharts for hardware description and synthesis by Drusinsky et al., 1989 IEEE publication, pp. 798-807. |
Global scheduling independent of control dependencies based on condition vector by Wakabayashi et al., 1992 IEEE publication, pp. 112-115. |
State assignment using Input/Output functions by Pomeranz et al., 1992 IEEE publication, pp. 573-577. |
Wagner, F. "VFSM Executable Specification", May 1992, pp. 226-231. |
Yuang, Maria. "Survey of Protocol Verification Techniques Based on Finite State Machine Models." 1988, pp. 164-172. |
Shiratori et al. "A User Friendly Software Environment for Protocol Synthesis." 1991, pp. 477-480. |