System Verilog for Design - Sutherland, Stuart (New Delhi Springer, 2000)