内容説明
ＳｙｓｔｅｍＶｅｒｉｌｏｇでは、Ｖｅｒｉｌｏｇ ＨＤＬが大幅に機能強化されている。特に検証面で、テストベンチ構文とアサーション構文が追加されたことが大きい。本書は、その中でも通称ＳＶＡ（ＳｙｓｔｅｍＶｅｒｉｌｏｇＡｓｓｅｒｔｉｏｎ）と呼ばれるアサーション構文に焦点をあて、アサーション・ハンドブックとして書かれている。多くの記述例を用い設計／検証者に親しみやすい構成をとっているので、ＳＶＡを用いてアサーション活用を始めるための絶好の書籍である。
目次
第１章 検証メソドロジにおけるＳＹＳＴＥＭＶＥＲＩＬＯＧアサーションの役割
第２章 プロパティとアサーションの概要
第３章 プロパティについて
第４章 シーケンスについて
第５章 プロパティとシーケンスの高度な話題
第６章 設計プロセスでのＳｙｓｔｅｍＶｅｒｉｌｏｇアサーション
第７章 アサーションを使用したフォーマル検証
第８章 ＳｙｓｔｅｍＶｅｒｉｌｏｇアサーション・ガイドライン
第９章 ＳｙｓｔｅｍＶｅｒｉｌｏｇアサーション辞書
著者等紹介
Ｃｏｈｅｎ，Ｂｅｎ［ＣＯＨＥＮ，ＢＥＮ］［Ｃｏｈｅｎ，Ｂｅｎ］
現在、ＨＤＬとプロパティ言語（ＰＳＬ，ＳｙｓｔｅｍＶｅｒｉｌｏｇアサーション）のトレーナー／コンサルタントである。彼は、デジタル／アナログのハードウェア設計、コンピュータ・アーキテクチャ、ＡＳＩＣ設計、合成、ハードウェア記述言語を使った統計的シミュレーションのモデリング、命令セット記述、ハードウェアモデルの分野で専門的な経験を持っている。彼は、コンピュータ・インターフェースのさまざまなバス機能モデルをモデル化するために、１９９０年以降ＶＨＤＬを適用してきた。Ｄｅｓｉｇｎ Ａｕｔｏｍａｔｉｏｎ Ｓｔａｎｄａｒｄｓ ＣｏｍｍｉｔｔｅｅのＶＨＤＬ Ｓｙｎｔｈｅｓｉｓ Ｉｎｔｅｒｏｐｅｒａｂｉｌｉｔｙ Ｗｏｒｋｉｎｇ Ｇｒｏｕｐのパイロットチームのメンバーであった。彼は現在、Ｄｅｓｉｇｎ Ａｕｔｏｍａｔｉｏｎ Ｓｔａｎｄａｒｄｓ ＣｏｍｍｉｔｔｅｅのＶＨＤＬ ａｎｄ Ｖｅｒｉｌｏｇ Ｓｙｎｔｈｅｓｉｓ Ｉｎｔｅｒｏｐｅｒａｂｉｌｉｔｙ Ｗｏｒｋｉｎｇ ＧｒｏｕｐとＡｃｃｅｌｌｅｒａ ＯＶＬとＰＳＬの標準化ワーキング・グループのメンバーである。彼は、ＶＨＤＬとＰＳＬトレーニングを開催すると同時にＶＨＤＬコンサルティング業務も行っている
Ｖｅｎｋａｔａｒａｍａｎａｎ，Ｓｒｉｎｉｖａｓａｎ［ＶＥＮＫＡＴＡＲＡＭＡＮＡＮ，ＳＲＩＮＩＶＡＳＡＮ］［Ｖｅｎｋａｔａｒａｍａｎａｎ，Ｓｒｉｎｉｖａｓａｎ］
現在、Ｓｙｎｏｐｓｙｓ、Ｉｎｄｉａ Ｐｒｉｖａｔｅ Ｌｔｄ．（インド、バンガロール）で検証ソリューション・エンジニアとして勤務している。彼の関心領域は、ＳｙｓｔｅｍＶｅｒｉｌｏｇ、アサーションベース検証、フォーマル検証、カバレッジ・ドリブン検証（ＣＤＶ：Ｃｏｖｅｒａｇｅ Ｄｒｉｖｅｎ Ｖｅｒｉｆｉｃａｔｉｏｎ）など、新しい検証ソリューションとメソドロジである。彼は、最先端の数百万ゲート高速ＡＳＩＣ設計の検証に積極的に関与した。彼は、ＶｅｒｉｓｉｔｙのＳｐｅｃｍａｎ、ＡＢＶなどを使用するＣＤＶなど、高度なメソドロジを使用して、複雑な検証環境を開発することに成功した。Ｓｙｎｏｐｓｙｓに勤務する前には、Ｉｎｔｅｌ、Ｐｈｉｌｉｐｓ Ｓｅｍｉｃｏｎｄｕｃｔｏｒｓ、ＲｅａｌＣｈｉｐ Ｃｏｍｍｕｎｉｃａｔｉｏｎｓで、ＶＨＤＬ、Ｖｅｒｉｌｏｇ ＨＤＬ、ｅ（Ｓｐｅｃｍａｎ）、ＯｐｅｎＶｅｒａを含むいくつかのＨＤＬとＨＶＬにより、ＡＳＩＣのフロントエンド設計と検証の分野に取り組んだ。彼は、いくつかの技術ディスカッション・フォーラム、ＯＶＬ、ＳｙｓｔｅｍＶｅｒｉｌｏｇ、ＶＨＤＬ‐２００Ｘ Ｔｅｓｔｂｅｎｃｈ ＆ Ｖｅｒｉｆｉｃａｔｉｏｎなどの運営委員会で活躍した。彼は、有名なＩｎｄｉａｎ Ｉｎｓｔｉｔｕｔｅ ｏｆ Ｔｅｃｈｎｏｌｏｇｙ（ＩＩＴ）、ＤｅｌｈｉからＶＬＳＩ設計で修士号を取得し、ＴＣＥ、Ｍａｄｕｒａｉから電気工学の学士号を取得している
Ｋｕｍａｒｉ，Ａｊｅｅｔｈａ［ＫＵＭＡＲＩ，ＡＪＥＥＴＨＡ］［Ｋｕｍａｒｉ，Ａｊｅｅｔｈａ］
現在、インドのバンガロールを本拠とする、フロントエンド設計と検証の分野の独立したコンサルタントである。彼女の関心領域にはフロントエンド設計と検証手法が含まれ、この領域での新しい技術とツールの探索に積極的に関与している。また、ＥＤＡツールの評価にも関与していた。彼女は、Ｖｅｒｉｌｏｇ ＨＤＬ、ＶＨＤＬ、ＳｙｓｔｅｍＶｅｒｉｌｏｇ、ＰＳＬ、ＳｙｓｔｅｍＶｅｒｉｌｏｇアサーション、ＯｐｅｎＶｅｒａを含む、いくつかのＨＤＬとＨＶＬの経験を持つ。彼女は現在、検証を中心としたＷｅｂサイトを運営している。彼女の関心領域には、修士号課程での研究のフォローアップとして開発したミックスド・シグナル設計手法も含まれる。彼女は、有名なＩｎｄｉａｎ Ｉｎｓｔｉｔｕｔｅ ｏｆ Ｔｅｃｈｎｏｌｏｇｙ（ＩＩＴ）、Ｍａｄｒａｓから電気工学で理学修士を取得し、ＴＣＥ、Ｍａｄｕｒａｉから学士号を取得した（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
