Specification and Synthesis of Communicating Finite State Machines. - H. Belhadj; Laurent Gerbaux; Marie-Claude Bertrand; Gabriele Saucier (Synthesis for Control Dominated Circuits, 1992)

ASYL: A Control Driven RTL Synthesis System using Library Blocks. - Anne Mignotte; Marie-Claude Bertrand; Michel Crastes de Paulet; Jérôme Rampon; Gabriele Saucier (Synthesis for Control Dominated Circuits, 1992)