Description method of the state machine for industry control chips | IEEE Conference Publication | IEEE Xplore