本、DVD、CD、ゲームの通販 【TSUTAYA オンラインショッピング】

Vポイントの確認
マイページ(注文履歴)
お気に入りリスト
買い物かごを見る
  • HOME
  • 本/コミック
  • 雑誌
  • DVD/ブルーレイ
  • CD/音楽DVD
  • ゲーム
  • 文具・雑貨/グッズ
  • アニメ

システムLSI設計自動化技術の基礎

パブリックドメインツールの利用法
監修: VDEC   編者: 浅田邦博  
書籍 
出版社:培風館
発売日: 2005年12月
mixiチェック
  • 価格(税込):3,740円
  • Vポイント:17pt
  • 在庫なし お気に入りリストへ
  • 在庫なし

この商品の説明

本書は電子系CADのうち、論理設計、システム設計でよく利用されているパブリックツールについて、その機能の概要、ダウンロード・インストールの仕方、簡単な使い方をまとめたものである。システム設計、論理合成、形式的論理検証、および基本ツール関係の諸ツールを紹介している。システム設計関係では、システム設計言語であるSpecCと計算機アーキテクチャ設計の評価のツールを、論理合成関係では、積和形論理式最小化と一般の多段論理式最小化、さらに非同期回路の自動合成ツールを紹介する。形式論理検証関係では、順序回路の性質を調べるツールを、基本ツール関係では、各種論理式の効率的操作手段や時相論理関係のツールを紹介している。

著者/アーティスト

監修: VDEC編者: 浅田邦博編者: 藤田昌宏

目次

システム設計関連ツール(SpecCリファレンスコンパイラ;SimpleScalar Tool Set);論理合成関連ツール(多段論理合成ツールSIS;多値二段論理最小化ツールESPRESSO‐MV ほか);形式的検証関連ツール(順序回路検証ツールSMV;CUDD);基本ツール(Chaff;論理妥当性判定ツールCVC ほか)

商品仕様

  • アイテム名:書籍
  • ページ数:147p
  • 大きさ:26cm(B5)
  • 出版社:培風館
  • ISBN-10:4563067555
  • ISBN-13:9784563067557

お届けの際のご注意
▼発送時期について

BOOK予約商品のお届けにつきましては直送・店舗受取りにかかわらず、弊社倉庫に届き次第、発送手配を行います。

また、原則として、発売日に弊社の倉庫に到着するため一般の書店よりも数日お届けが遅れる場合がございます。

なお、書籍と書籍以外の商品(DVD、CD、ゲーム、GOODSなど)を併せてご購入の場合、商品のお届けに時間がかかる場合があります。あらかじめご了承ください。


▼本・コミックの価格表示について

本サイト上で表示されている商品の価格(以下「表示価格」といいます)は、本サイト上で当該商品の表示を開始した時点の価格となります。

この価格は、売買契約成立時までに変動する可能性があります。

利用者が実際に商品を購入するために支払う金額は、ご利用されるサービスに応じて異なりますので、

詳しくはオンラインショッピングサービス利用規約をご確認ください。

なお、価格変動による補填、値引き等は一切行っておりません。

 

■オンラインショッピングサービス利用規約

(1) 宅配サービス:第2章【宅配サービス】第6条において定めます。

(2) TOLピックアップサービス:第3章【TOLピックアップサービス】第12条において定めます。

 

サイト表記の書籍カバーについて

書籍のカバーは、期間限定で変更する場合がございます。

そのためサイト上で表記されたものとお届けした作品のカバーが異なる場合がございます。

カバー違いによる交換は行っておりません。