C. Le Faou

Learn More
17 to their colleagues of CHARME for many helpful discussions and friendly cooperation over many years. 16 Many research groups have proposed formal semantics for VHDL, to apply formal verification techniques on designs described in that language. The FSM model for clock synchronized circuits closest to ours is Bull's [15], but currently only machines with(More)
  • 1