資料詳細

  • 1 件中、 1 件目

実践ＵＶＭ入門 利用可

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

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

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

ページの先頭へ

資料詳細

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

ページの先頭へ

内容一覧

タイトル 著者名 ページ
第１章　概要
第２章　ＴＬＭ
第３章　ＵＶＭクラスライブラリーの基礎
第４章　ＵＶＭ検証コンポーネントの開発
第５章　ＵＶＭ検証環境構築例
第６章　補足

ページの先頭へ