Synopsys Memory Compilers Verilog User Guide