資料詳細

  • 1 件中、 1 件目

検証のためのＳｙｓｔｅｍＶｅｒｉｌｏｇプログラミング 利用可

篠塚　一也／著 -- 森北出版 -- 2022.5 -- 549.7

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

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

ページの先頭へ

資料詳細

タイトル 検証のためのＳｙｓｔｅｍＶｅｒｉｌｏｇプログラミング
書名ヨミ ケンショウ　ノ　タメ　ノ　システム　ヴェリログ　プログラミング
著者名 篠塚　一也 ／著  
著者ヨミ シノズカ，カズヤ  
出版者 森北出版  
出版年 2022.5
ページ数等 ２２７ｐ
大きさ ２２ｃｍ
一般件名 ハードウェア記述言語  
ISBN 4-627-85681-4
ISBN13桁 978-4-627-85681-3
定価 ４０００円
問合わせ番号（書誌番号） 1120679739
NDC8版 549.7
NDC9版 549.7
NDC10版 549.7
著者紹介 １９７２年名古屋大学理学研究科数学修士課程修了。現在、（有）アートグラフィックスＥＤＡ開発部アーキテクト。専門分野は言語設計、コンパイラー開発、ＲＴＬ論理合成、ＳｙｓｔｅｍＶｅｒｉｌｏｇ設計・検証ツール開発。（本データはこの書籍が刊行された当時に掲載されていたものです） 

ページの先頭へ

内容一覧

タイトル 著者名 ページ
概要
データタイプ
プロセス
プロセス間通信機能
タスクとファンクション
インターフェース
クラス
ランダムスティミュラスの生成
ＵＶＭ
ファンクショナルカバレッジ〔ほか〕

ページの先頭へ