I have two designs (for example, a Zynq design and a Virtex-7 Design).
When I open both designs in the same instance of Vivado, the bitstream properties depend on which design is loaded first.
Example: I have created a Zynq design and a Virtex-7 design.
When Vivado 2014.1 reads or load the bsoptions.cfg file and creates an attrspec and hatattr, it remains for the duration of the process and is not correctly cleared when the second design is loaded.
This issue is fixed in Vivado 2014.2.