Simultaneous state encoding and communication cost optimization for FSM net design

Abstract

Linear partitioning is a very attractive method jhr designing an FSM as a net of cooperating FSMs. For a better exploitation of its inherent potency we introduce (1) a method that reduces the communication overheud to control fhe cooperation between the subFSMs and (2) a new global solution for the binary encoding problem for both states and communication Jignals.Experimental results demonstrate the effectiveness of the proposed approach.