次世代の等価性検証ソリューション Conformal Smart Logic Equivalence Checker
ケイデンスの等価性検証ソリューション Conformal Smart Logic Equivalence Checkerが提供する主な新技術をご紹介します。
Dr. Vinod Kariatに「Legato Memory Solution」について話を聞く
2017年9月に発表した業界初のメモリ設計・検証向け統合ソリューション Cadence Legato Memory Solutionの開発責任者に話を聞きました。
ニューラルネットワーク向けTensilica Vision C5 DSPとCNNソリューション
2017年9月に一般リリースされたテンシリカVision DSPファミリの最新のDSP、Tensilica Vision C5 DSPをご紹介します。
Sigrity2017アップデートのご紹介
2017年12月13日に開催したSigrityフォーラム 2017でご紹介したSigrity2017の新機能や改良点の一部をご説明します。
フォーマル証明の内側「ヘルパーアサーションってなんだ?」第2回
前号(Vol.25)でヘルパーアサーションとはなにかをご紹介しましたが、第2回目をお届けします。
JasperGold で 仕様書が書きたくなる
シミュレーション時に、ある階層より下の回路の機能検証を行わない理由を考え、フォーマル機能検証のメリットをご紹介しています。
Club Formal Japan 2018レポート
2018年2月1日に開催し、前回を上回る人数の皆様にご参加頂きましたClub Formal Japan 2018のレポートをお届けします。
編集後記
昨年発表した様々な新製品、新技術に関する記事を是非お読みいただき、各技術の訴求ポイントをご理解いただければ幸いです。
Archive
2023 Issues
2022 Issues
2021 Issues
2020 Issues