Calypto's SLEC System-HLS

zaq.1 · 发表于 2012-5-11 08:11:20

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

SLEC System-HLS comprehensively verifies the RTL generated by High Level Synthesis (HLS) tools.

It is the only tool in the web that do this job. It can be integrated with market's leading technologies like Cadence CtoS and Mentor Catapult. If someone could register there, please upload that.
Thanks!
http://calypto.com/

ald_syn_cad · 发表于 2012-5-11 08:22:01

本帖最后由 ald_syn_cad 于 2012-5-11 08:24 编辑

Some videos:

SLEC™: The Industry’s First Sequential Equivalence Checker
http://www.demosondemand.com/dod/proddemos/vendors/pd_calypto.aspx

"Update: Catapult C-Synthesis, 20-60% Savings with PowerPro, SLEC", Doug Aitelli
http://www10.edacafe.com/video/Calypto-Update-Catapult-C-Synthesis-20-60-Savings-with-PowerPro-SLEC-brDoug-Aitelli/36847/media.html
----------------------------------------------------------------
Some info:

http://www.edacafe.com/?interstitial_displayed=Yes