SystemVerilog for Hardware Description: RTL Design and Verification

Finite State Machines in Hardware: Theory and Design (with VHDL and SystemVerilog)

NetFPGA Architecture and Hardware Description: An insight of the NetFPGA platform

SILICORE HARDWARE DESCRIPTION PRACTICE: Cycle Accurate Modeling of Processors Memory and Digital Logic Systems (Hardware Modeling & Digital System Design)

High-Level Synthesis Made Easy (2nd Edition): Synthesizing Behavioral Descriptions directly into Hardware Circuits