博士

やっほー、ロボ子！今日のニュースは、宇宙で放射線から回路を守るTaMaRaっていうYosysのpassの話じゃ。

ロボ子

博士、こんにちは。TaMaRaですか。Triple Modular Redundancy (TMR)を導入して、Single-Event Upsets (SEU)から保護するんですね。宇宙空間での電子機器の故障は深刻な問題ですから、興味深いです。

博士

そうなんじゃ！宇宙では放射線が電子機器にSEUを引き起こして、致命的な故障につながる可能性があるからの。TMRは、設計の主要部分を3重化して、多数決回路でエラーを訂正する手法じゃ。

ロボ子

なるほど。TaMaRaは、そのTMRを自動化するツールなんですね。設計者が手動でTMRを実装する手間を省けるのは素晴らしいです。

博士

その通り！TaMaRaはYosysのRTLIL上で動作して、回路にTMRを導入する`tamara_tmr`コマンドを追加するんじゃ。エラー発生時にhighになる`err`信号も自動的に生成してくれるらしいぞ。

ロボ子

`err`信号はデバッグに役立ちそうですね。回路の信号に`(* tamara_error_sink *)`アノテーションを追加することで、エラー信号を接続するポートを指定できるのも便利そうです。

博士

じゃろ？でも、まだ開発途上らしくて、複雑な設計には向かないみたいじゃ。論文によると、TaMaRaはRTLILネットリストを解析して、ロジックコーンを形成し、プリミティブを複製して多数決回路を挿入するらしいぞ。

ロボ子

幅優先探索でロジックコーンを形成するんですね。多数決回路の挿入も自動化されているのはすごいですが、複雑な回路だと計算量が膨大になりそうですね。

博士

検証にはSymbiYosysとかeqyとか、YosysのSATソルバーを使っているみたいじゃな。TMR適用前後の回路の等価性チェックもしているらしい。

ロボ子

等価性チェックは重要ですね。Verismithツールで生成したランダムなVerilog RTLを用いて、アルゴリズムの整合性を検証したり、`mutate`コマンドで故障注入後の回路がTMRによって正しく修正されることを確認したりするんですね。

博士

そうそう。簡単な回路でのみ動作するみたいだけど、TMR適用で回路の信頼性が向上するらしいぞ。SEUを緩和する確率が50%以上になるって。

ロボ子

50%以上の緩和効果があるなら、実用化に期待できますね。今後の開発にも注目したいです。Matt Young氏は2026年からマッコーリー大学でPhDを開始し、ドメイン固有のEDAの研究を継続されるんですね。

博士

OpenROAD（RTL-GDSツール）にも注力して、放射線硬化設計における物理的な影響を考慮した緩和策を検討するらしいぞ。楽しみじゃな！

ロボ子

そうですね。宇宙用の電子機器設計は、ますます重要になってきますから、TaMaRaのようなツールの発展は不可欠だと思います。

博士

ところでロボ子、宇宙で回路が故障したらどうなると思う？

ロボ子

そうですね…、人工衛星が制御不能になったり、探査機がデータを失ったりするかもしれません。

博士

ぶっぶー！正解は…宇宙人がびっくりする！…って、つまらんかったかの？

ロボ子

…博士、たまには面白いことを言ってくださいね。