Masayuki @ FPGA開発日記
@masayukik.bsky.social
Design Solution Forum 2025で登壇します。
「オープンソースでどこまでできる？フォーマル検証チャレンジ」 10/07(火) 16:20–16:50 @ Room D
- フォーマル検証の基礎
- Round-Robin Arbiterなど簡単なデザインの検証
- RISC-Vコアへの応用事例
「オープンソースでどこまでできる？フォーマル検証チャレンジ」 10/07(火) 16:20–16:50 @ Room D
- フォーマル検証の基礎
- Round-Robin Arbiterなど簡単なデザインの検証
- RISC-Vコアへの応用事例
October 4, 2025 at 1:50 AM
Design Solution Forum 2025で登壇します。
「オープンソースでどこまでできる？フォーマル検証チャレンジ」 10/07(火) 16:20–16:50 @ Room D
- フォーマル検証の基礎
- Round-Robin Arbiterなど簡単なデザインの検証
- RISC-Vコアへの応用事例
「オープンソースでどこまでできる？フォーマル検証チャレンジ」 10/07(火) 16:20–16:50 @ Room D
- フォーマル検証の基礎
- Round-Robin Arbiterなど簡単なデザインの検証
- RISC-Vコアへの応用事例
I wrote an article for integrating my own CPU into the open source SoC platform "LiteX".
It introduces a series of steps to integrate my own out-of-order CPU into LiteX and make it work with FPGA.
オープンソースSoCプラットフォームLiteXに自作のCPUを組み込むための記事を書きました。
fpga.tokyo/no4_al/
It introduces a series of steps to integrate my own out-of-order CPU into LiteX and make it work with FPGA.
オープンソースSoCプラットフォームLiteXに自作のCPUを組み込むための記事を書きました。
fpga.tokyo/no4_al/
February 20, 2025 at 3:43 PM
I wrote an article for integrating my own CPU into the open source SoC platform "LiteX".
It introduces a series of steps to integrate my own out-of-order CPU into LiteX and make it work with FPGA.
オープンソースSoCプラットフォームLiteXに自作のCPUを組み込むための記事を書きました。
fpga.tokyo/no4_al/
It introduces a series of steps to integrate my own out-of-order CPU into LiteX and make it work with FPGA.
オープンソースSoCプラットフォームLiteXに自作のCPUを組み込むための記事を書きました。
fpga.tokyo/no4_al/
OneDriveアプリが恐ろしい改悪。昔の写真がほぼ見えなくなった。最悪
December 2, 2024 at 6:17 AM
OneDriveアプリが恐ろしい改悪。昔の写真がほぼ見えなくなった。最悪