Logic and architecture synthesis: State-of-the-art and novel approaches