Description: The current interpretation of common logic values and the association of numeric values to specific VHDL array types is described. This standard provides a semantics for the VHDL synthesis domain and enables formal verification and simulation acceleration in VHDL-based design. The standard interpretations are provided for values of standard logic types defined by IEEE Std 1164-1993, and of the Bit and Boolean types defined in IEEE Std 1076-1993. The numeric types Signed and Unsigned and their associated operators define integer and natural-number arithmetic for arrays of common logic values. Two's-complement and binary encoding techniques are used. The numerical semantics is conveyed by two VHDL packages. This standard also contains any allowable modifications.
Get This Standard
Buy Purchase a copy of this standard Buy
Buy VuSpec CD ROM This standard can be purchased as part of the following VuSpect CD:
- IEEE VuSpec: 2007 Electronic Design Automation Buy
Access with Subscription Standards Online subscribers can access this standard in IEEE Xplore Digital Library. Access Learn More