Tools and Documentation

1. –Xilinx Vivado Design Suite 2015.2 Design Flows Overview Tutorial
   

2. –Xilinx Vivado Design Suite 2015.2 Simulation Tutorial
   

3. – Digilent ZYBO Board (reference manual)
   

4. – Vivado Webpack download : Its free, but requires registration. Choose the 2015.3 version using WebInstall, and select the WebPack option.
   

Verilog

1. – You can use free Icarus Verilog simulator and see the results using gtkwave (already installed on DICE machines)

2. – Verilog-1995 Quick Reference Guide
   

3. – Verilog Tutorial
   

4. – Blocking versus Non-blocking Assignments in Verilog (highly recommended reading)
   

5. – State Machine Coding Styles (recommended reading)
   

Metastability and Synchronization

1. – Kleeman, L.; Cantoni, A.; , "Metastable Behavior in Digital Systems", Design & Test of Computers, IEEE , vol.4, no.6, pp.4-19, Dec. 1987
   

2. – Ginosar, R., "Fourteen ways to fool your synchronizer", Proc. 9th Int. Symp. on Asynchronous Circuits and Systems, pp.89-96, 12-15 May 2003
   

3. – Vivado Tutorial: Using Constraints
   

4. – Clock Domain Crossing Design and Verification Techniques Using SystemVerilog (advanced reading)