EDA软件商OneSpin Solutions GmbH公司引进序列等价验证方案,该方案致力于FPGA综合验证。
OneSpin Solutions公司声称其360 EC-FPGA等价校验器使设计者可以结合高级综合优化进行功能验证,高级综合优化在功能、性能和成本目标方面不可或缺。此等价校验器还称能在寄存器转移水平代码和后综合FPGA网表之间验证功能等效性,也可以在后综合表单和后布局布线FPGA网表之间验证功能等效性。
OneSpin公司补充说其方案旨在利用全部实施阶段,检测错误,失配上引进复杂的FPGA综合优化来维护设计功能。该方案同时支持原型和产品部件验证。该公司指出。
“复杂,高度优化的FPGA设计要使用等价验证,设计者需要特殊的FPGA解决方案而非折衷的优化方式。”OneSpin的CEO Peter Feis指出。“我们制造独立的360 EC-FPGA ,特制方案用来满足这种需要。我们的客户告诉我们,该等价校验器可以很容易地和他们已建立的FPGA流匹配,并且保证了他们的设计质量。其技术的优越性和富有吸引力的价格将帮助OneSpin在这类新兴市场中取得领先地位。”
这个设在Munich的公司指出其360 EC-FPGA方案适合Linux 32/64位和Solaris 32/64系统平台,标价40,800美元。
该EDA公司在2005年5月建立,OneSpin Solutions和Apax Partner筹集了1400万,公司在北美运营。