Skip to content

Yusuke Kimura

    • 6PublicationsNumber of items in Yusuke's My Publications folder on Mendeley.

    About

    the University of Tokyo, EEIC2013, Grade3

    Publications (5)

    • Methods for equivalence checking and ECO support under C-based design through reproduction of C descriptions from implementation designs

      • FUJITA M
      • Wang Q
      • Kimura Y
      N/AReaders
      N/ACitations
    • Automatically adjusting system level designs after RTL/gate-level ECO

      • Wang Q
      • Kimura Y
      • Fujita M
      N/AReaders
      N/ACitations
      Get full text
    • 有界モデル検査ツールを用いたC言語プログラム部分合成

      • 悠介 木
      • 薫太郎 石
      • 昌宏 藤
      N/AReaders
      N/ACitations
    • Mapping analysis between RTL/high-level and gate-level designs with inductive invariants on partial behaviors

      • Fujita M
      • Kimura Y
      • Wang Q
      N/AReaders
      N/ACitations
    • 実時間組み込みソフトウェア解析のためのHW/SW協調検査

      • 悠介 木
      • マスード ガ
      • 昌宏 藤
      N/AReaders
      N/ACitations