MentorのCatapultが進化したって？

engineerの戯言 : Twitter、Slideshare
SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった

Mentor Ushers in New Era of C++ Verification Signoff with New Catapult Tools and Solutions

メンターのHigh-Level Synthesis and RTL Low-Powerが進化

引用
　・Catapult DesignChecks 

　　　　a static mode that performs very fast linting-like checks of the code
　　　　a formal mode that uses a formal engine for a more exhaustive proof of issues. 
　　　　C++/SystemCでも出来るようになるのね。

　・Catapult Coverage 

　　　　measure code coverage for C++ signoff and fast closure of synthesized RTL.
　　　　C/C++でもカバレッジが取れるのね。。。これで、C++サインオフを目指す。。

　・SLEC HLS 

　　　　dramatically reducing or eliminating the need for design teams 
　　　　to perform simulation/verification of RTL
　　　　SLECも進化しています。

　・UVM Framework Generation 

　　　　Catapult can now automatically generate a complete ready-to-use 
　　　　universal verification methodology (UVM) environment using the UVM Framework. 
　　　　UVMベースの環境を生成してくれるのね。

DACでデモするって。。。