Unbundled verilog yasnippets from coverification.com