資料詳細

  • 1 件中、 1 件目

ＳｙｓｔｅｍＶｅｒｉｌｏｇ入門 利用可

篠塚　一也／著 -- 共立出版 -- 2020.10 -- 549.7

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 一般 549.7/ｼﾉｽ/一般 121330163 一般 利用可

ページの先頭へ

資料詳細

タイトル ＳｙｓｔｅｍＶｅｒｉｌｏｇ入門
書名ヨミ システム　ヴェリログ　ニュウモン
副書名 設計・仕様・検証のためのハードウェア記述言語
著者名 篠塚　一也 ／著  
著者ヨミ シノズカ，カズヤ  
出版者 共立出版  
出版年 2020.10
ページ数等 ４２１ｐ
大きさ ２６ｃｍ
一般注記 欧文タイトル：Ｉｎｔｒｏｄｕｃｔｉｏｎ　ｔｏ　ＳｙｓｔｅｍＶｅｒｉｌｏｇ
一般件名 ハードウェア記述言語  
ISBN 4-320-12463-4
ISBN13桁 978-4-320-12463-9
定価 ６６００円
問合わせ番号（書誌番号） 1120365166
NDC8版 549.7
NDC9版 549.7
NDC10版 549.7
著者紹介 １９７２年　名古屋大学理学研究科数学修士課程修了。現在　（有）アートグラフィックスＥＤＡ開発部アーキテクト。専門　言語設計、コンパイラ開発、ＲＴＬ論理合成、ＳｙｓｔｅｍＶｅｒｉｌｏｇ設計・検証ツール開発。主著『ＳｙｓｔｅｍＶｅｒｉｌｏｇによる検証の基礎』（森北出版、２０２０）。（本データはこの書籍が刊行された当時に掲載されていたものです） 

ページの先頭へ

内容一覧

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

ページの先頭へ