1. International Technology Roadmap for Semiconductor (ITRS) report http://www.itrs.net/home.html International Technology Roadmap for Semiconductor (ITRS) report http://www.itrs.net/home.html
2. Gary D. Hachtel Fabio Somenzi "Logic Synthesis and Verification Algorithms" Springer 2006. Gary D. Hachtel Fabio Somenzi "Logic Synthesis and Verification Algorithms" Springer 2006.