Logic synthesis and SOC prototyping RTL design using VHDL - Taraate, Vaibbhav (Springer, 2020)