Title: Logic and Architecture Synthesis