新思科技(Synopsys)发表一款结合M语言与以模型为基础之合成的解决方案--Synphony高阶合成解决方案，将为通讯及多媒体应用提供较传统RTL设计流程高10倍以上的设计与验证效能。

Synphony HLS可为ASIC及FPGA实作、架构探究及快速原型建造提供优化的缓存器级。此外，透过为系统验证及在虚拟平台上的提前软件开发所设计的C模型，Synphony HLS将可补强以C/C++语言为基础的设计流程。若再结合新思科技的Design Compiler、Synplify Premier、Confirma、 VCS、 System Studio及Innovator等产品，Synphony HLS将提供从IC设计演算到芯片制造(algorithm to silicon)全方位的原型建造、实作及验证流程。

由于能够在高度抽象的环境中作精准而简要的行为表述，Mathworks公司所开发的MATLAB环境已被广泛使用于演算探究及IC设计。在此环境下的M语言模型通常在RTL过程中被重新编码及重新验证，并在某些以C/C++语言程序撰写的案例中，被当作实作及验证用途。

而相较于手动重新编码(re-coding)流程比较容易出错，Synphony HLS可直接从高阶M语言程序代码及Synphony HLS优化IP模型链接库中，设计出可实作的RTL及C模型。透过独特的条件限制驱动定点传递功能，程序设计师可快速地从高阶浮点M码的可合成子集中取得定点模型，接着Synphony HLS引擎将优化的RTL架构合成化以达成面积、速度及功率的目标。