Catapult C and the 7 Samura??s

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

メンターのHLSブログに、Catapult C and the 7 Samura??sがアップされています。
このブログは、DeepChipのSubject: (ESNUG 488 #6) User eval confirms Mentor CatapultC does SystemCをベースにしています。

DeepChipの記事では、One of the Seven Samuraiからの投稿です。

シミュレータは、CadenceのNC-Simで、アサーションはPSLのようです。
ということは、VHDLになるのでしょうか？

検証、Verification、HLS、Mentor