| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Verification Methodology Manual for Low Power | 978-1-6O743-413-9 (1-6O743-413-X) | 2009 | Srikanth Jadcherla · Janick Bergeron · David Flynn |
Y. Inoue · Yasue Imai · Yasuo Imai · Yuichi Inoue · Yuki Inoue · Yuzo Iano · Yūzō Iwano