Verilog library for interaction with SD Cards