dev_msyksphinz's profile picture.

Masayuki@FPGA開発日記

@dev_msyksphinz

Design Solution Forum 2025の発表資料をアップロードしました。 #dsfjp speakerdeck.com/msyksphinz/opu…

dev_msyksphinz's tweet image. Design Solution Forum 2025の発表資料をアップロードしました。 #dsfjp

speakerdeck.com/msyksphinz/opu…

こちら本日16:20分からです。オンライン聴講も可能らしいです。 ご参加お待ちしております!

約半年ぶりにXを開いたわけですが、登壇情報です。 Design Solution Forum 2025で登壇します。 「オープンソースでどこまでできる?フォーマル検証チャレンジ」 10/07(火) 16:20–16:50 @ Room D - フォーマル検証の基礎 - Round-Robin Arbiterなど簡単なデザインの検証 - RISC-Vコアへの応用事例

dev_msyksphinz's tweet image. 約半年ぶりにXを開いたわけですが、登壇情報です。

Design Solution Forum 2025で登壇します。

「オープンソースでどこまでできる?フォーマル検証チャレンジ」 10/07(火) 16:20–16:50 @ Room D

- フォーマル検証の基礎
- Round-Robin Arbiterなど簡単なデザインの検証
- RISC-Vコアへの応用事例
dev_msyksphinz's tweet image. 約半年ぶりにXを開いたわけですが、登壇情報です。

Design Solution Forum 2025で登壇します。

「オープンソースでどこまでできる?フォーマル検証チャレンジ」 10/07(火) 16:20–16:50 @ Room D

- フォーマル検証の基礎
- Round-Robin Arbiterなど簡単なデザインの検証
- RISC-Vコアへの応用事例


約半年ぶりにXを開いたわけですが、登壇情報です。 Design Solution Forum 2025で登壇します。 「オープンソースでどこまでできる?フォーマル検証チャレンジ」 10/07(火) 16:20–16:50 @ Room D - フォーマル検証の基礎 - Round-Robin Arbiterなど簡単なデザインの検証 - RISC-Vコアへの応用事例

dev_msyksphinz's tweet image. 約半年ぶりにXを開いたわけですが、登壇情報です。

Design Solution Forum 2025で登壇します。

「オープンソースでどこまでできる?フォーマル検証チャレンジ」 10/07(火) 16:20–16:50 @ Room D

- フォーマル検証の基礎
- Round-Robin Arbiterなど簡単なデザインの検証
- RISC-Vコアへの応用事例
dev_msyksphinz's tweet image. 約半年ぶりにXを開いたわけですが、登壇情報です。

Design Solution Forum 2025で登壇します。

「オープンソースでどこまでできる?フォーマル検証チャレンジ」 10/07(火) 16:20–16:50 @ Room D

- フォーマル検証の基礎
- Round-Robin Arbiterなど簡単なデザインの検証
- RISC-Vコアへの応用事例

第5回 自作CPUを語る会で発表します。 「ハイパフォーマンスCPUのつくりかた」 というタイトルで、実際のCPU設計の現場でどんなことが行われているのか、ふんわりとしゃべりたいと思います。 makecpu.connpass.com/event/344817/


日本でのRISC-Vの技術的な交流の機会を増やしたいという思いから、RISC-V勉強会を再開させます。 私と塚本さんが話します。私は「LiteXとオレオレCPUで作る自作SoC奮闘記」というタイトルで趣味の話をしゃべります。 risc-v.connpass.com/event/351149/


ま、ハード屋さんなのにMacを使ってる時点で素人なのバラしちゃってるようなもんだし、恥ずかしくてまともに外を歩けない。


Loading...

Something went wrong.


Something went wrong.