Robert wrote memo 80-23 "A Test Generation Technique for Devices Without Gate-Level Descriptions." He currently works for Mentor Graphics, now a Siemens subsidiary in the Department of Design to Silicon.