IEEE 1647-2006 pdf download IEEE Standard for the Functional Verification Language ‘e’
It needs to check the output matches the expectations, based on the functional requirements, the stateof the system being verified, and the inputs provided.
It needs to measure functional coverage: the extent to which functions of the system being verifiedhave been exercised by the verification environment.
It needs to facilitate error identification, isolation, and debug. For that purpose, test environmentscontain combinational and temporal assertions, as well as various messaging and loggingcapabilities.
The verification environment needs to be able to mimic all possible variations and configurations thesystem being verified might face in practice.The verification environment needs to be able to throw a wide variety of error conditions at thesystem being verified, in order to test error handling and error recovery.The verification environment should be easily controllable, to allow steering by the verificationengineers.
The verification environment is a primary component in a simulation-based verification process. Theenvironment needs to drive the system being verified through enough diverse scenarios to cover astatistically meaningful portion of the systems state space. Coverage data collected throughout the processshould provide the foundation to an informed decision about the production readiness of the systemm beingdesigned.
Sophisticated verification environments are complex software systems, representing a significantinvestment. Reuse of verification components is a primary way of minimizing this investment. Reusability istypically an artifact of a well thought-out software architecture, but in the case of e, the language itselfacilitates reuse through aspect-oriented programming (AOP) constructs and the semantics of generation.
The purpose of the e functional verification language is to facilitate the creation of sophisticated verificationenvironments. e features many constructs that automate and support common verification environmenttasks
A standard definition of the e language should serve both practicing verification engineers and EDA tooldevelopers. Engineers using e to build verification environments and reusable verification components needto ensure the valuable intellectual property (IP) they create can be interpreted by others. Tool developersneed to agree on consistent syntax and semantics to ensure interoperability between tools. These goals arebest facilitated by means of an open standard.
1.3 Basic concepts relating to this standard
This subclause discusses some basic concepts relating to the e functional verification language. e is builiupon many of the concepts shared by most programming languages–these concepts are not be repeatedhere. The concepts in the following subclauses are either unique to e or contain some specific detailspertaining to e.
1.3.1 Fundamental considerations
An e program is a computer program written in the e functional verification language. e is a Turingcomplete programming language. While aimed specifically at constructing functional verificationenvironments,e can be used to create arbitrary programs.
IEEE 1647-2006 pdf download
PS:Thank you for your support!
