1647-2006 - IEEE Standard for the Functional Verification Language 'e' | IEEE Standard | IEEE Xplore