Logic And Architecture Synthesis door Anne Mignotte