資料詳細

  • 1 件中、 1 件目

【図書】 ＳｙｓｔｅｍＶｅｒｉｌｏｇによる検証の基礎

篠塚一也 ／著   -- 森北出版 -- ２０２０．１ -- ２２ｃｍ -- ３８０ｐ

資料詳細

タイトル ＳｙｓｔｅｍＶｅｒｉｌｏｇによる検証の基礎
著者名等 篠塚一也 ／著  
出版 森北出版 ２０２０．１
大きさ等 ２２ｃｍ ３８０ｐ
分類 549.7
件名 ハードウェア記述言語
注記 文献あり　索引あり
著者紹介 １９７０年　東京理科大学理学部数学科卒業。１９７２年　名古屋大学理学研究科数学修士課程修了。１９７３年　同研究生修了。１９７３年　ＮＢＣ（Ｎｉｐｐｏｎ　Ｂｕｓｉｎｅｓｓ　Ｃｏｎｓｕｌｔａｎｔ）に入社。１９７８年　第二精工舎（現セイコーインスツル）に移る。１９８３年　ＧＥＩＡＬに移籍。１９８６年　米国に渡り、ＧＥ　Ｃａｌｍａに入社。２００６年　日本に帰国し、自社アートグラフィックスのＥＤＡ製品開発を担当し、現在に至る。（本データはこの書籍が刊行された当時に掲載されていたものです）
要旨 ＳｙｓｔｅｍＶｅｒｉｌｏｇによる検証技術を、基礎から応用まで幅広く、丁寧に解説。多数のソースコードとシミュレーション例を通して、実践的な知識が身につく１冊。
目次 第１章　概要；第２章　ＳｙｓｔｅｍＶｅｒｉｌｏｇに関する予備知識；第３章　ランダムスティミュラスの生成；第４章　ファンクショナルカバレッジ；第５章　アサーション；第６章　ＵＶＭ；第７章　補足
ISBN(13)、ISBN 978-4-627-85171-9　　 4-627-85171-5
書誌番号 1113756866
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113756866

ページの先頭へ

所蔵

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

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

ページの先頭へ