DIGITAL DESIGN WITH AN INTRODUCTION TO THE VERILOG HDL - MANO (PEARSON)