よく一緒に購入されている商品
商品の説明
内容（「BOOK」データベースより）
FAシーケンス制御、システムLSI、無線通信制御の開発が理解できる実践的な解説書です。
内容（「MARC」データベースより）
FAシーケンス制御、システムLSI、無線通信制御の開発が理解できる実践的な解説書。さまざまな切り口からモデリングスキルの本質に迫る。
登録情報
|
この商品を見た後に買っているのは？
カスタマーレビュー
|
あなたの意見や感想を教えてください:
|
||||||||||||||||||||||
|
最も参考になったカスタマーレビュー
2 人中、2人の方が、｢このレビューが参考になった｣と投票しています。
5つ星のうち 5.0
ハードウェア設計,
By
レビュー対象商品: UML動的モデルによる組み込み開発―分析・設計・実装・テスト (単行本)
論理回路、CPUは、状態遷移機械として考えられている。そのため、UMLで扱う状態遷移図は、設計に最適のはずだ。 本書では、５年前の到達地点を知ることができる。 著者らの属するキャッツという企業では、ZIPCという状態遷移表からC言語を生成するソフトウェアを販売しており、特定の分野では、定着している。 事例としては、 FAにおけるシーケンサーの例。 システムLSI設計における、UMLとSystemC、C+Verilog−HDL, VHDLなどの関係。 無線通信制御 などの具体例があり、とても勉強になった。 ７．８では、形式手法について紹介し、CafeOBJを記述している。 ps. UPPAALという状態遷移図から検証できるソフトウェアの日本の代理店はキャッツである。
あなたの意見や感想を教えてください: 自分のレビューを作成する
|
|
リストマニア
|
|
同じキーワードの商品を探す
フィードバック
- カタログ情報、または画像について報告
- 著者からのコメント
- 出版社からのコメント
|
