synthesis, verification, and test. Morgan Kaufmann. 2009. ISBN 978-0-12-374364-0. chapter 6. Gary D. Hachtel; Fabio Somenzi. Logic synthesis and verification
europa.eu. 2014-01-07 [2024-08-04]. (原始内容存档于2015-11-16). Livia Járóka and Fabio Massimo Castaldo elected Vice-Presidents of the EP – News – European Parliament