仕事

Logic Testing and Design for Testability

テスタビリティとセキュリティ ー相反する概念を両立させるー

テスト生成アルゴリズムとベンチマークの歴史 〜半世紀の歩み〜 [Invited Talk @FTC.2011]

IEEE TTTC Lifetime Contribution Medal @ ITC2020