To answer the first question, Janine is correct. MathWorks releases are always available simultaneously worldwide.
Regarding Simulink HDL Coder, the new workflow automation is for FPGAs, but the generated VHDL or Verilog (as well as the new optimizations) can be used for ASIC designs (and has been). For SoCs, MathWorks C code generation tools now generate SystemC TLM components from MATLAB and Simulink.
Any dates for availability in the rest of the world? I have used Matlab tools for FPGA designs, but the work was mostly one way (Simulink to Hardware) using pre-made library blocks. For more complex designs, there is a need for better early stage estimates of speed, area and power consumption from Matlab codes.
The Other Tesla David Blaza5 comments I find myself going to Kickstarter and Indiegogo on a regular basis these days because they have become real innovation marketplaces. As far as I'm concerned, this is where a lot of cool ...