| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Logic Synthesis | 978-0-07-016500-7 (0-07-016500-9) | 1994 | Srinivas Devadas · Kurt Keutzer |
| Sequential Logic Testing and Verification | 978-0-7923-9188-3 (0-7923-9188-8) | 1991 | Srinivas Devadas · A. Richard Newton |