資料詳細

  • 1 件中、 1 件目

【図書】 検証のためのＳｙｓｔｅｍＶｅｒｉｌｏｇプログラミング

篠塚一也 ／著   -- 森北出版 -- ２０２２．５ -- ２２ｃｍ -- ２２７ｐ

資料詳細

タイトル 検証のためのＳｙｓｔｅｍＶｅｒｉｌｏｇプログラミング
著者名等 篠塚一也 ／著  
出版 森北出版 ２０２２．５
大きさ等 ２２ｃｍ ２２７ｐ
分類 549.7
件名 ハードウェア記述言語
注記 文献あり　索引あり
著者紹介 １９７２年名古屋大学理学研究科数学修士課程修了。現在、（有）アートグラフィックスＥＤＡ開発部アーキテクト。専門分野は言語設計、コンパイラー開発、ＲＴＬ論理合成、ＳｙｓｔｅｍＶｅｒｉｌｏｇ設計・検証ツール開発。（本データはこの書籍が刊行された当時に掲載されていたものです）
要旨 効率的・厳密な検証作業のために。多数のサンプルコードと開発例で、実践的なプログラミング技術が身につく１冊！
目次 概要；データタイプ；プロセス；プロセス間通信機能；タスクとファンクション；インターフェース；クラス；ランダムスティミュラスの生成；ＵＶＭ；ファンクショナルカバレッジ〔ほか〕
ISBN(13)、ISBN 978-4-627-85681-3　　 4-627-85681-4
書誌番号 1113971355
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113971355

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 549.7 一般書 利用可 - 2072951860 iLisvirtual

ページの先頭へ