The e Hardware Verification Language - Iman, Sasan; Joshi, Sunita (Springer US, 2004)