Behavioral Synthesis for Hardware Security, Hardcover by Katkoori, Srinivas (...