コンピュータ設計概論
書籍案内
論理式の表現と等価判定 Webアプリ
Logic Testing and Design for Testability
Introduction
MIT Press
テスタビリティとセキュリティ ー相反する概念を両立させるー
View PDF
テスト生成アルゴリズムとベンチマークの歴史 〜半世紀の歩み〜 [Invited Talk @FTC.2011]
IEEE TTTC Lifetime Contribution Medal @ ITC2020