Title: Logic and Architecture Synthesis for Silicon Compilers