Modify a couple of examples to use verilog sim to serve as test cases
Improve liklihood of BRAM inference