| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Algorithms for Synthesis and Testing of Asynchronous Circuits | Hardcover | 978-0-7923-9364-1 | 1993 | Alberto Sangiovanni-Vincentelli | |
| EDA for IC Implementation, Circuit Design, and Process Technology | " | 978-0-8493-7924-6 | 2006 | Louis Scheffer · Grant Martin | |
| EDA for IC System Design, Verification, and Testing | " | 978-0-8493-7923-9 | 2006 | Louis Scheffer · Grant Martin | |
| Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology | Paperback | 978-1-138-58601-7 | 2018 | Igor L. Markov · Grant Martin · Louis K. Scheffer | |
| Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology | Hardcover | 978-1-4822-5460-0 | 2016 | Igor L. Markov · Grant Martin · Louis K. Scheffer | |
| Electronic Design Automation for IC System Design, Verification, and Testing | Paperback | 978-1-138-58600-0 | 2018 | Igor L. Markov · Grant Martin · Louis K. Scheffer | |
| Electronic Design Automation for Ic System Design, Verification, and Testing | Hardcover | 978-1-4822-5462-4 | 2016 | Igor L. Markov · Grant Martin · Louis K. Scheffer | |
| Electronic Design Automation for Integrated Circuits Handbook - 2 Volume Set | " | 978-0-8493-3096-4 | 2006 | Grant Martin · Louis Scheffer | |
| Electronic Design Automation for Integrated Circuits Handbook, Second Edition - Two Volume Set | " | 978-1-4822-5450-1 | 2016 | Igor L. Markov · Grant E. Martin · Louis K. Scheffer | |
| Hardware Design and Petri Nets | " | 978-0-7923-7791-7 | 2000 | Alex Yakovlev · Luis Gomes | |
| Logic Synthesis for Asynchronous Controllers and Interfaces | Gebunden | 978-3-540-43152-7 | 2002 | J. Cortadella · M. Kishinevsky · A. Kondratyev · Alex Yakovlev |
CRC Press · Routledge · Springer