Top-Down Digital VLSI Design - Kaeslin, Hubert (Morgan Kaufmann, 2015)