The e-Hardware Verification Language. - Sasan Iman; Sunita Joshi (Kluwer, 2004)