The Sound of Cadence

ケイデンスの等価性検証ソリューション Conformal Smart Logic Equivalence Checkerが提供する主な新技術をご紹介します。

2017年9月に発表した業界初のメモリ設計・検証向け統合ソリューション Cadence Legato Memory Solutionの開発責任者に話を聞きました。

2017年9月に一般リリースされたテンシリカVision DSPファミリの最新のDSP、Tensilica Vision C5 DSPをご紹介します。

2017年12月13日に開催したSigrityフォーラム 2017でご紹介したSigrity2017の新機能や改良点の一部をご説明します。

前号（Vol.25）でヘルパーアサーションとはなにかをご紹介しましたが、第2回目をお届けします。

シミュレーション時に、ある階層より下の回路の機能検証を行わない理由を考え、フォーマル機能検証のメリットをご紹介しています。

2018年2月1日に開催し、前回を上回る人数の皆様にご参加頂きましたClub Formal Japan 2018のレポートをお届けします。

昨年発表した様々な新製品、新技術に関する記事を是非お読みいただき、各技術の訴求ポイントをご理解いただければ幸いです。