< retour aux publications

Proving good synchronization between Finite State Machines : a case study

Auteur(s) : P. Amblard

Doc. Source: EUROMICRO Symposium on Digital System Design (DSD'04)

Publisher : IEEE

This paper studies synchronization between synchronous Finite State Machines (FSM). Properties of different synchronization schemes are proved by a formal tool. In particular we study the problem of computing simultaneously a condition and using it to determine a next state. The example is made of a control part and a data-path.