Add verilog notes
Add basic synthesis gotchas