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