Logic Synthesis and SOC Prototyping