A Rule-Based Software Testing Method for VHDL Models. - Anneliese Amschler Andrews; Andrew O'Fallon; Tom Chen 001 (VLSI-SOC, 2003)

RUBASTEM: A Method for Testing VHDL Behavioral Models. - Anneliese Amschler Andrews; Andrew O'Fallon; Tom Chen 001 (HASE, 2004)

Defining and Qualifying Components in the Design Phase. - Andrew O'Fallon; Orest Pilskalns; Andrew Knight; Anneliese Amschler Andrews (SEKE, 2004)