Added verilog snippets