Xilinx Tcl Store integration for Aldec Active-HDL and Riviera-PRO