Logic Synthesis and SOC Prototyping - Taraate, Vaibbhav (Springer Singapore, 2020)