XISE: properties from manifest
Introduce a method to insert non-default Xilinx properties into the XISE file. For example:
<property xil_pn:name="Configuration Rate spartan6" xil_pn:value="22" xil_pn:valueState="non-default"/>
I would propose an addition such as:
syn_property = { "Configuration Rate spartan6" : "22" }