「NVIDIA」の記事一覧

• TLA+と生成AIの融合に挑むチャレンジが始動

  2025-05-06 17:54

  科学・技術

  TLA+財団とNVIDIAが主催する「GenAI-accelerated TLA+ challenge」は、形式仕様記述言語TLA+と生成AIの融合を探る公開コンテストです。LLMを活用したツールやワークフローの開発が求められ、受賞者にはNVIDIAのGPUやGitHub Copilotのサブスクリプションが贈られます。仕様の可視化や自動補完、教育向けのツール開発など、多岐にわたる応用が想定されており、AI技術を形式検証に統合する先進的な取り組みです。

• NVIDIA GPUコアのマイクロアーキテクチャ解析

  2025-05-05 23:38

  科学・技術

  最新のNVIDIA GPUコアのマイクロアーキテクチャを逆解析した研究が発表されました。これまでの学術研究は、15年以上前のアーキテクチャに基づいていましたが、本研究では、最新のAmpereアーキテクチャに焦点を当て、発行ロジック、レジスタファイル、メモリパイプラインなどの詳細を明らかにしています。さらに、ソフトウェアベースの依存関係管理が、従来のハードウェアベースのスコアボードよりも性能と面積の面で優れていることが示されました。これにより、GPUのシミュレーション精度が向上し、研究や開発におけるGPUの理解が深まります。