publication venue for Fault Table Generation using Graphics Processing Units 2009 RTL Functional Verification Using Excitation and Observation Coverage 2001