Logic And Architecture Synthesis by Anne Mignotte