連続時間マルコフ連鎖を用いて導出したPMHF式が、#102〜#108の記事です。これはIEEEの信頼性工学に関する国際学会であるRAMSに投稿したため、主な部分は暫定非公開となっています。

---

• PMHF計算に関する積分公式2018/09/13 #60

• RAMS 2020での論文発表2020/02/04 #199

• 連続時間マルコフ連鎖とPMHF式の導出2020/02/05 #101

• $M_{\mathrm{PMHF}}$の計算2020/02/05 #102

• $M_{\mathrm{PMHF}}$の計算(2)2020/02/05 #103

• $M_{\mathrm{PMHF}}$の計算(3)2020/02/05 #104

• $M_{\mathrm{PMHF}}$の計算(4)2020/02/05 #105

• $M_{\mathrm{PMHF}}$の計算(5)2020/02/05 #106

• $M_{\mathrm{PMHF}}$の計算(6)2020/02/05 #107

• $M_{\mathrm{PMHF}}$の計算(7)2020/02/05 #108

• $M_{\mathrm{PMHF}}$の計算(8)2020/03/13 #221

• $M_{\mathrm{PMHF}}$の計算(9)2020/03/16 #222

• PMHF導出法の変更2021/02/02 #355

• MPF detectedへの変更の再検討(2)2021/02/24 #367

• MPF detectedへの変更の再検討(3)2021/02/25 #368

• MPF detectedへの変更の再検討(4)2021/02/26 #369

• MPF detectedへの変更の再検討(5)2021/03/01 #370

• MPF detectedへの変更の再検討(6)2021/03/02 #371

• MPF detectedへの変更の再検討(7)2021/03/03 #372

• MPF detectedへの変更の再検討(8)2021/03/04 #373

• MPF detectedへの変更の再検討(9)2021/03/05 #374

• 従来手法のPMHF式のまとめ2022/07/08 #492

#10から開始したPMHFの導出ですが、#34で2017年にIEEE学会最優秀論文賞という一応の成果をみました。

---

• PMHFの意味2016/05/25 #10

• 故障分類2016/05/31 #11

• 故障分類(2)2016/06/09 #12

• DPF2016/06/24 #13

• DPF(2)2016/07/09 #14

• PMHF式の導出2016/07/17 #15

• PMHF式の導出(2)2016/07/28 #16

• PMHF式の導出(3)2016/08/10 #17

• PMHF式の導出(4)2016/08/22 #18

• PMHF値の計算2016/09/21 #19

• PMHF論文2017/03/22 #33

• FSマイクロ代表の桜井　厚の論文がIEEE学会の最優秀論文賞を受賞2017/05/18 #34

• FS micro representative Sakurai Atsushi received the IEEE Society's Best Paper Award2017/05/18 #35

• 修理系のアンナベイラビリティ2018/09/10 #59

• 平均PUDとしてのPMHF2018/09/18 #61

• PMHF導出のためのマルコフ連鎖状態遷移図2018/09/23 #62

• PMHF規格第1式の導出2018/09/30 #63

• PMHF規格第2式の導出2018/10/03 #64

• PMHF規格第3式の導出2018/10/07 #65

• ISO 12489の信頼性各種関数の定義2018/10/16 #66

• 信頼性関係式の定義式の表現2018/10/21 #67

• 2nd EditionにおけるPMHF式2018/10/29 #68

• 2nd EditionにおけるPMHF式(2)2018/11/05 #69

• 冗長構成サブシステム2018/11/12 #70

• Kパラメータは条件付き確率か2019/04/28 #98

• Kパラメータは条件付き確率か(2)2019/05/10 #99

• Kパラメータは条件付き確率か(3)2019/05/12 #100

• 2nd Edition Annex F (PMHFの評価例)の追加2019/06/18 #113

• 2nd Edition Annex F (PMHFの評価例)の追加(2)2019/06/19 #114

• 2nd Edition Annex F (PMHFの評価例)の追加(3)2019/06/20 #115

• PMHFのバジェッティング2019/06/22 #116

• あるWebの記事について(2)2019/07/08 #125

• スタンバイシステムの平均PUD計算2019/07/09 #126

• 2nd EditionのPMHF方程式2019/07/17 #130

• 本ブログの研究に基づく論文がIEEE信頼性学会の国際会議で採択2019/10/25 #173

• 故障分類とフローチャート(10)2019/10/28 #174

• 1st Editionと2nd Editionの前提の違いによるPMHFの違い2020/02/05 #109

• ISO 26262のFTAに関する論文2020/02/11 #201

• ISO 26262のFTAに関する論文(2)2020/02/12 #202

• ISO 26262のFTAに関する論文(3)2020/02/13 #203

• ISO 26262のFTAに関する論文(4)2020/02/14 #204

• ISO 26262のFTAに関する論文(5)2020/02/20 #205

• ISO 26262のFTAに関する論文(6)2020/02/21 #206

• ISO 26262のFTAに関する論文(7)2020/02/24 #207

• ISO 26262のFTAに関する論文(8)2020/02/25 #208

• ISO 26262のFTAに関する論文(9)2020/02/26 #209

• ISO 26262のFTAに関する論文(10)2020/02/27 #210

• ISO 12489のFault Tree駆動マルコフモデル2020/02/28 #211

• ISO 26262のFTAに関する論文(11)2020/03/02 #212

• ISO 26262のFTAに関する論文(12)2020/03/03 #213

• ISO 26262のFTAに関する論文(13)2020/03/04 #214

• ISO 26262のFTAに関する論文(14)2020/03/05 #215

• ISO 26262のFTAに関する論文(15)2020/03/06 #216

• ISO 26262のFTAに関する論文(16)2020/03/09 #217

• ISO 26262のFTAに関する論文(17)2020/03/10 #218

• ISO 26262のFTAに関する論文(18)2020/03/11 #219

• 【速報】RAMS 2021にアブストラクトが採択2020/06/23 #281

• RAMS 2020で発表したPMHF論文2020/08/02 #285

• PMHF論文sae20202020/08/12 #290

• PMHF論文sae2020(2)2020/08/13 #291

• PMHF論文sae2020(3)2020/08/14 #292

• PMHF論文sae2020(4)2020/08/15 #293

• PMHF論文sae2020(5)2020/08/16 #294

• PMHF論文sae2020(6)2020/08/17 #295

• PMHF論文sae2020(7)2020/08/18 #296

• PMHF論文sae2020(8)2020/08/19 #297

• PMHF論文das20162020/08/28 #304

• PMHF論文das2016(2)2020/08/31 #305

• PMHF論文das2016(3)2020/09/01 #306

• PMHF論文das2016(4)2020/09/02 #307

• PMHF論文das2016(5)2020/09/03 #308

• 規格第2版のPMHF式の疑問2020/09/04 #309

• 規格第2版のPMHF式の疑問(2)2020/09/07 #310

• 規格第2版のPMHF式の疑問(3)2020/09/08 #311

• 規格第2版のPMHF式の疑問(4)2020/09/09 #312

• 規格第2版のPMHF式の疑問(5)2020/09/10 #313

• 規格第2版のPMHF式の疑問(6)2020/09/11 #314

• PMHFの定量FTAによる見積り例2020/10/14 #323

• SPFM, LFM, PMHFの計算法の例2020/10/15 #324

• PMHFの計算法の例2020/10/16 #325

• PMHFの計算法の例(2)2020/10/20 #326

• PMHFの計算法の例(3)2020/10/21 #327

• 2nd Edition PMHF式の詳解2020/11/09 #329

• 2nd Edition PMHF式の詳解(2)2020/11/10 #330

• 2nd Edition PMHF式の詳解(3)2020/11/11 #331

• 2nd Edition PMHF式の詳解(4)2020/11/12 #332

• 2nd Edition PMHF式の詳解(5)2020/11/13 #333

• 2nd Edition PMHF式の詳解(6)2020/11/16 #334

• 2nd Edition PMHF式の詳解(7)2020/11/17 #335

• 採択されたPMHF論文に誤りが混入するも回復済み2020/11/18 #336

• レイテントフォールトの奥深さ2020/11/30 #337

• 弊社代表桜井 厚の論文がIEEE信頼性学会に2年連続採択2020/12/03 #338

• A paper by Atsushi Sakurai, President of FS Micro, was accepted by the IEEE Reliability Conference for two consecutive years2020/12/03 #339

• RAMS 2020論文ポスター解説2020/12/24 #340

• RAMS 2020論文ポスター解説(2)2020/12/25 #341

• RAMS 2020論文ポスター解説(3)2020/12/29 #342

• RAMS 2020論文ポスター解説(4)2021/01/11 #343

• RAMS 2020論文ポスター解説(5)2021/01/12 #344

• RAMS 2020論文ポスター解説(6)2021/01/19 #346

• 不稼働度$Q(t)$について2021/01/20 #347

• 不稼働度$Q(t)$について(2)2021/01/21 #348

• 不稼働度$Q(t)$について(3)2021/01/22 #349

• 不稼働度$Q(t)$について(4)2021/01/25 #350

• 不稼働度$Q(t)$について(5)2021/01/26 #351

• PMHF導出法の変更2021/02/02 #355

• PMHF計算に関する積分公式(2)2021/02/03 #356

• PMHF計算に関する積分公式(3)2021/02/04 #357

• PMHF計算に関する積分公式(4)2021/02/08 #358

• PMHF計算に関する積分公式(5)2021/02/10 #360

• PMHF導出法の変更(2)2021/02/11 #361

• PMHF導出法の変更(3)2021/02/12 #362

• PMHF導出法の変更(4)2021/02/15 #363

• PMHF導出法の変更(5)2021/02/16 #364

• MPF detectedへの変更のまとめ2021/02/17 #365

• MPF detectedへの変更の再検討2021/02/23 #366

• 従来の方法(MPF detected=MPF latent)による場合分け2021/03/08 #375

• 従来の方法(MPF detected=MPF latent)による場合分け(2)2021/03/09 #376

• RAMS 20222021/03/10 #377

• EOTTIの再計算2021/03/22 #379

• EOTTIの再計算(2)2021/03/23 #380

• EOTTIとは2021/03/29 #381

• EOTTIとは(2)2021/03/31 #382

• EOTTIとは(3)2021/04/15 #383

• EOTTIの考え直し2021/04/19 #384

• EOTTIの考え直し(2)2021/04/20 #385

• EOTTIの考え直し(3)2021/04/21 #386

• 【速報】RAMS 2022に弊社代表のアブストラクトが採択2021/06/15 #421

• PMHF関連資料の渉猟2021/07/28 #426

• PMHF関連資料の渉猟 (2)2021/07/29 #427

• MPF detectedの別の考え方2021/08/10 #432

• RAMS 2022採択へのマイルストーン (2)2021/09/01 #433

• RAMS 2022採択へのマイルストーン (3)2021/09/12 #435

• RAMS 2022採択へのマイルストーン (4)2021/10/01 #439

• RAMS 2022採択へのマイルストーン (5)2021/10/09 #441

• 弊社代表 桜井 厚の論文がIEEE信頼性学会(RAMS)に3年連続採択2021/10/26 #443

• CEO Atsushi Sakurai's Paper Accepted by a IEEE Reliability Conference (RAMS) for Third Consecutive Year2021/10/29 #444

• RAMS 2020とRAMS 2022の違い2022/01/10 #446

• RAMS 2020とRAMS 2022の違い (2)2022/01/12 #447

• Detectabilityの違い2022/01/26 #448

• Detectabilityの違い (2)2022/01/31 #449

• 規格第2版のPMHF式の疑問(7)2022/04/09 #470

• 2nd edition流PMHF計算における積分公式2022/04/11 #471

• 規格第2版のPMHF式の疑問(8)2022/04/12 #472

• 規格第2版のPMHF式の疑問(9)2022/04/14 #473

• 規格第2版のPMHF式の疑問(10)2022/05/06 #474

• 規格第2版のPMHF式の疑問(11)2022/05/12 #475

• 規格第2版のPMHF式の疑問(12)2022/05/23 #476

• 規格第2版のPMHF式の疑問(13)2022/05/24 #477

• 規格第2版のPMHF式の疑問(14)2022/05/31 #478

• 規格第2版のPMHF式の疑問(15)2022/06/06 #479

• 規格第2版のPMHF式の疑問(16)2022/06/07 #480

• 規格第2版のPMHF式の疑問(17)2022/06/09 #481

• RAMS 20232022/06/10 #482

• 【速報】RAMS 2023に弊社代表のアブストラクトが採択2022/06/13 #483

• ユニオンエレメントの故障率式の証明2022/06/17 #484

• 合成カバレージの証明2022/06/20 #485

• 確率コントリビューション2022/06/21 #486

• 確率コントリビューション(2)2022/06/22 #487

• 確率コントリビューション(3)2022/06/23 #488

• 確率コントリビューション(4)2022/06/24 #489

• 確率コントリビューション(5)2022/06/27 #490

• 確率コントリビューション(6)2022/07/07 #491

• PMHF論文の実績と予定2022/09/28 #519

• PMHFの誤解2022/09/29 #520

• PMHFの誤解 (2)2022/09/30 #521

• PMHFの誤解 (3)2022/10/03 #522

• PMHFの誤解 (4)2022/10/04 #523

• PMHFの誤解 (5)2022/10/05 #524

ISO 26262の第2版が2018年暮れに発効しました。ここでは2011年発効の第1版との比較を、主にハードウェア領域について記載しています。

---

• 2nd EditionにおけるPMHF式2018/10/29 #68

• 2nd EditionにおけるPMHF式(2)2018/11/05 #69

• 1st Editionと2nd Editionとの変化点 (Part 5)2019/06/15 #112

• 2nd Edition Annex F (PMHFの評価例)の追加2019/06/18 #113

• 2nd Edition Annex F (PMHFの評価例)の追加(2)2019/06/19 #114

• 2nd Edition Annex F (PMHFの評価例)の追加(3)2019/06/20 #115

• PMHFのバジェッティング2019/06/22 #116

• Annex H レイテントフォールトの取り扱い2019/06/25 #117

• アーキテクチャメトリクスの分割2019/06/26 #118

• 1st Editionと2nd Editionとの相違点 (Part 10)2019/06/27 #119

• 8.3.1 マイコンの取り扱い他2019/06/28 #120

• フォールトトレラントタイム2019/07/01 #121

• SPFMとLFMの導出2019/07/02 #122

• LFMの導出2019/07/04 #123

• 規格第2版のPMHF式の疑問2020/09/04 #309

• 規格第2版のPMHF式の疑問(2)2020/09/07 #310

• 規格第2版のPMHF式の疑問(3)2020/09/08 #311

• 規格第2版のPMHF式の疑問(4)2020/09/09 #312

• 規格第2版のPMHF式の疑問(5)2020/09/10 #313

• 規格第2版のPMHF式の疑問(6)2020/09/11 #314

• 2nd Edition PMHF式の詳解2020/11/09 #329

• 2nd Edition PMHF式の詳解(2)2020/11/10 #330

• 2nd Edition PMHF式の詳解(3)2020/11/11 #331

• 2nd Edition PMHF式の詳解(4)2020/11/12 #332

• 2nd Edition PMHF式の詳解(5)2020/11/13 #333

• 2nd Edition PMHF式の詳解(6)2020/11/16 #334

• 2nd Edition PMHF式の詳解(7)2020/11/17 #335

• 規格第2版のPMHF式の疑問(7)2022/04/09 #470

• 2nd edition流PMHF計算における積分公式2022/04/11 #471

• 規格第2版のPMHF式の疑問(8)2022/04/12 #472

• 規格第2版のPMHF式の疑問(9)2022/04/14 #473

• 規格第2版のPMHF式の疑問(10)2022/05/06 #474

• 規格第2版のPMHF式の疑問(11)2022/05/12 #475

• 規格第2版のPMHF式の疑問(12)2022/05/23 #476

• 規格第2版のPMHF式の疑問(13)2022/05/24 #477

• 規格第2版のPMHF式の疑問(14)2022/05/31 #478

• 規格第2版のPMHF式の疑問(15)2022/06/06 #479

• 規格第2版のPMHF式の疑問(16)2022/06/07 #480

• 規格第2版のPMHF式の疑問(17)2022/06/09 #481

ASILデコンポジションは結構誤解されているようで、しばしば誤った適用を目にします。ここではASILデコンポジションについて規格の記載から始め、正しく理解するための説明を行います。

---

• ASILデコンポジション2018/08/23 #55

• ASILデコンポジション(2)2018/08/27 #56

• ASILデコンポジションの論文2020/07/31 #283

• ASILデコンポジションの論文(2)2020/08/01 #284

• ネット上のASILデコンポジションの文章について2020/08/07 #287

• ネット上のASILデコンポジションの文章について(2)2020/08/08 #288

• ASILデコンポジション論文ward20122020/08/20 #298

• ASILデコンポジション論文ward2012(2)2020/08/21 #299

• ASILデコンポジション論文ward2012(3)2020/08/24 #300

• ASILデコンポジション論文ward2012(4)2020/08/25 #301

• ASILデコンポジション論文ward2012(5)2020/08/26 #302

• ASILデコンポジション論文ward2012(6)2020/08/27 #303

本ブログでは、PMHFを求めるために定量FTAを主に扱っています。FTAツールはSAPHIREを使用しており、FTAツールにより定量FTAを実施し、PMHFを求めるまでを記載しています。

---

• FTA2016/10/07 #20

• FTA(2)2016/10/21 #21

• FTA(3)2016/11/03 #22

• FTA(4)2016/11/09 #23

• FTA(5)2016/11/19 #24

• FTA(6)2016/12/04 #25

• FTA(7)2016/12/13 #26

• FTA(8)2016/12/20 #27

• FTA(9)2017/01/10 #28

• FTA(10)2017/01/20 #29

• FTA(11)2017/01/23 #30

• ISO 26262のFTAに関する論文2020/02/11 #201

• ISO 26262のFTAに関する論文(2)2020/02/12 #202

• ISO 26262のFTAに関する論文(3)2020/02/13 #203

• ISO 26262のFTAに関する論文(4)2020/02/14 #204

• ISO 26262のFTAに関する論文(5)2020/02/20 #205

• ISO 26262のFTAに関する論文(6)2020/02/21 #206

• ISO 26262のFTAに関する論文(7)2020/02/24 #207

• ISO 26262のFTAに関する論文(8)2020/02/25 #208

• ISO 26262のFTAに関する論文(9)2020/02/26 #209

• ISO 26262のFTAに関する論文(10)2020/02/27 #210

• ISO 12489のFault Tree駆動マルコフモデル2020/02/28 #211

• ISO 26262のFTAに関する論文(11)2020/03/02 #212

• ISO 26262のFTAに関する論文(12)2020/03/03 #213

• ISO 26262のFTAに関する論文(13)2020/03/04 #214

• ISO 26262のFTAに関する論文(14)2020/03/05 #215

• ISO 26262のFTAに関する論文(15)2020/03/06 #216

• ISO 26262のFTAに関する論文(16)2020/03/09 #217

• ISO 26262のFTAに関する論文(17)2020/03/10 #218

• ISO 26262のFTAに関する論文(18)2020/03/11 #219

• ASILデコンポジションの論文(2)2020/08/01 #284

• PMHF論文das20162020/08/28 #304

• PMHF論文das2016(2)2020/08/31 #305

• PMHF論文das2016(3)2020/09/01 #306

• PMHF論文das2016(4)2020/09/02 #307

• PMHF論文das2016(5)2020/09/03 #308

• PMHFの定量FTAによる見積り例2020/10/14 #323

Zynq UltraScale+という高性能FPGAを入手したので、その開発日記を記載しています。

---

• Zynq UltraScale+ MPSoC2018/04/28 #39

• Lチカの実装2018/05/07 #40

• Lチカの実装(2)2018/05/14 #41

• Lチカの実装(3)2018/05/21 #42

• Lチカの実装(4)2018/05/29 #43

• Lチカの実装(5)2018/06/05 #44

• Lチカの実装(6)2018/06/13 #45

• Lチカの実装(7)2018/06/20 #46

• Lチカの実装(8)2018/06/25 #47

• グラフィックディスプレイコントローラの設計2018/07/01 #48

• グラフィックディスプレイコントローラの設計(2)2018/07/16 #49

• グラフィックディスプレイコントローラの設計(3)2018/07/22 #50

• グラフィックディスプレイコントローラの設計(4)2018/07/30 #51

• グラフィックディスプレイコントローラの設計(5)2018/08/03 #52

• グラフィックディスプレイコントローラの設計(6)2018/08/07 #53

• サウンドコントローラの設計2018/08/20 #54

• サウンドコントローラの設計(2)2018/11/30 #74

• サウンドコントローラの設計(3)2018/12/10 #75

• サウンドコントローラの設計(4)2018/12/20 #76

• サウンドコントローラの設計(5)2018/12/28 #77

• サウンドコントローラの設計(6)2019/01/06 #78

• サウンドコントローラの設計(7)2019/01/16 #79

• Ultra96と拡張インタフェース2019/01/24 #80

• Ultra96とPMODインタフェース2019/01/27 #81

• Ultra96とPMODインタフェース(2)2019/01/28 #82

• Ultra96とPMODインタフェースのデバッグ2019/01/29 #83

• ジョイスティックとスイッチ入力装置2019/02/03 #84

• PMODスイッチインタフェース2019/02/05 #85

• Ultra96でインベーダゲーム2019/02/08 #86

• FPGAで機械学習2019/02/16 #87

• FPGAで機械学習(2)2019/02/20 #88

• FPGAで機械学習(3)2019/02/25 #89

• Neural NetworkをFPGAに実装する2019/03/01 #90

• Neural NetworkをFPGAに実装する(2)2019/03/05 #91

• Neural NetworkをFPGAに実装する(3)2019/03/21 #92

• PMODスイッチインタフェース(2)2019/03/24 #93

• FSMのcall, returnメカニズム2019/03/31 #94

• FSMのダイレクトリターン2019/04/04 #95

• Ultra96toPMODのPCBの完成2019/04/07 #96

• Ultra96とPMODのインタフェースPCBの改版2019/04/15 #97

• Ultra96とPMODのインタフェースPCBの改版(2)2019/06/09 #110

• Ultra96とPMODのインタフェースPCBの改版(3)2019/06/13 #111

• Qiitaに投稿しました (Ultra96ボードを用いた、VerilogHDLによるSpace Invadersゲームの作成)2019/07/13 #129

• FIFO及びメモリコントローラの除去2019/07/22 #132

• グラフィックメモリの設計2019/07/23 #133

• グラフィックタイミング設計2019/07/24 #134

• グラフィックタイミング設計(2)2019/07/25 #135

• 68092019/07/26 #136

• 6809(2)2019/07/29 #137

• 6809サブシステム回路図2019/07/30 #138

• 6809デュアルCPUシステム2019/08/01 #139

• ROMからCOE2019/08/02 #140

• 6809の改造 - HALT端子の追加2019/08/05 #141

• 6809の改造 - HALT端子の追加(2)2019/08/06 #142

• 6809の改造 - HALT端子の追加(3)2019/08/08 #143

• メイン・サブシステムI/Oアドレスデコード2019/08/09 #144

• 6809の割込み動作2019/08/14 #148

• 6809の割込み動作(2)2019/08/15 #149

• 6809の割込み動作(3)2019/08/16 #150

• 6809の割込み動作(4)2019/08/19 #151

• 6809の割込み動作(5)2019/08/20 #152

• 6809の割込み動作(6)2019/08/21 #153

• 6809の割込み動作(7)2019/08/22 #154

• 6809の割込み動作(8)2019/08/23 #155

• 6809 IPの修正2019/09/27 #161

• 6809 IPの修正(2)2019/10/03 #162

• BSV(Bluespec SystemVerilog)2020/03/12 #220

• BSV(Bluespec SystemVerilog)(2)2020/03/30 #229

• BSV(Bluespec SystemVerilog)(3)2020/03/31 #230

• BSV(Bluespec SystemVerilog)(4)2020/04/01 #231

• BSV(Bluespec SystemVerilog)(5)2020/04/03 #232

• Emacs Verilog Mode2020/04/06 #233

• BSVの設計トライアル2020/04/07 #234

• BSVの設計トライアル(2)2020/04/08 #235

• BSVの設計トライアル(3)2020/04/09 #236

• BSVの設計トライアル(4)2020/04/10 #237

• BSVの設計トライアル(5)2020/04/13 #238

• BSVの設計トライアル(6)2020/04/14 #239

• BSVの設計トライアル(7)2020/04/15 #240

• BSVの設計トライアル(8)2020/04/16 #241

• BSVの設計トライアル(9)2020/04/17 #242

• BSVの設計トライアル(10)2020/04/20 #243

• BSVの設計トライアル(11)2020/04/21 #244

• BSVの設計トライアル(12)2020/04/22 #245

• BSVの設計トライアル(13)2020/04/23 #246

• BSVの設計トライアル(14)2020/04/24 #247

• BSVの設計トライアル(15)2020/04/27 #248

• BSVの設計トライアル(16)2020/04/28 #249

• BSVの設計トライアル(17)2020/04/29 #250

• BSVの設計トライアル(18)2020/04/30 #251

• BSVの設計トライアル(19)2020/05/01 #252

• BSVの設計トライアル(20)2020/05/04 #253

• BSVの設計トライアル(21)2020/05/11 #254

• Qiitaに投稿しました (BSV (Bluespec SystemVerilog)によるスペースインベーダーの再設計)2020/05/12 #255

• Arty A7-35ボードへのSpace Inavdersの移植2020/06/03 #269

• Arty A7-35ボードへのSpace Inavdersの移植(2)2020/06/04 #270

• ゲームFSMとサウンドFSMの連携2020/06/05 #271

• RISC-Vの調査2020/06/09 #272

• RISC-Vの調査(2)2020/06/10 #273

• RISC-Vの調査(3)2020/06/11 #274

• RISC-Vの調査(4)2020/06/12 #275

• RISC-Vの調査(5)2020/06/15 #276

• RISC-Vの調査(6)2020/06/17 #277

• RISC-Vの調査(7)2020/06/18 #278

• RISC-Vの調査(8)2020/06/19 #279

• RISC-Vの調査(9)2020/06/22 #280

• インベーダーゲームのソースの研究2020/09/17 #318

• インベーダーゲームのソースの研究(2)2020/09/18 #319

• BSVによるUARTの設計2021/04/28 #391

• BSVによるUARTの設計(2)2021/04/29 #392

• BSVによるUARTの設計(3)2021/04/30 #393

• BSVによるUARTの設計(4)2021/05/03 #394

• BSVによるUARTの設計(5)2021/05/04 #395

• BSVによるUARTの設計(6)2021/05/05 #396

• BSVによるUARTの設計(7) 2021/05/06 #397

• BSVによるメモリダンプモジュールの設計2021/05/07 #398

• BSVによるメモリダンプモジュールの設計(2)2021/05/11 #399

• BSVによるメモリダンプモジュールの設計(3)2021/05/12 #400

• BSVによるメモリダンプモジュールの設計(4)2021/05/13 #401

• BSVによるメモリダンプモジュールの設計(5)2021/05/20 #402

• BSVによるメモリダンプモジュールの設計(6)2021/05/21 #403

• BSVによるメモリダンプモジュールの設計(7)2021/05/24 #404

• BSVによるメモリダンプモジュールの設計(8)2021/05/25 #405

• BSVによるメモリダンプモジュールの設計(9)2021/05/26 #406

• BSVによるメモリダンプモジュールの設計(10)2021/05/27 #407

• Space Invadersの構成と物量2021/05/31 #409

• QSPI Flashへの書き込み2021/06/01 #410

• ソフトブロック解説2021/06/02 #411

• ソフトブロック解説 (2)2021/06/03 #412

• ソフトブロック解説 (3)2021/06/04 #413

• ソフトブロック解説 (4)2021/06/07 #414

• ソフトブロック解説 (5)2021/06/08 #415

• オープニングアニメーション2021/06/09 #416

• オープニングアニメーション (2)2021/06/10 #417

• オープニングアニメーション (3)2021/06/11 #418

• 敵弾の貫通度の修正2021/06/15 #420

• 敵弾の貫通度の修正 (2)2021/06/16 #422

• 敵弾の貫通度の修正 (3)2021/06/17 #423

• デザインのボード間移植2021/06/18 #424

• BSV(Bluespec SystemVerilog)(6)2022/02/01 #450

• Ultra96toPMODボードの追加製造2022/08/12 #495

• BSVによるサウンドFSMの再設計2022/08/17 #496

• BSVによるサウンドFSMの再設計 (2)2022/08/18 #497

• BSVによるサウンドFSMの再設計 (3)2022/08/19 #498

• BSVによるサウンドFSMの再設計 (4)2022/08/22 #499

• BSVによるサウンドFSMの再設計 (5)2022/08/25 #500

• BSVによるサウンドFSMの再設計 (6)2022/09/05 #501

• BSVによるサウンドFSMの再設計 (7)2022/09/06 #502

• Qiitaに投稿しました (BSV (Bluespec SystemVerilog)を用いたサウンドFSMのシーケンスベースによる再設計)2022/09/07 #503

• BSVによるサウンドFSMの再設計 (8)2022/09/08 #504

• BSVによるサウンドFSMの再設計 (9)2022/09/09 #505

• BSVによるサウンドFSMの再設計 (10)2022/09/09 #506

• BSVによるSpace Invadersの変更2022/09/12 #507

• BSVによるSpace Invadersの変更 (2)2022/09/14 #508

• BSVによるSpace Invadersの変更 (3)2022/09/15 #509

• BSVによるSpace Invadersの変更 (4)2022/09/16 #510

• BSVによるUARTの再設計2022/09/19 #511

• BSVによるUARTの再設計 (2)2022/09/20 #512

• BSVによるSpace Invadersの変更 (5)2022/09/21 #513

• BSVによるSpace Invadersの変更 (6)2022/09/22 #514

• BSVによるSpace Invadersの変更 (7)2022/09/23 #515

• BSVによるSpace Invadersの変更 (8)2022/09/26 #516

• BSVによるSpace Invadersの変更 (9)2022/09/27 #517

FPGAのトライアルのためにUltra96ボードを入手しました。フルハード ウェアによりSpace Invadesを開発した記録を記載しています。その後Artyボードを入手したのでそれも追記しています。

---

• グラフィックディスプレイコントローラの設計(4)2018/07/30 #51

• グラフィックディスプレイコントローラの設計(5)2018/08/03 #52

• グラフィックディスプレイコントローラの設計(6)2018/08/07 #53

• サウンドコントローラの設計2018/08/20 #54

• サウンドコントローラの設計(2)2018/11/30 #74

• サウンドコントローラの設計(3)2018/12/10 #75

• サウンドコントローラの設計(4)2018/12/20 #76

• サウンドコントローラの設計(5)2018/12/28 #77

• サウンドコントローラの設計(6)2019/01/06 #78

• サウンドコントローラの設計(7)2019/01/16 #79

• Ultra96と拡張インタフェース2019/01/24 #80

• Ultra96とPMODインタフェース2019/01/27 #81

• Ultra96とPMODインタフェース(2)2019/01/28 #82

• Ultra96とPMODインタフェースのデバッグ2019/01/29 #83

• ジョイスティックとスイッチ入力装置2019/02/03 #84

• PMODスイッチインタフェース2019/02/05 #85

• Ultra96でインベーダゲーム2019/02/08 #86

• PMODスイッチインタフェース(2)2019/03/24 #93

• Ultra96toPMODのPCBの完成2019/04/07 #96

• Ultra96とPMODのインタフェースPCBの改版(3)2019/06/13 #111

• Qiitaに投稿しました (Ultra96ボードを用いた、VerilogHDLによるSpace Invadersゲームの作成)2019/07/13 #129

• FIFO及びメモリコントローラの除去2019/07/22 #132

• BSVの設計トライアル2020/04/07 #234

• BSVの設計トライアル(2)2020/04/08 #235

• BSVの設計トライアル(3)2020/04/09 #236

• BSVの設計トライアル(4)2020/04/10 #237

• BSVの設計トライアル(5)2020/04/13 #238

• BSVの設計トライアル(6)2020/04/14 #239

• BSVの設計トライアル(21)2020/05/11 #254

• Qiitaに投稿しました (BSV (Bluespec SystemVerilog)によるスペースインベーダーの再設計)2020/05/12 #255

• Arty A7-35ボードへのSpace Inavdersの移植2020/06/03 #269

• Arty A7-35ボードへのSpace Inavdersの移植(2)2020/06/04 #270

• ゲームFSMとサウンドFSMの連携2020/06/05 #271

• インベーダーゲームのソースの研究2020/09/17 #318

• インベーダーゲームのソースの研究(2)2020/09/18 #319

• BSVによるメモリダンプモジュールの設計(10)2021/05/27 #407

• BSVによる歩行音の改善2021/05/28 #408

• Space Invadersの構成と物量2021/05/31 #409

• ソフトブロック解説2021/06/02 #411

• ソフトブロック解説 (2)2021/06/03 #412

• ソフトブロック解説 (3)2021/06/04 #413

• ソフトブロック解説 (4)2021/06/07 #414

• ソフトブロック解説 (5)2021/06/08 #415

• オープニングアニメーション2021/06/09 #416

• オープニングアニメーション (2)2021/06/10 #417

• オープニングアニメーション (3)2021/06/11 #418

• 敵弾の貫通度の修正2021/06/15 #420

• 敵弾の貫通度の修正 (2)2021/06/16 #422

• 敵弾の貫通度の修正 (3)2021/06/17 #423

• Qiitaに投稿しました (BSVによるSpaceInvaderのVerilogソースを公開)2021/07/24 #425

• BSVによるサウンドFSMの再設計2022/08/17 #496

• BSVによるサウンドFSMの再設計 (2)2022/08/18 #497

• BSVによるサウンドFSMの再設計 (3)2022/08/19 #498

• BSVによるサウンドFSMの再設計 (4)2022/08/22 #499

• BSVによるサウンドFSMの再設計 (5)2022/08/25 #500

• BSVによるサウンドFSMの再設計 (6)2022/09/05 #501

• BSVによるサウンドFSMの再設計 (7)2022/09/06 #502

• Qiitaに投稿しました (BSV (Bluespec SystemVerilog)を用いたサウンドFSMのシーケンスベースによる再設計)2022/09/07 #503

• BSVによるサウンドFSMの再設計 (8)2022/09/08 #504

• BSVによるサウンドFSMの再設計 (9)2022/09/09 #505

• BSVによるサウンドFSMの再設計 (10)2022/09/09 #506

• BSVによるSpace Invadersの変更2022/09/12 #507

• BSVによるSpace Invadersの変更 (2)2022/09/14 #508

• BSVによるSpace Invadersの変更 (3)2022/09/15 #509

• BSVによるSpace Invadersの変更 (4)2022/09/16 #510

• BSVによるSpace Invadersの変更 (5)2022/09/21 #513

• BSVによるSpace Invadersの変更 (6)2022/09/22 #514

• BSVによるSpace Invadersの変更 (7)2022/09/23 #515

• BSVによるSpace Invadersの変更 (8)2022/09/26 #516

• BSVによるSpace Invadersの変更 (9)2022/09/27 #517

Bluespec Inc.が2020年にBluespec SystemVerilog Compilerをオープンソース化しました。Bluespec SystemVerilogのトライアルを行ったのでそれを記します。

---

• BSV(Bluespec SystemVerilog)2020/03/12 #220

• BSV(Bluespec SystemVerilog)(2)2020/03/30 #229

• BSV(Bluespec SystemVerilog)(3)2020/03/31 #230

• BSV(Bluespec SystemVerilog)(4)2020/04/01 #231

• BSV(Bluespec SystemVerilog)(5)2020/04/03 #232

• Emacs Verilog Mode2020/04/06 #233

• BSVの設計トライアル2020/04/07 #234

• BSVの設計トライアル(2)2020/04/08 #235

• BSVの設計トライアル(3)2020/04/09 #236

• BSVの設計トライアル(4)2020/04/10 #237

• BSVの設計トライアル(5)2020/04/13 #238

• BSVの設計トライアル(6)2020/04/14 #239

• BSVの設計トライアル(7)2020/04/15 #240

• BSVの設計トライアル(8)2020/04/16 #241

• BSVの設計トライアル(9)2020/04/17 #242

• BSVの設計トライアル(10)2020/04/20 #243

• BSVの設計トライアル(11)2020/04/21 #244

• BSVの設計トライアル(12)2020/04/22 #245

• BSVの設計トライアル(13)2020/04/23 #246

• BSVの設計トライアル(14)2020/04/24 #247

• BSVの設計トライアル(15)2020/04/27 #248

• BSVの設計トライアル(16)2020/04/28 #249

• BSVの設計トライアル(17)2020/04/29 #250

• BSVの設計トライアル(18)2020/04/30 #251

• BSVの設計トライアル(19)2020/05/01 #252

• BSVの設計トライアル(20)2020/05/04 #253

• BSVの設計トライアル(21)2020/05/11 #254

• Qiitaに投稿しました (BSV (Bluespec SystemVerilog)によるスペースインベーダーの再設計)2020/05/12 #255

• Arty A7-35ボードへのSpace Inavdersの移植2020/06/03 #269

• Arty A7-35ボードへのSpace Inavdersの移植(2)2020/06/04 #270

• RISC-Vの調査2020/06/09 #272

• RISC-Vの調査(2)2020/06/10 #273

• RISC-Vの調査(3)2020/06/11 #274

• RISC-Vの調査(4)2020/06/12 #275

• RISC-Vの調査(5)2020/06/15 #276

• RISC-Vの調査(6)2020/06/17 #277

• RISC-Vの調査(7)2020/06/18 #278

• RISC-Vの調査(8)2020/06/19 #279

• RISC-Vの調査(9)2020/06/22 #280

• インベーダーゲームのソースの研究2020/09/17 #318

• BSVの階層生成とシミュレーション2021/04/22 #387

• BSVの階層生成とシミュレーション(2）2021/04/23 #388

• BSVの階層生成とシミュレーション(3)2021/04/26 #389

• BSVの階層生成とシミュレーション(4)2021/04/27 #390

• BSVによるUARTの設計2021/04/28 #391

• BSVによるUARTの設計(2)2021/04/29 #392

• BSVによるUARTの設計(3)2021/04/30 #393

• BSVによるUARTの設計(4)2021/05/03 #394

• BSVによるUARTの設計(5)2021/05/04 #395

• BSVによるUARTの設計(6)2021/05/05 #396

• BSVによるUARTの設計(7) 2021/05/06 #397

• BSVによるメモリダンプモジュールの設計2021/05/07 #398

• BSVによるメモリダンプモジュールの設計(2)2021/05/11 #399

• BSVによるメモリダンプモジュールの設計(3)2021/05/12 #400

• BSVによるメモリダンプモジュールの設計(4)2021/05/13 #401

• BSVによるメモリダンプモジュールの設計(5)2021/05/20 #402

• BSVによるメモリダンプモジュールの設計(6)2021/05/21 #403

• BSVによるメモリダンプモジュールの設計(7)2021/05/24 #404

• BSVによるメモリダンプモジュールの設計(8)2021/05/25 #405

• BSVによるメモリダンプモジュールの設計(9)2021/05/26 #406

• BSVによるメモリダンプモジュールの設計(10)2021/05/27 #407

• BSVによる歩行音の改善2021/05/28 #408

• ソフトブロック解説2021/06/02 #411

• ソフトブロック解説 (2)2021/06/03 #412

• ソフトブロック解説 (3)2021/06/04 #413

• ソフトブロック解説 (4)2021/06/07 #414

• ソフトブロック解説 (5)2021/06/08 #415

• オープニングアニメーション2021/06/09 #416

• オープニングアニメーション (2)2021/06/10 #417

• オープニングアニメーション (3)2021/06/11 #418

• 敵弾の貫通度の修正2021/06/15 #420

• 敵弾の貫通度の修正 (2)2021/06/16 #422

• 敵弾の貫通度の修正 (3)2021/06/17 #423

• Qiitaに投稿しました (BSVによるSpaceInvaderのVerilogソースを公開)2021/07/24 #425

• BSV(Bluespec SystemVerilog)(6)2022/02/01 #450

• BSVによるサウンドFSMの再設計2022/08/17 #496

• BSVによるサウンドFSMの再設計 (2)2022/08/18 #497

• BSVによるサウンドFSMの再設計 (3)2022/08/19 #498

• BSVによるサウンドFSMの再設計 (4)2022/08/22 #499

• BSVによるサウンドFSMの再設計 (5)2022/08/25 #500

• BSVによるサウンドFSMの再設計 (6)2022/09/05 #501

• BSVによるサウンドFSMの再設計 (7)2022/09/06 #502

• Qiitaに投稿しました (BSV (Bluespec SystemVerilog)を用いたサウンドFSMのシーケンスベースによる再設計)2022/09/07 #503

• BSVによるサウンドFSMの再設計 (8)2022/09/08 #504

• BSVによるサウンドFSMの再設計 (9)2022/09/09 #505

• BSVによるサウンドFSMの再設計 (10)2022/09/09 #506

• BSVによるSpace Invadersの変更2022/09/12 #507

• BSVによるSpace Invadersの変更 (2)2022/09/14 #508

• BSVによるSpace Invadersの変更 (3)2022/09/15 #509

• BSVによるSpace Invadersの変更 (4)2022/09/16 #510

• BSVによるUARTの再設計2022/09/19 #511

• BSVによるUARTの再設計 (2)2022/09/20 #512

• BSVによるSpace Invadersの変更 (5)2022/09/21 #513

• BSVによるSpace Invadersの変更 (6)2022/09/22 #514

• BSVによるSpace Invadersの変更 (7)2022/09/23 #515

• BSVによるSpace Invadersの変更 (8)2022/09/26 #516

• BSVによるSpace Invadersの変更 (9)2022/09/27 #517