Calypto's SLEC System-HLS

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/

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

视频哦?先收着，希望有用

Thanks a lot！

Thanks

新的工具也

thanks