verification language e

Language "e" is a system- level verification language used in consumer electronics, telecommunications, and IP. The "e" language is standardized by IEEE under 1647 and thus provides the prerequisites for the use of e-based tools.