A Formal Methodology for Automated Synthesis of VLSI Systems by Zebo Peng | Menrva Books | MenrvaBooks