特許
J-GLOBAL ID：201803010837406332
半導体集積回路
発明者：
,
,
出願人/特許権者：
代理人 (4件)：
青木 篤
, 伊坪 公一
, 河野 努
, 宮本 哲夫
公報種別：特許公報
出願番号（国際出願番号）：特願2013-205141
公開番号（公開出願番号）：特開2015-069549
特許番号：特許第6221586号
出願日： 2013年09月30日
公開日（公表日）： 2015年04月13日
請求項（抜粋）：
【請求項1】 論理検証が行われる評価対象論理回路と、
前記評価対象論理回路のシミュレーション検証を行うためのアサーション回路と、
前記アサーション回路が発火したときに解析情報を出力するモニタ回路と、を有し、
前記モニタ回路は、
アサーション信号を受け取ってイベントを検出するイベント検出部と、
アサーション解析に使用するアサーション情報を、前記アサーション回路に対応させて事前に保持するモニタデータサンプリング部と、
シミュレーション検証時に得られるアサーション回路の発火時のモニタリングポイント情報に基づいて、発火した前記アサーション回路に対応するアサーション情報を保持するように、前記モニタデータサンプリング部を制御する制御回路と、を含む、
ことを特徴とする半導体集積回路。
IPC (2件)：
G06F 17/50 ( 200 6.01)
, G01R 31/28 ( 200 6.01)
G06F 17/50 664 P
, G01R 31/28 U
, G06F 17/50 672 C
