~ tracking down this book ~
The e Hardware Verification Language by Sasan Iman — OmList