余宮 尚志 | 株式会社東芝ソフトウェア技術センター

スポンサーリンク

概要

• 余宮 尚志の詳細を見る
• 同名の論文著者
• 株式会社東芝ソフトウェア技術センターの論文著者

関連著者

• 藤田 昌宏

  東京大学大学院工学系研究科電子工学

• 李 蓮福

  東京大学大学院工学系研究科電気系工学専攻

• 吉田 浩章

  東京大学大学院工学系研究科

• 余宮 尚志

  株式会社東芝ソフトウェア技術センター

• 吉田 浩章

  東京大学大規模集積システム設計教育研究センター(vdec)|科学技術振興機構戦略的創造研究推進事業crest

• 余宮 尚志

  株式会社東芝

• 松本 剛史

  東京大学大規模集積システム設計教育研究センター

• 小松 聡

  東京大学大規模集積システム設計教育研究センター

• 小島 慶久

  東京大学大学院工学系研究科電子工学専攻

• 石川 悠司

  東京大学大学院工学系研究科電子工学専攻

著作論文

• 反例を利用した網羅性の高いプロパティ集合生成手法(高位検証,デザインガイア2008-VLSI設計の新しい大地)
• 反例を利用した網羅性の高いプロパティ集合生成手法(高位検証,デザインガイア2008-VLSI設計の新しい大地)
• 反例を利用した網羅性の高いプロパティ集合生成手法(高位検証,デザインガイア2008-VLSI設計の新しい大地-)
• 既存設計の再利用を考慮したSoCの仕様記述手法と上位設計方法論

スポンサーリンク