Morgan & Claypool Publishers · Springer
| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| Logic Synthesis and Optimization | 978-0-7923-9308-5 | 1993 | |
| Logic Synthesis and Verification | 978-0-7923-7606-4 | 2001 | Soha Hassoun |
| Memory-Based Logic Synthesis | 978-1-4419-8103-5 | 2011 | |
| Progress in Applications of Boolean Functions | 978-1-60845-181-4 | 2010 | Jon T. Butler |
| Representations of Discrete Functions | 978-0-7923-9720-5 | 1996 | Masahira Fujita |
| Switching Theory for Logic Synthesis | 978-0-7923-8456-4 | 1999 | |
| Synthesis Series on Digital Circuits and Systems | 978-1-60845-550-8 | 2011 | Richard Tinder · Jon T. Butler · Lun Li · Mitchell A. Thornton |