• IEEE 1647-2016

IEEE 1647-2016

  • IEEE Standard for the Functional Verification Language e
  • standard by IEEE, 01/06/2017
  • Category: IEEE

$336.00 $168.00

Revision Standard - Active.The e functional verification language is an application-specific programming language, aimed at automating the task of verifying a hardware or software design with respect to its specification. Verification environments written in e provide a model of the environment in which the design is expected to function, including the kinds of erroneous conditions the design needs to withstand. A typical verification environment is capable of generating user-controlled test inputs with statistically interesting characteristics. Such an environment can check the validity of the design responses. Functional coverage metrics are used to control the verification effort and gauge the quality of the design. e verification environments can be used throughout the design cycle, from a high-level architectural model to a fully realized system. A definition of the e language syntax and semantics and how tool developers and verification engineers should use them are contained in this standard.
PDF

All of our standards document are available in PDF (Portable Document Format), an electronic, downloadable format.You will be able to download the file in your account downloads.

Multi-User Access

After purchasing, you have the ability to assign each license to a specific user.

Printable

At any time, you are permitted to make printed copies for your and your members' reference use.

PIP PN01FE0A01

PIP PN01FE0A01

Piping Material Specification 1FE0A01 150 PSI, Glass Fiber Reinforced Epoxy (RTR), Adhesive, Process..

$25.00 $50.00

PIP PN01FV0A01

PIP PN01FV0A01

Piping Material Specification 1FV0A01 150 PSI, Glass Fiber Reinforced Vinyl Ester (RTR), Adhesive, P..

$25.00 $50.00

PIP PN12PD0H01

PIP PN12PD0H01

Piping Material Specification 12PD0H01 Class 125, High Density Polyethylene (HDPE) Fire Water (FM Ap..

$38.00 $75.00

PIP PN06SD0B01

PIP PN06SD0B01

Piping Material Specification 6SD0B01, Class 600, 316/316L Stainless Steel, Butt Weld, 0.000" C.A. P..

$38.00 $75.00