Title: Synthesis Approach to Digital System Design