The e Hardware Verification Language - sidottu, Englanti, 2004