Avalda FPGA Developer v1.0 beta has been updated to version 1.0.1.0 with support for the recent F# CTP release (1.9.6.2). More details can be found in the documentation accompanying the Avalda FPGA Developer download. Our next release will add support for more Xilinx CoreGen functions so stay tuned. Cheers!