Do I HAVE to backannotate to use these models?



No but, to ensure correct results, you must pass the correct values to the models s generics. This can be done by editing the model s instantiations in your netlist. SDF backannotation may be easier.



What is the format for writing my own ".mem" memory files?



The exact format varies from one memory to another based on memory organization, primarily word width and address width. However, the basics are constant and consistant with the Verilog readmem function:

Lines begining with "/" are comments

Lines begining with "@" jump to a new address to load the next word

Words are loaded into sequential locations unless a new address is provided.-Do I HAVE to backannotate to use these models?



No but, to ensure correct results, you must pass the correct values to the models s generics. This can be done by editing the model s instantiations in your netlist. SDF backannotation may be easier.



What is the format for writing my own ".mem" memory files?



The exact format varies from one memory to another based on memory organization, primarily word width and address width. However, the basics are constant and consistant with the Verilog readmem function:

Lines begining with "/" are comments　

Lines begining with "@" jump to a new address to load the next word

Words are loaded into sequential locations unless a new address is provided.