資料詳細

  • 1 件中、 1 件目

【図書】 ＳｙｓｔｅｍＶｅｒｉｌｏｇ入門

設計・仕様・検証のためのハードウェア記述言語 --
篠塚一也 ／著   -- 共立出版 -- ２０２０．１０ -- ２６ｃｍ -- ４２１ｐ

資料詳細

タイトル ＳｙｓｔｅｍＶｅｒｉｌｏｇ入門
副書名 設計・仕様・検証のためのハードウェア記述言語
著者名等 篠塚一也 ／著  
出版 共立出版 ２０２０．１０
大きさ等 ２６ｃｍ ４２１ｐ
分類 549.7
件名 ハードウェア記述言語
注記 欧文タイトル：Ｉｎｔｒｏｄｕｃｔｉｏｎ　ｔｏ　ＳｙｓｔｅｍＶｅｒｉｌｏｇ
注記 文献あり　索引あり
著者紹介 １９７２年　名古屋大学理学研究科数学修士課程修了。現在　（有）アートグラフィックスＥＤＡ開発部アーキテクト。専門　言語設計、コンパイラ開発、ＲＴＬ論理合成、ＳｙｓｔｅｍＶｅｒｉｌｏｇ設計・検証ツール開発。主著『ＳｙｓｔｅｍＶｅｒｉｌｏｇによる検証の基礎』（森北出版、２０２０）。（本データはこの書籍が刊行された当時に掲載されていたものです）
目次 概要；設計および検証のためのビルディングブロック；データタイプ；メンバーで構成されるデータタイプ；クラス；プロセス；代入文；オペレータと式；実行文；タスクとファンクション〔ほか〕
ISBN(13)、ISBN 978-4-320-12463-9　　 4-320-12463-4
書誌番号 1113819641
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113819641

ページの先頭へ

所蔵

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

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

ページの先頭へ