freeのSIMでアサーションの検証ができそうなので、自宅で実験してます。
しかし、字が小さいのが何店です。
無料のKindleアプリをダウンロードして、スマートフォン、タブレット、またはコンピューターで今すぐKindle本を読むことができます。Kindleデバイスは必要ありません。
ウェブ版Kindleなら、お使いのブラウザですぐにお読みいただけます。
携帯電話のカメラを使用する - 以下のコードをスキャンし、Kindleアプリをダウンロードしてください。
System Verilogアサーション・ハンドブック 単行本 – 2006/1/1
現在LSI設計において、大きなボトルネックとなっているは検証機能である。設計過程における、回路コーディングが3割に対して、検証には7割の時間を割いているからである。そこでいま脚光を浴びているのが、アサーションを活用する方法である。アサーションはこれまでソフトウェア開発において、C や Java にも実装されて使用されてきたが、LSI設計でも脚光を浴びている。 これまでアサーションを実装していなかったVerilog HDL(ハードウエア記述言語) は、Accellera(標準化に携わる団体)の手により改版された新バージョンのSystemVerilogに生まれ変わり、SystemVerilogアサーション(通称SVA)が実装されるに至っている. 本書は、このSVAについて解説した世界初の本である。 日本では、一万人以上のLSI設計者が利用するVerilog HDLに、アサーション機能が実装されたのは大きな進化であり、今後3年以内に,大多数のLSI設計者が SVA を導入するだろうと想定されている。 本書は、拡張機能を習得するのに非常に�有用な実務書である。 先発の SystemC とはアサーションでオーバラップしている機能があるが、それぞれに強みがあり、今後住み分けが進んでいくと考えられている。米国では、すでにSystemVerilogを選んだ会社も続々登場してきており、SystemVerilogにもとづいたEDAツールもすでに発売されている。
- 本の長さ367ページ
- 言語日本語
- 出版社丸善出版
- 発売日2006/1/1
- ISBN-104621076124
- ISBN-13978-4621076125
登録情報
- 出版社 : 丸善出版 (2006/1/1)
- 発売日 : 2006/1/1
- 言語 : 日本語
- 単行本 : 367ページ
- ISBN-10 : 4621076124
- ISBN-13 : 978-4621076125
- Amazon 売れ筋ランキング: - 1,237,671位本 (本の売れ筋ランキングを見る)
- - 21,489位電気・通信 (本)
- カスタマーレビュー:
著者について
著者をフォローして、新作のアップデートや改善されたおすすめを入手してください。
著者の本をもっと発見したり、よく似た著者を見つけたり、著者のブログを読んだりしましょう
著者の本をもっと発見したり、よく似た著者を見つけたり、著者のブログを読んだりしましょう
著者の本をもっと発見したり、よく似た著者を見つけたり、著者のブログを読んだりしましょう
カスタマーレビュー
星5つ中4.1つ
5つのうち4.1つ
全体的な星の数と星別のパーセンテージの内訳を計算するにあたり、単純平均は使用されていません。当システムでは、レビューがどの程度新しいか、レビュー担当者がAmazonで購入したかどうかなど、特定の要素をより重視しています。 詳細はこちら
5グローバルレーティング
虚偽のレビューは一切容認しません
私たちの目標は、すべてのレビューを信頼性の高い、有益なものにすることです。だからこそ、私たちはテクノロジーと人間の調査員の両方を活用して、お客様が偽のレビューを見る前にブロックしています。 詳細はこちら
コミュニティガイドラインに違反するAmazonアカウントはブロックされます。また、レビューを購入した出品者をブロックし、そのようなレビューを投稿した当事者に対して法的措置を取ります。 報告方法について学ぶ
-
トップレビュー
上位レビュー、対象国: 日本
レビューのフィルタリング中に問題が発生しました。後でもう一度試してください。
2013年2月21日に日本でレビュー済み
Verilog HDL, VHDL, System C, System Verilogの間の記述変換を調べるために読み始めました。
sequenceとassertionは直感的に理解していました。
より具体的な内容を読んでいるところです。
相互変換する道具を調査しています。
sequenceとassertionは直感的に理解していました。
より具体的な内容を読んでいるところです。
相互変換する道具を調査しています。
2008年11月28日に日本でレビュー済み
Amazonで購入
LSIの検証機能について、これほどノウハウを書いている本はそう多くは無いと思う。
アサーションの使い方を実践を踏まえたうえで紹介しており、一部難解な部分もあるが、総じて読む価値のある本だと思う。
アサーションの使い方を実践を踏まえたうえで紹介しており、一部難解な部分もあるが、総じて読む価値のある本だと思う。
2018年3月10日に日本でレビュー済み
Amazonで購入
多少値段が高かったのですが、Assertion作成業務を行ううえで非常に役立っています。
購入してよかったです。日本語の意味がいまいち理解できない部分もありますが
多くの図でカバーできているように思えます。
購入してよかったです。日本語の意味がいまいち理解できない部分もありますが
多くの図でカバーできているように思えます。