Synthesis and optimization of digital circuits

Book by Giovanni De Micheli