なつたん

ESL D&Vと、Hardware Verification With C++: A Practioner's Approach追加

(1)Advanced Verification Techniques: A Systemc Based Approach For Successful Tapeout (終了）
そもそもSystemCに特化した本ではない。感想はこちら。

(2)Transaction Level Modeling With SystemC: TLM Concepts And Applications for Embedded Systems

(3)Systemc: from the Ground Up (終了)
邦訳は基礎から学ぶSystemC
感想はこちら

第2版でたよ。

(4)System Design With Systemc (終了)
邦訳はSystemCによるシステム設計。
SystemCに関わる人必読。感想はこちら。

(5)SystemC Kernel Extensions for Heterogeneous System Modeling: A Framework for Multi-MoC Modeling & Simulation (終了)
あまりSystemCとは関係無い本。感想はこちら。

(6)Advanced Verification Methodology Cookbook
予想以上に参考になります。7章で中断。

(7)よくわかる SystemCによるシステムデザイン入門 (終了)
感想はこちら

(8)C/C++によるVLSI設計―SystemCによるJPEGコーデック設計 (終了)
なかなか良い本でした。私の感想はこちら。noboshemonさんの感想はこちら

(9)Systemc: Methodologies and Applications　(終了）
感想はこちら

(10)A SystemC Primer （終了）
入手困難ですが、最初の一冊にお勧め。感想はここ

(11)SystemCを使ったハードウェア設計 (終了)
合成について記述があり参考になる。最初の一冊には向かない。感想はこちら。

(12)System Cプログラミング基礎講座 (終了）
いろいろと気になる点があり、お勧めはしません。感想はここ

(13) Performance Evaluation of Parallel Packet-processing Architectures Using SystemC-based Modeling and Refinement(終了)
あまりSystemCの勉強にはなりません。ネットワーク関連のモデリングをしたい人に少しだけお勧め。
感想はここ

(14) ESL Design and Verification: A Prescription for Electronic System-Level Methodology (終了)
ESL全般について書かれた本。SystemCへの期待も大きいです。文法レベルでの解説はありませんが、SystemCでできることについてはいろいろと考えさせられる。
感想はここ

(15) Hardware Verification With C++: A Practioner's Approach
SystemCじゃないけど、AVMのようなC++を使った検証フレームワークの本

あとTLMの本が残ってるな。AVMもそろそろリベンジだ。