FlexBench: Reuse of Verification IP to Increase Productivity. - Bernd Stöhr; Michael Simmons; Joachim Geishauser (DATE, 2002)

Robust Vera Coding Techniques for Gate-Level and Tester-Compliant SoC Verification Environments. - Mark Litterick; Joachim Geishauser (MTV, 2004)