1. V. Pedroni. Finite State Machines in Hardware: Theory and Design (with
VHDL and SystemVerilog). The MIT Press; 2013 2. C. Kloos, E. Cerny. Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems. Springer; 2013 3. Ch. Spear, G. Tumbush. SystemVerilog for Verification: A Guide to Learning the Testbench Language Features. Springer; 3rd edition, 2012 4. M. Ferdjallah. Introduction to Digital Systems: Modeling, Synthesis, and Simulation Using VHDL, Wiley; 1st edition, 2011 5. M. Ciletti. Advanced Digital Design with the Verilog HDL. Prentice Hall; 2nd edition, 2010 6. M. Mano, C. Ciletti. Digital Design: With an Introduction to the Verilog HDL. Prentice Hall; 5th edition, 2012
