もくじ情報：概要；設計および検証のためのビルディングブロック；データタイプ；メンバーで構成されるデータタイプ；クラス；プロセス；代入文；オペレータと式；実行文；タスクとファンクション〔ほか〕

篠塚　一也(シノズカ　カズヤ)
１９７２年名古屋大学理学研究科数学修士課程修了。現在、（有）アートグラフィックスＥＤＡ開発部アーキテクト。専門、言語設計、コンパイラ開発、ＲＴＬ論理合成、ＳｙｓｔｅｍＶｅｒｉｌｏｇ設計・検証ツール開発；クロッキングブロック；プロセス間の同期と交信；チェッカー；プログラム；インターフェース；パッケージ；モジュール；システムタスクとシステムファンクション；制約によるランダムスティミュラスの生成；ＳｙｓｔｅｍＶｅｒｉｌｏｇの検証機能；モデリングと検証；ＵＶＭ概説；コンパイラディレクティブ；シミュレーション実行モデル（本データはこの書籍が刊行された当時に掲載されていたものです）