2007年2月5日、SystemVerilog/SystemC両言語対応のESL合成ツールを手掛ける、米BlueSpecは、ESL設計および検証を加速するIPライブラリ「AzureIP」を発表した。プレスリリース（英文）発表によると「AzureIP」は、トランザクションレベルで記述されたシステム…

シノプシスのブースは、統合されたインプリメンテーション環境「IC Compiler」を中心に、サインオフ、テスト設計、検証、DFMなど製品群ごとにツールを展示。例年何かしらの展示会企画を打ち出している同社だが、今年はブース内に「検証ヘルプデスク」を設け…