M. Keating:"Complexity, Abstraction, and the Challenges of Designing Complex Systems", in DAC'08 tutorial, (1)Архив на оригинала от 2016-03-28 в Wayback Machine., Bridging a Verification Gap: C++ to RTL for Practical Design"
M. Keating:"Complexity, Abstraction, and the Challenges of Designing Complex Systems", in DAC'08 tutorial, (1)Архив на оригинала от 2016-03-28 в Wayback Machine., Bridging a Verification Gap: C++ to RTL for Practical Design"