Logic and Architecture Synthesis